[Optimize simple type-checking.
Lemmih <lemmih@gmail.com>**20080215142652] hunk ./E/TypeCheck.hs 104
-        | typa == Unknown || typb == Unknown = Unknown
+        | isUnknown typa || isUnknown typb = Unknown
hunk ./E/TypeCheck.hs 114
-    getType (EAp a b) = if typa == Unknown then Unknown else eAp typa b where typa = getType a
+    getType (EAp a b) = if isUnknown typa then Unknown else eAp typa b where typa = getType a
hunk ./E/TypeCheck.hs 136
-sortSortLike (ESort s) = s ==  EHashHash || s == EStarStar
+sortSortLike (ESort s) = isEHashHash s || isEStarStar s
hunk ./E/TypeCheck.hs 139
-sortKindLike (ESort s) =  s /=  EHashHash && s /= EStarStar
+sortKindLike (ESort s) =  not (isEHashHash s) && not (isEStarStar s)
hunk ./E/Values.hs 242
-isCheap x | isAtomic x = True
hunk ./E/Values.hs 246
+isCheap x | isAtomic x = True