// add to standard classes when transpiler doesn't spaz on this declaration anymore
static transformable record BasicLogicRule(lhs, rhs) {
  O trail;
    
  toString {
    ret lhs + " => " + rhs;
  }
}