done with type subst in term preservation!