let modulo ti e = e_app1 (mk_imodulo ti) e