Add Data.Map.Utils (moved from Lamdu)
Constraints: Add getTypeVarConstraints, getProductVarConstraints
Add Type.{matchVars,matchProductVars}, Scheme.alphaEq