[BUGFIXE: equality on TAppE, root on TAppE, root on TListE
martin.hofmann@uni-bamberg.de**20090520115620] hunk ./src/Syntax/Expressions.hs 80
-         (sameTy s t) && (s1 == t2) && (s2 == t2)
+         (sameTy s t) && (s1 == t1) && (s2 == t2)
hunk ./src/Syntax/Expressions.hs 195
-    root (TAppE c _ _)                      = foldTAppE c
+    root e@(TAppE _ _ _)                    = foldTAppE (head.unfoldTAppE $ e)
hunk ./src/Syntax/Expressions.hs 197
-    root (TListE (l:ls) t)                  = \(l:ls) -> TListE (l:ls) t 
+    root (TListE (l:ls) t)                  = \[l, TListE ls t] -> TListE (l:ls) t 