static BasicLogicRule lambdaMapLike mapBasicLogicRule(IF1 f, BasicLogicRule r) {
  ret r == null ? null : BasicLogicRule(f.get(r.lhs), f.get(r.rhs));
}