no subsumption in exp_preserves_sub_pr --> case subtyp_bind easier, but case subtyp_tmode needs oktrans2notrans!