make sure liquid and haskell types have equal number of tyvars before rename

We were previously using GHC's list of tyvars to reconstruct the type in `renameTyVars`, even when GHC had a different number of tyvars. This caused weird types in our error messages, like `forall a a. Int -> Int`.

fixes #60