[make isList compatible with the new listT
Helmut Grohne <grohne@cs.uni-bonn.de>**20150210081646
 Ignore-this: 5d197ebbf883dca486d1ed6cb82f0e90
 
 listT was changed to ConT ''[], but isList compares the name stored in the ConT
 against '[]. Unfortunately, ''[] is not the same as '[], so isList would now
 return False all the time. Also fixType should no longer find any '[] in ConT
 as this is never constructed.
] hunk ./src/Syntax/Type.hs 84
-isListT (AppT (ConT n) _) = isNil n
+isListT (AppT (ConT n) _) = n == listTypeName
hunk ./src/Syntax/Type.hs 175
-fixType ty@(AppT (ConT n) t)
-    | isNil n   = listT t
-    | otherwise = ty