let term_mk_mult = Sig.mk_mult