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

static <A> BasicLogicRule<A> lambdaMapLike mapBasicLogicRule(BasicLogicRule<A> r, IF1<A> f) {
  ret mapBasicLogicRule(f, r);
}