Move the call to tcExtendTyVarEnv2 into tcRhs