Support older transformers package for haskell-platform compatibility
Move Type.matchVars to module
fix scheme alpha eq