new partial evaluation w.r.t. mappings