diff --git a/prelude.jl b/prelude.jl
new file mode 100644
index 0000000..bd1a296
--- /dev/null
+++ b/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)))
diff --git a/representation.js b/representation.js
index 2b83669..9db580d 100644
--- a/representation.js
+++ b/representation.js
@@ -391,7 +391,8 @@ OPInfo = {"+" : [3, "Left"],
           "<$>" : [1, "Left"],
           "." : [1, "Left"],
           "," : [1, "Left"],
-          "->" : [1, "Right"]};
+          "->" : [1, "Right"],
+          "|" : [1, "Left"]};
 
 module.exports =
    {