let term_mk_inj = Coproduct.mk_inj