make sure liquid and haskell types have equal number of tyvars before rename, to avoid strange type mismatch errors
Merge pull request #61 from gridaphobe/master

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