convert type variables to TcTyVars, otherwise the typechecker gets confused