make sure liquid and haskell types have equal number of tyvars before rename, to avoid strange type mismatch errors