when renaming vars in Substs, also apply subst to types
when renaming vars in Substs, also apply subst to types

c-cube/zipperposition,c-cube/logtk,c-cube/zipperposition,c-cube/logtk,c-cube/zipperposition,c-cube/zipperposition