let term_mk_proj i = Pair.mk_proj i