[remove Type from TAppE
Helmut Grohne <grohne@cs.uni-bonn.de>**20150210122759
 Ignore-this: f86abd2fa1dedda4e4d6e835bf63804c
 
 The type of a TAppE is always uniquely determined by the type of its first
 TExp. It also is trivially computable, so there is no point in storing it.
 By computing it on demand we gain 1% in performance.
] hunk ./src/Igor2/Data/Rules.hs 254
-    dc n (TAppE a1 a2 _)   = dc n a1 || dc n a2
+    dc n (TAppE a1 a2)     = dc n a1 || dc n a2
hunk ./src/Igor2/Data/Rules.hs 266
---    cc c ns (TAppE a1 a2 _)   = (c+) $ on (+) (cc 0 ns) a1 a2
+--    cc c ns (TAppE a1 a2)     = (c+) $ on (+) (cc 0 ns) a1 a2
hunk ./src/Igor2/RuleDevelopment/Cata.hs 111
-    hasCtor n (TAppE e _ _)      = hasCtor n e
+    hasCtor n (TAppE e _)        = hasCtor n e
hunk ./src/Igor2/RuleDevelopment/ListCata.hs 256
-mbListElems t@(TAppE _ _ _) =
+mbListElems t@(TAppE _ _) =
hunk ./src/Igor2/RuleDevelopment/ListCata.hs 281
-           t@(TAppE _ _ _) ->
+           t@(TAppE _ _) ->
hunk ./src/Igor2/RuleDevelopment/ListCata.hs 302
-headTail (l@(TAppE _ _ _))           =
+headTail (l@(TAppE _ _))             =
hunk ./src/Syntax/Expressions.hs 45
-    | TLitE Lit Type    
-    | TAppE TExp TExp Type
+    | TLitE Lit Type
+    | TAppE TExp TExp
hunk ./src/Syntax/Expressions.hs 71
-    typeOf (TAppE _ _ t)     = t
+    typeOf (TAppE f _)       = sectionType . typeOf $ f
hunk ./src/Syntax/Expressions.hs 80
-    sizeS (TAppE a1 a2 _)   = sizeS a1 . sizeS a2
+    sizeS (TAppE a1 a2)     = sizeS a1 . sizeS a2
hunk ./src/Syntax/Expressions.hs 90
-    sameSymAtRoot t1@(TAppE _ _ _) t2@(TAppE _ _ _)     =
-        on (==) (head.unfoldTAppE) t1 t2
+    sameSymAtRoot t1@(TAppE _ _) t2@(TAppE _ _)         =
+        on (==) (head . unfoldTAppE) t1 t2
hunk ./src/Syntax/Expressions.hs 98
-    root e@(TAppE _ _ _)                    = foldTAppE . head $ unfoldTAppE e
+    root e@(TAppE _ _)                      = foldTAppE . head $ unfoldTAppE e
hunk ./src/Syntax/Expressions.hs 104
-    subterms t@(TAppE _ _ _)                    = unfoldTAppEargs t
---    subterms (TCondE e1 e2 e3 _)                = [e1, e2, e3]    
+    subterms t@(TAppE _ _)                      = unfoldTAppEargs t
+--    subterms (TCondE e1 e2 e3 _)                = [e1, e2, e3]
hunk ./src/Syntax/Expressions.hs 146
-            (TAppE e1@(TVarE _ _) e2 _) -> e1:e2:done
-            (TAppE e1@(TConE _ _) e2 _) -> e1:e2:done
-            (TAppE e1 e2 _)             -> f (e2:done) e1
-            _owise                      -> e:done
-            
+            (TAppE e1@(TVarE _ _) e2) -> e1:e2:done
+            (TAppE e1@(TConE _ _) e2) -> e1:e2:done
+            (TAppE e1 e2)             -> f (e2:done) e1
+            _owise                    -> e:done
+
hunk ./src/Syntax/Expressions.hs 158
-isNilList (a@(TAppE _ _ _)) = isNilList .  head . unfoldTAppE $ a
+isNilList (a@(TAppE _ _)) = isNilList .  head . unfoldTAppE $ a
hunk ./src/Syntax/Expressions.hs 173
-tAppE f a = TAppE f a (sectionType . typeOf $ f)
+tAppE f a = TAppE f a
hunk ./src/Syntax/Ppr.hs 33
-pprTExp (TAppE e1 e2 t)     = pprTExp e1 <+> pprTExp e2
+pprTExp (TAppE e1 e2)       = pprTExp e1 <+> pprTExp e2
hunk ./src/Syntax/Ppr.hs 168
-toExp e@(TAppE _ _ _)     =
+toExp e@(TAppE _ _)     =
hunk ./src/Syntax/Ppr.hs 187
-toPat e@(TAppE _ _ _)     =
+toPat e@(TAppE _ _)     =