start building up stdlib type declarations for use in the type checker

prelude.jl

@@ -0,0 +1,9 @@
+;; This file declares the various types used by intrinsic/prelude definitions
+;; It is sort of special in that it doesn't care whether there are any associated definitions
+;; just that there are type definitions for that particular binding's name
+
+deftype String (List Char)
+
+deftype (List a)
+  (Empty |
+   (Cons a (List a)))

representation.js

@@ -391,7 +391,8 @@ OPInfo = {"+" : [3, "Left"],
           "<$>" : [1, "Left"],
           "." : [1, "Left"],
           "," : [1, "Left"],
-          "->" : [1, "Right"]};
+          "->" : [1, "Right"],
+          "|" : [1, "Left"]};
 
 module.exports =
    {