[comments
martin.hofmann@uni-bamberg.de**20100107123855] hunk ./src/Syntax/Class/Unifier.hs 43
+    --   Substitution includes the identity substitution on variables !!!
hunk ./src/Syntax/UnifyExp.hs 24
-    -- TODO: checkMatch should keep track of which type matches which type
-    --       variable!! (Int,Bool,Int) -//-> (a,b,b), also polymorphic types are+
-    --       not considered
+