let sym_mk_expt = Pp.expt