let term_mk_expt = Sig.mk_expt