[BUGFIX: I need to use TConE for function names, otherwise matchEval and simplification of rules may not work
martin.hofmann@uni-bamberg.de**20091028151924] hunk ./src/Data/Rules.hs 243
-    in  foldTAppE (TVarE n funty) ps
+    in  foldTAppE (TConE n funty) ps
+    -- TODO Should be a TVarE, but then matchEval and rule simplification
+    -- may not work properly 
hunk ./src/Syntax/Expressions.hs 36
-    | TConE Name Type
-    | TLitE Lit Type
+    | TConE Name Type           -- contrary to Haskell standard, we use TConE also for function names
+    | TLitE Lit Type    