Refresh quantified type variables in applySubst