when renaming vars in Substs, also apply subst to types