[Merge wildcard and ConT abbreviation patches
tobias@goedderz.info**20150310143111
 Ignore-this: fd9b2c83578a6fa372bb761789c66dd4
] hunk ./src/Syntax/Context.hs 127
-    ,('True,    conT ''Bool )
-    ,('False,   conT ''Bool )
-    ,('Just,    arrowT [varT "a", appT (conT ''Maybe) (varT "a")])
-    ,('Nothing, appT (conT ''Maybe) (varT "a") )
-    ,('Left,    arrowT [varT "a", foldAppT (conT ''Either) [varT "a", varT "b"]])
-    ,('Right,   arrowT [varT "b", foldAppT (conT ''Either) [varT "a", varT "b"]])
+    ,('True,    boolCon)
+    ,('False,   boolCon)
+    ,('undefined, forallT ["a"] [] (varT "a"))
+    ,('Just,    arrowT [varT "a", appT maybeCon (varT "a")])
+    ,('Nothing, appT maybeCon (varT "a") )
+    ,('Left,    arrowT [varT "a", foldAppT eitherCon [varT "a", varT "b"]])
+    ,('Right,   arrowT [varT "b", foldAppT eitherCon [varT "a", varT "b"]])