- Renamed "AST" to "Code".

38 files changed, 681 insertions, 681 deletions

diff --git a/stdlib/source/lux.lux b/stdlib/source/lux.lux
index af5a0d142..ed2d81667 100644
--- a/stdlib/source/lux.lux
+++ b/stdlib/source/lux.lux
@@ -332,7 +332,7 @@
                                         (#Cons (#TextA "line")
                                                (#Cons (#TextA "column")
                                                       #Nil))))]
-         (#Cons [["lux" "doc"] (#TextA "Cursors are for specifying the location of AST nodes in Lux files during compilation.")]
+         (#Cons [["lux" "doc"] (#TextA "Cursors are for specifying the location of Code nodes in Lux files during compilation.")]
                 default-def-meta-exported)))
 
 ## (type: (Meta m v)
@@ -387,7 +387,7 @@
                                                              #Nil)))))]
          default-def-meta-exported))
 
-## (type: (AST' w)
+## (type: (Code' w)
 ##   (#Bool Bool)
 ##   (#Nat Nat)
 ##   (#Int Int)
@@ -397,17 +397,17 @@
 ##   (#Text Text)
 ##   (#Symbol Text Text)
 ##   (#Tag Text Text)
-##   (#Form (List (w (AST' w))))
-##   (#Tuple (List (w (AST' w))))
-##   (#Record (List [(w (AST' w)) (w (AST' w))])))
-(_lux_def AST'
-  (#Named ["lux" "AST'"]
+##   (#Form (List (w (Code' w))))
+##   (#Tuple (List (w (Code' w))))
+##   (#Record (List [(w (Code' w)) (w (Code' w))])))
+(_lux_def Code'
+  (#Named ["lux" "Code'"]
           (_lux_case (#App (#Bound +1)
                            (#App (#Bound +0)
                                  (#Bound +1)))
-            AST
-            (_lux_case (#App [List AST])
-              AST-List
+            Code
+            (_lux_case (#App [List Code])
+              Code-List
               (#UnivQ #Nil
                       (#Sum ## "lux;Bool"
                        Bool
@@ -428,11 +428,11 @@
                               (#Sum ## "lux;Tag"
                                Ident
                                (#Sum ## "lux;Form"
-                                AST-List
+                                Code-List
                                 (#Sum ## "lux;Tuple"
-                                 AST-List
+                                 Code-List
                                  ## "lux;Record"
-                                 (#App List (#Product AST AST))
+                                 (#App List (#Product Code Code))
                                  )))))))))))
                       ))))
   (#Cons [["lux" "tags"] (#ListA (#Cons (#TextA "Bool")
@@ -451,18 +451,18 @@
          (#Cons [["lux" "type-args"] (#ListA (#Cons (#TextA "w") #;Nil))]
                 default-def-meta-exported)))
 
-## (type: AST
-##   (Meta Cursor (AST' (Meta Cursor))))
-(_lux_def AST
-  (#Named ["lux" "AST"]
+## (type: Code
+##   (Meta Cursor (Code' (Meta Cursor))))
+(_lux_def Code
+  (#Named ["lux" "Code"]
           (_lux_case (#App Meta Cursor)
             w
-            (#App w (#App AST' w))))
-  (#Cons [["lux" "doc"] (#TextA "The type of AST nodes for Lux syntax.")]
+            (#App w (#App Code' w))))
+  (#Cons [["lux" "doc"] (#TextA "The type of Code nodes for Lux syntax.")]
          default-def-meta-exported))
 
-(_lux_def AST-List
-  (#App List AST)
+(_lux_def Code-List
+  (#App List Code)
   default-def-meta-unexported)
 
 ## (type: (Either l r)
@@ -680,10 +680,10 @@
                 default-def-meta-exported)))
 
 ## (type: Macro
-##   (-> (List AST) (Lux (List AST))))
+##   (-> (List Code) (Lux (List Code))))
 (_lux_def Macro
   (#Named ["lux" "Macro"]
-          (#Function AST-List (#App Lux AST-List)))
+          (#Function Code-List (#App Lux Code-List)))
   (#Cons [["lux" "doc"] (#TextA "Functions that run at compile-time and allow you to transform and extend the language in powerful ways.")]
          default-def-meta-exported))
 
@@ -693,9 +693,9 @@
   #Nil)
 
 (_lux_def _meta
-  (_lux_: (#Function (#App AST'
+  (_lux_: (#Function (#App Code'
                            (#App Meta Cursor))
-                     AST)
+                     Code)
     (_lux_function _ data
       [_cursor data]))
   #Nil)
@@ -725,62 +725,62 @@
   #Nil)
 
 (_lux_def bool$
-  (_lux_: (#Function Bool AST)
+  (_lux_: (#Function Bool Code)
     (_lux_function _ value (_meta (#Bool value))))
   #Nil)
 
 (_lux_def nat$
-  (_lux_: (#Function Nat AST)
+  (_lux_: (#Function Nat Code)
     (_lux_function _ value (_meta (#Nat value))))
   #Nil)
 
 (_lux_def int$
-  (_lux_: (#Function Int AST)
+  (_lux_: (#Function Int Code)
     (_lux_function _ value (_meta (#Int value))))
   #Nil)
 
 (_lux_def deg$
-  (_lux_: (#Function Deg AST)
+  (_lux_: (#Function Deg Code)
     (_lux_function _ value (_meta (#Deg value))))
   #Nil)
 
 (_lux_def real$
-  (_lux_: (#Function Real AST)
+  (_lux_: (#Function Real Code)
     (_lux_function _ value (_meta (#Real value))))
   #Nil)
 
 (_lux_def char$
-  (_lux_: (#Function Char AST)
+  (_lux_: (#Function Char Code)
     (_lux_function _ value (_meta (#Char value))))
   #Nil)
 
 (_lux_def text$
-  (_lux_: (#Function Text AST)
+  (_lux_: (#Function Text Code)
     (_lux_function _ text (_meta (#Text text))))
   #Nil)
 
 (_lux_def symbol$
-  (_lux_: (#Function Ident AST)
+  (_lux_: (#Function Ident Code)
     (_lux_function _ ident (_meta (#Symbol ident))))
   #Nil)
 
 (_lux_def tag$
-  (_lux_: (#Function Ident AST)
+  (_lux_: (#Function Ident Code)
     (_lux_function _ ident (_meta (#Tag ident))))
   #Nil)
 
 (_lux_def form$
-  (_lux_: (#Function (#App List AST) AST)
+  (_lux_: (#Function (#App List Code) Code)
     (_lux_function _ tokens (_meta (#Form tokens))))
   #Nil)
 
 (_lux_def tuple$
-  (_lux_: (#Function (#App List AST) AST)
+  (_lux_: (#Function (#App List Code) Code)
     (_lux_function _ tokens (_meta (#Tuple tokens))))
   #Nil)
 
 (_lux_def record$
-  (_lux_: (#Function (#App List (#Product AST AST)) AST)
+  (_lux_: (#Function (#App List (#Product Code Code)) Code)
     (_lux_function _ tokens (_meta (#Record tokens))))
   #Nil)
 
@@ -842,7 +842,7 @@
   default-macro-meta)
 
 (_lux_def export?-meta
-  (_lux_: AST
+  (_lux_: Code
     (tuple$ (#Cons [(tuple$ (#Cons [(text$ "lux") (#Cons [(text$ "export?") #Nil])]))
                     (#Cons [(form$ (#Cons [(tag$ ["lux" "BoolA"])
                                            (#Cons [(bool$ true)
@@ -851,7 +851,7 @@
   #Nil)
 
 (_lux_def hidden?-meta
-  (_lux_: AST
+  (_lux_: Code
     (tuple$ (#Cons [(tuple$ (#Cons [(text$ "lux") (#Cons [(text$ "hidden?") #Nil])]))
                     (#Cons [(form$ (#Cons [(tag$ ["lux" "BoolA"])
                                            (#Cons [(bool$ true)
@@ -860,7 +860,7 @@
   #Nil)
 
 (_lux_def macro?-meta
-  (_lux_: AST
+  (_lux_: Code
     (tuple$ (#Cons [(tuple$ (#Cons [(text$ "lux") (#Cons [(text$ "macro?") #Nil])]))
                     (#Cons [(form$ (#Cons [(tag$ ["lux" "BoolA"])
                                            (#Cons [(bool$ true)
@@ -869,7 +869,7 @@
   #Nil)
 
 (_lux_def with-export-meta
-  (_lux_: (#Function AST AST)
+  (_lux_: (#Function Code Code)
     (function'' [tail]
                 (form$ (#Cons (tag$ ["lux" "Cons"])
                               (#Cons export?-meta
@@ -877,7 +877,7 @@
   #Nil)
 
 (_lux_def with-hidden-meta
-  (_lux_: (#Function AST AST)
+  (_lux_: (#Function Code Code)
     (function'' [tail]
                 (form$ (#Cons (tag$ ["lux" "Cons"])
                               (#Cons hidden?-meta
@@ -885,7 +885,7 @@
   #Nil)
 
 (_lux_def with-macro-meta
-  (_lux_: (#Function AST AST)
+  (_lux_: (#Function Code Code)
     (function'' [tail]
                 (form$ (#Cons (tag$ ["lux" "Cons"])
                               (#Cons macro?-meta
@@ -1028,11 +1028,11 @@
 (def:'' RepEnv
   #Nil
   Type
-  ($' List (#Product Text AST)))
+  ($' List (#Product Text Code)))
 
 (def:'' (make-env xs ys)
   #Nil
-  (#Function ($' List Text) (#Function ($' List AST) RepEnv))
+  (#Function ($' List Text) (#Function ($' List Code) RepEnv))
   (_lux_case [xs ys]
     [(#Cons x xs') (#Cons y ys')]
     (#Cons [x y] (make-env xs' ys'))
@@ -1047,7 +1047,7 @@
 
 (def:'' (get-rep key env)
   #Nil
-  (#Function Text (#Function RepEnv ($' Maybe AST)))
+  (#Function Text (#Function RepEnv ($' Maybe Code)))
   (_lux_case env
     #Nil
     #None
@@ -1062,7 +1062,7 @@
 
 (def:'' (replace-syntax reps syntax)
   #Nil
-  (#Function RepEnv (#Function AST AST))
+  (#Function RepEnv (#Function Code Code))
   (_lux_case syntax
     [_ (#Symbol "" name)]
     (_lux_case (get-rep name reps)
@@ -1079,7 +1079,7 @@
     [meta (#Tuple (map (replace-syntax reps) members))]
 
     [meta (#Record slots)]
-    [meta (#Record (map (_lux_: (#Function (#Product AST AST) (#Product AST AST))
+    [meta (#Record (map (_lux_: (#Function (#Product Code Code) (#Product Code Code))
                           (function'' [slot]
                                       (_lux_case slot
                                         [k v]
@@ -1092,13 +1092,13 @@
 
 (def:'' (update-bounds ast)
   #Nil
-  (#Function AST AST)
+  (#Function Code Code)
   (_lux_case ast
     [_ (#Tuple members)]
     (tuple$ (map update-bounds members))
 
     [_ (#Record pairs)]
-    (record$ (map (_lux_: (#Function (#Product AST AST) (#Product AST AST))
+    (record$ (map (_lux_: (#Function (#Product Code Code) (#Product Code Code))
                     (function'' [pair]
                                 (let'' [name val] pair
                                        [name (update-bounds val)])))
@@ -1115,10 +1115,10 @@
 
 (def:'' (parse-quantified-args args next)
   #Nil
-  ## (-> (List AST) (-> (List Text) (Lux (List AST))) (Lux (List AST)))
-  (#Function ($' List AST)
-             (#Function (#Function ($' List Text) (#App Lux ($' List AST)))
-                        (#App Lux ($' List AST))
+  ## (-> (List Code) (-> (List Text) (Lux (List Code))) (Lux (List Code)))
+  (#Function ($' List Code)
+             (#Function (#Function ($' List Text) (#App Lux ($' List Code)))
+                        (#App Lux ($' List Code))
                         ))
   (_lux_case args
     #Nil
@@ -1133,7 +1133,7 @@
 
 (def:'' (make-bound idx)
   #Nil
-  (#Function Nat AST)
+  (#Function Nat Code)
   (form$ (#Cons (tag$ ["lux" "Bound"]) (#Cons (nat$ idx) #Nil))))
 
 (def:'' (fold f init xs)
@@ -1178,7 +1178,7 @@
            (#Cons [_ (#Tuple args)] (#Cons body #Nil))
            (parse-quantified-args args
                                   (function'' [names]
-                                              (let'' body' (fold (_lux_: (#Function Text (#Function AST AST))
+                                              (let'' body' (fold (_lux_: (#Function Text (#Function Code Code))
                                                                    (function'' [name' body']
                                                                                (form$ (#Cons (tag$ ["lux" "UnivQ"])
                                                                                              (#Cons (tag$ ["lux" "Nil"])
@@ -1229,7 +1229,7 @@
            (#Cons [_ (#Tuple args)] (#Cons body #Nil))
            (parse-quantified-args args
                                   (function'' [names]
-                                              (let'' body' (fold (_lux_: (#Function Text (#Function AST AST))
+                                              (let'' body' (fold (_lux_: (#Function Text (#Function Code Code))
                                                                    (function'' [name' body']
                                                                                (form$ (#Cons (tag$ ["lux" "ExQ"])
                                                                                              (#Cons (tag$ ["lux" "Nil"])
@@ -1273,7 +1273,7 @@
          #;Nil)
   (_lux_case (reverse tokens)
     (#Cons output inputs)
-    (return (#Cons (fold (_lux_: (#Function AST (#Function AST AST))
+    (return (#Cons (fold (_lux_: (#Function Code (#Function Code Code))
                            (function'' [i o] (form$ (#Cons (tag$ ["lux" "Function"]) (#Cons i (#Cons o #Nil))))))
                          output
                          inputs)
@@ -1430,8 +1430,8 @@
 (macro:' (let' tokens)
   (_lux_case tokens
     (#Cons [[_ (#Tuple bindings)] (#Cons [body #Nil])])
-    (return (list (fold (_lux_: (-> (& AST AST) AST
-                                    AST)
+    (return (list (fold (_lux_: (-> (& Code Code) Code
+                                    Code)
                           (function' [binding body]
                                      (_lux_case binding
                                        [label value]
@@ -1457,7 +1457,7 @@
 
 (def:''' (spliced? token)
   #Nil
-  (-> AST Bool)
+  (-> Code Bool)
   (_lux_case token
     [_ (#Form (#Cons [[_ (#Symbol ["" "~@"])] (#Cons [_ #Nil])]))]
     true
@@ -1467,13 +1467,13 @@
 
 (def:''' (wrap-meta content)
   #Nil
-  (-> AST AST)
+  (-> Code Code)
   (tuple$ (list (tuple$ (list (text$ "") (nat$ +0) (nat$ +0)))
                 content)))
 
 (def:''' (untemplate-list tokens)
   #Nil
-  (-> ($' List AST) AST)
+  (-> ($' List Code) Code)
   (_lux_case tokens
     #Nil
     (_meta (#Tag ["lux" "Nil"]))
@@ -1494,7 +1494,7 @@
 (def:''' #export (splice-helper xs ys)
   (#Cons [["lux" "hidden?"] (#BoolA true)]
          #;Nil)
-  (-> ($' List AST) ($' List AST) ($' List AST))
+  (-> ($' List Code) ($' List Code) ($' List Code))
   (_lux_case xs
     (#Cons x xs')
     (#Cons x (splice-helper xs' ys))
@@ -1595,7 +1595,7 @@
     (#Cons monad (#Cons [_ (#Tuple bindings)] (#Cons body #Nil)))
     (let' [g!wrap (symbol$ ["" "wrap"])
            g!bind (symbol$ ["" " bind "])
-           body' (fold (_lux_: (-> (& AST AST) AST AST)
+           body' (fold (_lux_: (-> (& Code Code) Code Code)
                          (function' [binding body']
                                     (let' [[var value] binding]
                                           (_lux_case var
@@ -1744,15 +1744,15 @@
 
 (def:''' (splice replace? untemplate tag elems)
   #Nil
-  (-> Bool (-> AST ($' Lux AST)) AST ($' List AST) ($' Lux AST))
+  (-> Bool (-> Code ($' Lux Code)) Code ($' List Code) ($' Lux Code))
   (_lux_case replace?
     true
     (_lux_case (any? spliced? elems)
       true
       (do Monad<Lux>
-        [elems' (_lux_: ($' Lux ($' List AST))
+        [elems' (_lux_: ($' Lux ($' List Code))
                   (mapM Monad<Lux>
-                        (_lux_: (-> AST ($' Lux AST))
+                        (_lux_: (-> Code ($' Lux Code))
                           (function' [elem]
                                      (_lux_case elem
                                        [_ (#Form (#Cons [[_ (#Symbol ["" "~@"])] (#Cons [spliced #Nil])]))]
@@ -1762,7 +1762,7 @@
                                        (do Monad<Lux>
                                          [=elem (untemplate elem)]
                                          (wrap (form$ (list (symbol$ ["" "_lux_:"])
-                                                            (form$ (list (tag$ ["lux" "App"]) (tuple$ (list (symbol$ ["lux" "List"]) (symbol$ ["lux" "AST"])))))
+                                                            (form$ (list (tag$ ["lux" "App"]) (tuple$ (list (symbol$ ["lux" "List"]) (symbol$ ["lux" "Code"])))))
                                                             (form$ (list (tag$ ["lux" "Cons"]) (tuple$ (list =elem (tag$ ["lux" "Nil"]))))))))))))
                         elems))]
         (wrap (wrap-meta (form$ (list tag
@@ -1781,7 +1781,7 @@
 
 (def:''' (untemplate replace? subst token)
   #Nil
-  (-> Bool Text AST ($' Lux AST))
+  (-> Bool Text Code ($' Lux Code))
   (_lux_case [replace? token]
     [_ [_ (#Bool value)]]
     (return (wrap-meta (form$ (list (tag$ ["lux" "Bool"]) (bool$ value)))))
@@ -1850,7 +1850,7 @@
     [_ [_ (#Record fields)]]
     (do Monad<Lux>
       [=fields (mapM Monad<Lux>
-                     (_lux_: (-> (& AST AST) ($' Lux AST))
+                     (_lux_: (-> (& Code Code) ($' Lux Code))
                        (function' [kv]
                                   (let' [[k v] kv]
                                         (do Monad<Lux>
@@ -1903,7 +1903,7 @@
     (do Monad<Lux>
       [current-module current-module-name
        =template (untemplate true current-module template)]
-      (wrap (list (form$ (list (symbol$ ["" "_lux_:"]) (symbol$ ["lux" "AST"]) =template)))))
+      (wrap (list (form$ (list (symbol$ ["" "_lux_:"]) (symbol$ ["lux" "Code"]) =template)))))
 
     _
     (fail "Wrong syntax for `")))
@@ -1917,7 +1917,7 @@
     (#Cons template #Nil)
     (do Monad<Lux>
       [=template (untemplate true "" template)]
-      (wrap (list (form$ (list (symbol$ ["" "_lux_:"]) (symbol$ ["lux" "AST"]) =template)))))
+      (wrap (list (form$ (list (symbol$ ["" "_lux_:"]) (symbol$ ["lux" "Code"]) =template)))))
 
     _
     (fail "Wrong syntax for `")))
@@ -1929,7 +1929,7 @@
     (#Cons template #Nil)
     (do Monad<Lux>
       [=template (untemplate false "" template)]
-      (wrap (list (form$ (list (symbol$ ["" "_lux_:"]) (symbol$ ["lux" "AST"]) =template)))))
+      (wrap (list (form$ (list (symbol$ ["" "_lux_:"]) (symbol$ ["lux" "Code"]) =template)))))
 
     _
     (fail "Wrong syntax for '")))
@@ -1944,7 +1944,7 @@
                                                  (map Int/encode elems)))")])
   (_lux_case tokens
     (#Cons [init apps])
-    (return (list (fold (_lux_: (-> AST AST AST)
+    (return (list (fold (_lux_: (-> Code Code Code)
                           (function' [app acc]
                                      (_lux_case app
                                        [_ (#Tuple parts)]
@@ -1971,7 +1971,7 @@
                                                  (map Int/encode elems)))")])
   (_lux_case (reverse tokens)
     (#Cons [init apps])
-    (return (list (fold (_lux_: (-> AST AST AST)
+    (return (list (fold (_lux_: (-> Code Code Code)
                           (function' [app acc]
                                      (_lux_case app
                                        [_ (#Tuple parts)]
@@ -1996,7 +1996,7 @@
 
 (def:''' (get-ident x)
   #Nil
-  (-> AST ($' Maybe Ident))
+  (-> Code ($' Maybe Ident))
   (_lux_case x
     [_ (#Symbol sname)]
     (#Some sname)
@@ -2006,7 +2006,7 @@
 
 (def:''' (get-tag x)
   #Nil
-  (-> AST ($' Maybe Ident))
+  (-> Code ($' Maybe Ident))
   (_lux_case x
     [_ (#Tag sname)]
     (#Some sname)
@@ -2016,7 +2016,7 @@
 
 (def:''' (get-name x)
   #Nil
-  (-> AST ($' Maybe Text))
+  (-> Code ($' Maybe Text))
   (_lux_case x
     [_ (#Symbol "" sname)]
     (#Some sname)
@@ -2026,7 +2026,7 @@
 
 (def:''' (tuple->list tuple)
   #Nil
-  (-> AST ($' Maybe ($' List AST)))
+  (-> Code ($' Maybe ($' List Code)))
   (_lux_case tuple
     [_ (#Tuple members)]
     (#Some members)
@@ -2036,7 +2036,7 @@
 
 (def:''' (apply-template env template)
   #Nil
-  (-> RepEnv AST AST)
+  (-> RepEnv Code Code)
   (_lux_case template
     [_ (#Symbol "" sname)]
     (_lux_case (get-rep sname env)
@@ -2053,7 +2053,7 @@
     [meta (#Form (map (apply-template env) elems))]
 
     [meta (#Record members)]
-    [meta (#Record (map (_lux_: (-> (& AST AST) (& AST AST))
+    [meta (#Record (map (_lux_: (-> (& Code Code) (& Code Code))
                           (function' [kv]
                                      (let' [[slot value] kv]
                                            [(apply-template env slot) (apply-template env value)])))
@@ -2093,7 +2093,7 @@
     (_lux_case [(mapM Monad<Maybe> get-name bindings)
                 (mapM Monad<Maybe> tuple->list data)]
       [(#Some bindings') (#Some data')]
-      (let' [apply (_lux_: (-> RepEnv ($' List AST))
+      (let' [apply (_lux_: (-> RepEnv ($' List Code))
                      (function' [env] (map (apply-template env) templates)))
              num-bindings (length bindings')]
             (if (every? (function' [sample] (_lux_proc ["int" "="] [num-bindings sample]))
@@ -2396,7 +2396,7 @@
 
 (def:''' (macro-expand-once token)
   #Nil
-  (-> AST ($' Lux ($' List AST)))
+  (-> Code ($' Lux ($' List Code)))
   (_lux_case token
     [_ (#Form (#Cons [_ (#Symbol macro-name)] args))]
     (do Monad<Lux>
@@ -2414,7 +2414,7 @@
 
 (def:''' (macro-expand token)
   #Nil
-  (-> AST ($' Lux ($' List AST)))
+  (-> Code ($' Lux ($' List Code)))
   (_lux_case token
     [_ (#Form (#Cons [_ (#Symbol macro-name)] args))]
     (do Monad<Lux>
@@ -2435,7 +2435,7 @@
 
 (def:''' (macro-expand-all syntax)
   #Nil
-  (-> AST ($' Lux ($' List AST)))
+  (-> Code ($' Lux ($' List Code)))
   (_lux_case syntax
     [_ (#Form (#Cons [_ (#Symbol macro-name)] args))]
     (do Monad<Lux>
@@ -2475,7 +2475,7 @@
                                          (return [key val''])
 
                                          _
-                                         (fail "The value-part of a KV-pair in a record must macro-expand to a single AST.")))))
+                                         (fail "The value-part of a KV-pair in a record must macro-expand to a single Code.")))))
                     pairs)]
       (wrap (list (record$ pairs'))))
 
@@ -2484,7 +2484,7 @@
 
 (def:''' (walk-type type)
   #Nil
-  (-> AST AST)
+  (-> Code Code)
   (_lux_case type
     [_ (#Form (#Cons [_ (#Tag tag)] parts))]
     (form$ (#Cons [(tag$ tag) (map walk-type parts)]))
@@ -2493,7 +2493,7 @@
     (` (& (~@ (map walk-type members))))
 
     [_ (#Form (#Cons type-fn args))]
-    (fold (_lux_: (-> AST AST AST)
+    (fold (_lux_: (-> Code Code Code)
             (function' [arg type-fn] (` (#;App (~ type-fn) (~ arg)))))
           (walk-type type-fn)
           (map walk-type args))
@@ -2556,12 +2556,12 @@
 
 (def:''' (unfold-type-def type-asts)
   #Nil
-  (-> ($' List AST) ($' Lux (& AST ($' Maybe ($' List Text)))))
+  (-> ($' List Code) ($' Lux (& Code ($' Maybe ($' List Text)))))
   (_lux_case type-asts
     (#Cons [_ (#Record pairs)] #;Nil)
     (do Monad<Lux>
       [members (mapM Monad<Lux>
-                     (: (-> [AST AST] (Lux [Text AST]))
+                     (: (-> [Code Code] (Lux [Text Code]))
                         (function' [pair]
                                    (_lux_case pair
                                      [[_ (#Tag "" member-name)] member-type]
@@ -2587,7 +2587,7 @@
     (#Cons case cases)
     (do Monad<Lux>
       [members (mapM Monad<Lux>
-                     (: (-> AST (Lux [Text AST]))
+                     (: (-> Code (Lux [Text Code]))
                         (function' [case]
                                    (_lux_case case
                                      [_ (#Tag "" member-name)]
@@ -2610,7 +2610,7 @@
 
 (def:''' (gensym prefix state)
   #Nil
-  (-> Text ($' Lux AST))
+  (-> Text ($' Lux Code))
   (_lux_case state
     {#info info #source source #modules modules
      #scopes   scopes   #type-context   types   #host host
@@ -2648,7 +2648,7 @@
   (_lux_case (reverse tokens)
     (#Cons value actions)
     (let' [dummy (symbol$ ["" ""])]
-          (return (list (fold (_lux_: (-> AST AST AST)
+          (return (list (fold (_lux_: (-> Code Code Code)
                                 (function' [pre post] (` (;_lux_case (~ pre) (~ dummy) (~ post)))))
                               value
                               actions))))
@@ -2663,7 +2663,7 @@
 
                              _
                              [false tokens])
-         parts (: (Maybe [AST (List AST) (Maybe AST) AST])
+         parts (: (Maybe [Code (List Code) (Maybe Code) Code])
                   (_lux_case tokens'
                     (#Cons [_ (#Form (#Cons name args))] (#Cons type (#Cons body #Nil)))
                     (#Some name args (#Some type) body)
@@ -2702,12 +2702,12 @@
           (fail "Wrong syntax for def'"))))
 
 (def:' (rejoin-pair pair)
-  (-> [AST AST] (List AST))
+  (-> [Code Code] (List Code))
   (let' [[left right] pair]
         (list left right)))
 
 (def:' (ast-to-text ast)
-  (-> AST Text)
+  (-> Code Text)
   (_lux_case ast
     [_ (#Bool value)]
     (Bool/encode value)
@@ -2763,7 +2763,7 @@
     ))
 
 (def:' (expander branches)
-  (-> (List AST) (Lux (List AST)))
+  (-> (List Code) (Lux (List Code)))
   (_lux_case branches
     (#;Cons [_ (#Form (#Cons [_ (#Symbol macro-name)] macro-args))]
             (#;Cons body
@@ -2871,7 +2871,7 @@
     (fail "Wrong syntax for ^or")))
 
 (def:' (symbol? ast)
-  (-> AST Bool)
+  (-> Code Bool)
   (case ast
     [_ (#Symbol _)]
     true
@@ -2889,7 +2889,7 @@
     (^ (list [_ (#Tuple bindings)] body))
     (if (multiple? 2 (length bindings))
       (|> bindings as-pairs reverse
-          (fold (: (-> [AST AST] AST AST)
+          (fold (: (-> [Code Code] Code Code)
                    (function' [lr body']
                               (let' [[l r] lr]
                                     (if (symbol? l)
@@ -2911,7 +2911,7 @@
 
                                 (: (All [a b] (-> a b a))
                                    (function const [x y] x))")])
-  (case (: (Maybe [Ident AST (List AST) AST])
+  (case (: (Maybe [Ident Code (List Code) Code])
            (case tokens
              (^ (list [_ (#Tuple (#Cons head tail))] body))
              (#Some ["" ""] head tail body)
@@ -2924,7 +2924,7 @@
     (#Some ident head tail body)
     (let [g!blank (symbol$ ["" ""])
           g!name (symbol$ ident)
-          body+ (fold (: (-> AST AST AST)
+          body+ (fold (: (-> Code Code Code)
                          (function' [arg body']
                                     (if (symbol? arg)
                                       (` (;_lux_function (~ g!blank) (~ arg) (~ body')))
@@ -2940,7 +2940,7 @@
     (fail "Wrong syntax for function")))
 
 (def:' (process-def-meta-value ast)
-  (-> AST (Lux AST))
+  (-> Code (Lux Code))
   (case ast
     [_ (#Bool value)]
     (return (form$ (list (tag$ ["lux" "BoolA"]) (bool$ value))))
@@ -2977,7 +2977,7 @@
     [_ (#Record kvs)]
     (do Monad<Lux>
       [=xs (mapM Monad<Lux>
-                 (: (-> [AST AST] (Lux AST))
+                 (: (-> [Code Code] (Lux Code))
                     (function [[k v]]
                       (case k
                         [_ (#Text =k)]
@@ -2992,12 +2992,12 @@
     ))
 
 (def:' (process-def-meta ast)
-  (-> AST (Lux AST))
+  (-> Code (Lux Code))
   (case ast
     [_ (#Record kvs)]
     (do Monad<Lux>
       [=kvs (mapM Monad<Lux>
-                  (: (-> [AST AST] (Lux AST))
+                  (: (-> [Code Code] (Lux Code))
                      (function [[k v]]
                        (case k
                          [_ (#Tag [pk nk])]
@@ -3015,7 +3015,7 @@
     (fail (Text/append "Wrong syntax for Anns: " (ast-to-text ast)))))
 
 (def:' (with-func-args args meta)
-  (-> (List AST) AST AST)
+  (-> (List Code) Code Code)
   (case args
     #;Nil
     meta
@@ -3028,7 +3028,7 @@
                (~ meta)))))
 
 (def:' (with-type-args args)
-  (-> (List AST) AST)
+  (-> (List Code) Code)
   (` {#;type-args (#;ListA (list (~@ (map (function [arg]
                                             (` (#;TextA (~ (text$ (ast-to-text arg))))))
                                           args))))}))
@@ -3041,7 +3041,7 @@
       ))
 
 (def:' (export-level^ tokens)
-  (-> (List AST) [(Maybe Export-Level) (List AST)])
+  (-> (List Code) [(Maybe Export-Level) (List Code)])
   (case tokens
     (#Cons [_ (#Tag [_ "export"])] tokens')
     [(#;Some (#;Left [])) tokens']
@@ -3053,7 +3053,7 @@
     [#;None tokens]))
 
 (def:' (export-level ?el)
-  (-> (Maybe Export-Level) (List AST))
+  (-> (Maybe Export-Level) (List Code))
   (case ?el
     #;None
     (list)
@@ -3067,7 +3067,7 @@
 (macro:' #export (def: tokens)
   (list [["lux" "doc"] (#TextA "## Defines global constants/functions.
                                 (def: (rejoin-pair pair)
-                                  (-> [AST AST] (List AST))
+                                  (-> [Code Code] (List Code))
                                   (let [[left right] pair]
                                     (list left right)))
 
@@ -3075,7 +3075,7 @@
                                   Int
                                   5)")])
   (let [[export? tokens'] (export-level^ tokens)
-        parts (: (Maybe [AST (List AST) (Maybe AST) AST AST])
+        parts (: (Maybe [Code (List Code) (Maybe Code) Code Code])
                  (case tokens'
                    (^ (list [_ (#Form (#Cons name args))] meta type body))
                    (#Some [name args (#Some type) body meta])
@@ -3137,7 +3137,7 @@
       (fail "Wrong syntax for def"))))
 
 (def: (meta-ast-add addition meta)
-  (-> [AST AST] AST AST)
+  (-> [Code Code] Code Code)
   (case [addition meta]
     [[name value] [cursor (#;Record pairs)]]
     [cursor (#;Record (#;Cons [name value] pairs))]
@@ -3146,7 +3146,7 @@
     meta))
 
 (def: (meta-ast-merge addition base)
-  (-> AST AST AST)
+  (-> Code Code Code)
   (case addition
     [cursor (#;Record pairs)]
     (fold meta-ast-add base pairs)
@@ -3167,7 +3167,7 @@
                                     _
                                     (fail \"Wrong syntax for ident-for\")))")])
   (let [[exported? tokens] (export-level^ tokens)
-        name+args+meta+body?? (: (Maybe [Ident (List AST) AST AST])
+        name+args+meta+body?? (: (Maybe [Ident (List Code) Code Code])
                                  (case tokens
                                    (^ (list [_ (#;Form (list& [_ (#Symbol name)] args))] body))
                                    (#Some [name args (` {}) body])
@@ -3215,7 +3215,7 @@
             (: (-> a a Bool)
                >=))"}
   (let [[exported? tokens'] (export-level^ tokens)
-        ?parts (: (Maybe [Ident (List AST) AST (List AST)])
+        ?parts (: (Maybe [Ident (List Code) Code (List Code)])
                   (case tokens'
                     (^ (list& [_ (#Form (list& [_ (#Symbol name)] args))] [meta-rec-cursor (#;Record meta-rec-parts)] sigs))
                     (#Some name args [meta-rec-cursor (#;Record meta-rec-parts)] sigs)
@@ -3236,9 +3236,9 @@
       (do Monad<Lux>
         [name+ (normalize name)
          sigs' (mapM Monad<Lux> macro-expand sigs)
-         members (: (Lux (List [Text AST]))
+         members (: (Lux (List [Text Code]))
                     (mapM Monad<Lux>
-                          (: (-> AST (Lux [Text AST]))
+                          (: (-> Code (Lux [Text Code]))
                              (function [token]
                                (case token
                                  (^ [_ (#Form (list [_ (#Symbol _ "_lux_:")] type [_ (#Symbol ["" name])]))])
@@ -3249,7 +3249,7 @@
                           (List/join sigs')))
          #let [[_module _name] name+
                def-name (symbol$ name)
-               sig-type (record$ (map (: (-> [Text AST] [AST AST])
+               sig-type (record$ (map (: (-> [Text Code] [Code Code])
                                          (function [[m-name m-type]]
                                            [(tag$ ["" m-name]) m-type]))
                                       members))
@@ -3312,7 +3312,7 @@
           (default 20 #;None) => 20"}
   (case tokens
     (^ (list else maybe))
-    (let [g!temp (: AST [_cursor (#;Symbol ["" ""])])
+    (let [g!temp (: Code [_cursor (#;Symbol ["" ""])])
           code (` (case (~ maybe)
                     (#;Some (~ g!temp))
                     (~ g!temp)
@@ -3570,11 +3570,11 @@
 
                _
                (fail "No tags available for type.")))
-     #let [tag-mappings (: (List [Text AST])
+     #let [tag-mappings (: (List [Text Code])
                            (map (function [tag] [(second tag) (tag$ tag)])
                                 tags))]
      members (mapM Monad<Lux>
-                   (: (-> AST (Lux [AST AST]))
+                   (: (-> Code (Lux [Code Code]))
                       (function [token]
                         (case token
                           (^ [_ (#Form (list [_ (#Symbol _ "_lux_def")] [_ (#Symbol "" tag-name)] value meta))])
@@ -3609,7 +3609,7 @@
               (or (lux;> test subject)
                   (lux;= test subject))))"}
   (let [[exported? tokens'] (export-level^ tokens)
-        ?parts (: (Maybe [AST (List AST) AST AST (List AST)])
+        ?parts (: (Maybe [Code (List Code) Code Code (List Code)])
                   (case tokens'
                     (^ (list& [_ (#Form (list& name args))] [meta-rec-cursor (#;Record meta-rec-parts)] type defs))
                     (#Some name args type [meta-rec-cursor (#;Record meta-rec-parts)] defs)
@@ -3684,7 +3684,7 @@
      {#;doc <doc-msg>}
      (case (reverse tokens)
        (^ (list& last init))
-       (return (list (fold (: (-> AST AST AST)
+       (return (list (fold (: (-> Code Code Code)
                               (function [pre post] (` <form>)))
                            last
                            init)))
@@ -3707,7 +3707,7 @@
 
                          _
                          [false tokens'])
-        parts (: (Maybe [Text (List AST) AST (List AST)])
+        parts (: (Maybe [Text (List Code) Code (List Code)])
                  (case tokens'
                    (^ (list [_ (#Symbol "" name)] [meta-cursor (#;Record meta-parts)] [type-cursor (#;Record type-parts)]))
                    (#Some [name #Nil [meta-cursor (#;Record meta-parts)] (list [type-cursor (#;Record type-parts)])])
@@ -3736,10 +3736,10 @@
          module-name current-module-name]
         (let [type-name (symbol$ ["" name])
               [type tags??] type+tags??
-              type-meta (: AST
+              type-meta (: Code
                            (case tags??
                              (#Some tags)
-                             (` {#;tags [(~@ (map (: (-> Text AST)
+                             (` {#;tags [(~@ (map (: (-> Text Code)
                                                      (function' [tag]
                                                                 (form$ (list (tag$ ["lux" "TextA"])
                                                                              (text$ tag)))))
@@ -3748,7 +3748,7 @@
                              
                              _
                              (` {#;type? true})))
-              type' (: (Maybe AST)
+              type' (: (Maybe Code)
                        (if rec?
                          (if (empty? args)
                            (let [g!param (symbol$ ["" ""])
@@ -3801,9 +3801,9 @@
    #import-refer Refer})
 
 (def: (extract-defs defs)
-  (-> (List AST) (Lux (List Text)))
+  (-> (List Code) (Lux (List Text)))
   (mapM Monad<Lux>
-        (: (-> AST (Lux Text))
+        (: (-> Code (Lux Text))
            (function [def]
              (case def
                [_ (#Symbol ["" name])]
@@ -3814,7 +3814,7 @@
         defs))
 
 (def: (parse-alias tokens)
-  (-> (List AST) (Lux [(Maybe Text) (List AST)]))
+  (-> (List Code) (Lux [(Maybe Text) (List Code)]))
   (case tokens
     (^ (list& [_ (#Tag "" "as")] [_ (#Symbol "" alias)] tokens'))
     (return [(#Some alias) tokens'])
@@ -3823,7 +3823,7 @@
     (return [#None tokens])))
 
 (def: (parse-referrals tokens)
-  (-> (List AST) (Lux [Referrals (List AST)]))
+  (-> (List Code) (Lux [Referrals (List Code)]))
   (case tokens
     (^ (list& [_ (#Tag ["" "refer"])] referral tokens'))
     (case referral
@@ -3865,7 +3865,7 @@
     [(reverse ys') xs']))
 
 (def: (parse-short-referrals tokens)
-  (-> (List AST) (Lux [Referrals (List AST)]))
+  (-> (List Code) (Lux [Referrals (List Code)]))
   (case tokens
     (^ (list& [_ (#Tag "" "+")] tokens'))
     (let [[defs tokens'] (split-with symbol? tokens')]
@@ -3886,7 +3886,7 @@
     (return [#Nothing tokens])))
 
 (def: (extract-symbol syntax)
-  (-> AST (Lux Ident))
+  (-> Code (Lux Ident))
   (case syntax
     [_ (#Symbol ident)]
     (return ident)
@@ -3895,11 +3895,11 @@
     (fail "Not a symbol.")))
 
 (def: (parse-openings tokens)
-  (-> (List AST) (Lux [(List Openings) (List AST)]))
+  (-> (List Code) (Lux [(List Openings) (List Code)]))
   (case tokens
     (^ (list& [_ (#Tag "" "open")] [_ (#Form parts)] tokens'))
     (if (|> parts
-            (map (: (-> AST Bool)
+            (map (: (-> Code Bool)
                     (function [part]
                       (case part
                         (^or [_ (#Text _)] [_ (#Symbol _)])
@@ -3908,7 +3908,7 @@
                         _
                         false))))
             (fold (function [r l] (and l r)) true))
-      (let [openings (fold (: (-> AST (List Openings) (List Openings))
+      (let [openings (fold (: (-> Code (List Openings) (List Openings))
                               (function [part openings]
                                 (case part
                                   [_ (#Text prefix)]
@@ -3933,9 +3933,9 @@
     (return [(list) tokens])))
 
 (def: (parse-short-openings parts)
-  (-> (List AST) (Lux [(List Openings) (List AST)]))
+  (-> (List Code) (Lux [(List Openings) (List Code)]))
   (if (|> parts
-          (map (: (-> AST Bool)
+          (map (: (-> Code Bool)
                   (function [part]
                     (case part
                       (^or [_ (#Text _)] [_ (#Symbol _)])
@@ -3944,7 +3944,7 @@
                       _
                       false))))
           (fold (function [r l] (and l r)) true))
-    (let [openings (fold (: (-> AST (List Openings) (List Openings))
+    (let [openings (fold (: (-> Code (List Openings) (List Openings))
                             (function [part openings]
                               (case part
                                 [_ (#Text prefix)]
@@ -4005,10 +4005,10 @@
     ))
 
 (def: (parse-imports imports)
-  (-> (List AST) (Lux (List Importation)))
+  (-> (List Code) (Lux (List Importation)))
   (do Monad<Lux>
     [imports' (mapM Monad<Lux>
-                    (: (-> AST (Lux (List Importation)))
+                    (: (-> Code (Lux (List Importation)))
                        (function [token]
                          (case token
                            [_ (#Symbol "" m-name)]
@@ -4297,7 +4297,7 @@
 
         (#;Some tags&members)
         (do Monad<Lux>
-          [full-body ((: (-> Ident [(List Ident) (List Type)] AST (Lux AST))
+          [full-body ((: (-> Ident [(List Ident) (List Type)] Code (Lux Code))
                          (function recur [source [tags members] target]
                            (let [pattern (record$ (map (function [[t-module t-name]]
                                                          [(tag$ [t-module t-name])
@@ -4353,7 +4353,7 @@
     (fail "cond requires an even number of arguments.")
     (case (reverse tokens)
       (^ (list& else branches'))
-      (return (list (fold (: (-> [AST AST] AST AST)
+      (return (list (fold (: (-> [Code Code] Code Code)
                              (function [branch else]
                                (let [[right left] branch]
                                  (` (if (~ left) (~ right) (~ else))))))
@@ -4397,7 +4397,7 @@
        g!output (gensym "")]
       (case (resolve-struct-type type)
         (#Some members)
-        (let [pattern (record$ (map (: (-> [Ident [Nat Type]] [AST AST])
+        (let [pattern (record$ (map (: (-> [Ident [Nat Type]] [Code Code])
                                        (function [[[r-prefix r-name] [r-idx r-type]]]
                                          [(tag$ [r-prefix r-name]) (if (n.= idx r-idx)
                                                                      g!output
@@ -4409,7 +4409,7 @@
         (fail "get@ can only use records.")))
 
     (^ (list [_ (#Tuple slots)] record))
-    (return (list (fold (: (-> AST AST AST)
+    (return (list (fold (: (-> Code Code Code)
                            (function [slot inner]
                              (` (;;get@ (~ slot) (~ inner)))))
                         record
@@ -4424,7 +4424,7 @@
     (fail "Wrong syntax for get@")))
 
 (def: (open-field prefix [module name] source type)
-  (-> Text Ident AST Type (Lux (List AST)))
+  (-> Text Ident Code Type (Lux (List Code)))
   (do Monad<Lux>
     [output (resolve-type-tags type)
      #let [source+ (` (get@ (~ (tag$ [module name])) (~ source)))]]
@@ -4432,7 +4432,7 @@
       (#Some [tags members])
       (do Monad<Lux>
         [decls' (mapM Monad<Lux>
-                      (: (-> [Ident Type] (Lux (List AST)))
+                      (: (-> [Ident Type] (Lux (List Code)))
                          (function [[sname stype]] (open-field prefix sname source+ stype)))
                       (zip2 tags members))]
         (return (List/join decls')))
@@ -4466,7 +4466,7 @@
       (case output
         (#Some [tags members])
         (do Monad<Lux>
-          [decls' (mapM Monad<Lux> (: (-> [Ident Type] (Lux (List AST)))
+          [decls' (mapM Monad<Lux> (: (-> [Ident Type] (Lux (List Code)))
                                       (function [[sname stype]] (open-field prefix sname source stype)))
                         (zip2 tags members))]
           (return (List/join decls')))
@@ -4509,7 +4509,7 @@
     (wrap (is-member? imports import-name))))
 
 (def: (read-refer module-name options)
-  (-> Text (List AST) (Lux Refer))
+  (-> Text (List Code) (Lux Refer))
   (do Monad<Lux>
     [referral+options (parse-referrals options)
      #let [[referral options] referral+options]
@@ -4538,7 +4538,7 @@
                          (fold Text/append "")))))))
 
 (def: (write-refer module-name [r-defs r-opens])
-  (-> Text Refer (Lux (List AST)))
+  (-> Text Refer (Lux (List Code)))
   (do Monad<Lux>
     [current-module current-module-name
      #let [test-referrals (: (-> Text (List Text) (List Text) (Lux (List Unit)))
@@ -4568,14 +4568,14 @@
 
              #Nothing
              (wrap (list)))
-     #let [defs (map (: (-> Text AST)
+     #let [defs (map (: (-> Text Code)
                         (function [def]
                           (` (;_lux_def (~ (symbol$ ["" def]))
                                (~ (symbol$ [module-name def]))
                                (#Cons [["lux" "alias"] (#IdentA [(~ (text$ module-name)) (~ (text$ def))])]
                                       #Nil)))))
                      defs')
-           openings (join-map (: (-> Openings (List AST))
+           openings (join-map (: (-> Openings (List Code))
                                  (function [[prefix structs]]
                                    (map (function [[_ name]] (` (open (~ (symbol$ [module-name name])) (~ (text$ prefix)))))
                                         structs)))
@@ -4594,8 +4594,8 @@
     (fail "Wrong syntax for refer")))
 
 (def: (refer-to-ast module-name [r-defs r-opens])
-  (-> Text Refer AST)
-  (let [=defs (: (List AST)
+  (-> Text Refer Code)
+  (let [=defs (: (List Code)
                  (case r-defs
                    #All
                    (list (' #refer) (' #all))
@@ -4645,7 +4645,7 @@
                  (macro ast))
             (.. [type \"\" Eq<Type>]))"}
   (do Monad<Lux>
-    [#let [[_meta _imports] (: [(List [AST AST]) (List AST)]
+    [#let [[_meta _imports] (: [(List [Code Code]) (List Code)]
                                (case tokens
                                  (^ (list& [_ (#Record _meta)] _imports))
                                  [_meta _imports]
@@ -4653,11 +4653,11 @@
                                  _
                                  [(list) tokens]))]
      imports (parse-imports _imports)
-     #let [=imports (map (: (-> Importation AST)
+     #let [=imports (map (: (-> Importation Code)
                             (function [[m-name m-alias =refer]]
                               (` [(~ (text$ m-name)) (~ (text$ (default "" m-alias)))])))
                          imports)
-           =refers (map (: (-> Importation AST)
+           =refers (map (: (-> Importation Code)
                            (function [[m-name m-alias =refer]]
                              (refer-to-ast m-name =refer)))
                         imports)]
@@ -4706,17 +4706,17 @@
         (#Some members)
         (do Monad<Lux>
           [pattern' (mapM Monad<Lux>
-                          (: (-> [Ident [Nat Type]] (Lux [Ident Nat AST]))
+                          (: (-> [Ident [Nat Type]] (Lux [Ident Nat Code]))
                              (function [[r-slot-name [r-idx r-type]]]
                                (do Monad<Lux>
                                  [g!slot (gensym "")]
                                  (return [r-slot-name r-idx g!slot]))))
                           (zip2 tags (enumerate members)))]
-          (let [pattern (record$ (map (: (-> [Ident Nat AST] [AST AST])
+          (let [pattern (record$ (map (: (-> [Ident Nat Code] [Code Code])
                                          (function [[r-slot-name r-idx r-var]]
                                            [(tag$ r-slot-name) r-var]))
                                       pattern'))
-                output (record$ (map (: (-> [Ident Nat AST] [AST AST])
+                output (record$ (map (: (-> [Ident Nat Code] [Code Code])
                                         (function [[r-slot-name r-idx r-var]]
                                           [(tag$ r-slot-name) (if (n.= idx r-idx)
                                                                 value
@@ -4735,20 +4735,20 @@
       _
       (do Monad<Lux>
         [bindings (mapM Monad<Lux>
-                        (: (-> AST (Lux AST))
+                        (: (-> Code (Lux Code))
                            (function [_] (gensym "temp")))
                         slots)
          #let [pairs (zip2 slots bindings)
-               update-expr (fold (: (-> [AST AST] AST AST)
+               update-expr (fold (: (-> [Code Code] Code Code)
                                     (function [[s b] v]
                                       (` (;;set@ (~ s) (~ v) (~ b)))))
                                  value
                                  (reverse pairs))
-               [_ accesses'] (fold (: (-> [AST AST] [AST (List (List AST))] [AST (List (List AST))])
+               [_ accesses'] (fold (: (-> [Code Code] [Code (List (List Code))] [Code (List (List Code))])
                                       (function [[new-slot new-binding] [old-record accesses']]
                                         [(` (get@ (~ new-slot) (~ new-binding)))
                                          (#;Cons (list new-binding old-record) accesses')]))
-                                   [record (: (List (List AST)) #;Nil)]
+                                   [record (: (List (List Code)) #;Nil)]
                                    pairs)
                accesses (List/join (reverse accesses'))]]
         (wrap (list (` (let [(~@ accesses)]
@@ -4792,17 +4792,17 @@
         (#Some members)
         (do Monad<Lux>
           [pattern' (mapM Monad<Lux>
-                          (: (-> [Ident [Nat Type]] (Lux [Ident Nat AST]))
+                          (: (-> [Ident [Nat Type]] (Lux [Ident Nat Code]))
                              (function [[r-slot-name [r-idx r-type]]]
                                (do Monad<Lux>
                                  [g!slot (gensym "")]
                                  (return [r-slot-name r-idx g!slot]))))
                           (zip2 tags (enumerate members)))]
-          (let [pattern (record$ (map (: (-> [Ident Nat AST] [AST AST])
+          (let [pattern (record$ (map (: (-> [Ident Nat Code] [Code Code])
                                          (function [[r-slot-name r-idx r-var]]
                                            [(tag$ r-slot-name) r-var]))
                                       pattern'))
-                output (record$ (map (: (-> [Ident Nat AST] [AST AST])
+                output (record$ (map (: (-> [Ident Nat Code] [Code Code])
                                         (function [[r-slot-name r-idx r-var]]
                                           [(tag$ r-slot-name) (if (n.= idx r-idx)
                                                                 (` ((~ fun) (~ r-var)))
@@ -4880,12 +4880,12 @@
     (^ (list& [_ (#Form (list& [_ (#Tuple bindings)] templates))]
               [_ (#Form data)]
               branches))
-    (case (: (Maybe (List AST))
+    (case (: (Maybe (List Code))
              (do Monad<Maybe>
                [bindings' (mapM Monad<Maybe> get-name bindings)
                 data' (mapM Monad<Maybe> tuple->list data)]
                (if (every? (i.= (length bindings')) (map length data'))
-                 (let [apply (: (-> RepEnv (List AST))
+                 (let [apply (: (-> RepEnv (List Code))
                                 (function [env] (map (apply-template env) templates)))]
                    (|> data'
                        (join-map (. apply (make-env bindings')))
@@ -4910,7 +4910,7 @@
   )
 
 (def: (find-baseline-column ast)
-  (-> AST Nat)
+  (-> Code Nat)
   (case ast
     (^template [<tag>]
       [[_ _ column] (<tag> _)]
@@ -4939,10 +4939,10 @@
 
 (type: Doc-Fragment
   (#Doc-Comment Text)
-  (#Doc-Example AST))
+  (#Doc-Example Code))
 
 (def: (identify-doc-fragment ast)
-  (-> AST Doc-Fragment)
+  (-> Code Doc-Fragment)
   (case ast
     [_ (#;Text comment)]
     (#Doc-Comment comment)
@@ -5022,11 +5022,11 @@
   [file line (n.inc column)])
 
 (def: rejoin-all-pairs
-  (-> (List [AST AST]) (List AST))
+  (-> (List [Code Code]) (List Code))
   (. List/join (map rejoin-pair)))
 
 (def: (doc-example->Text prev-cursor baseline example)
-  (-> Cursor Nat AST [Cursor Text])
+  (-> Cursor Nat Code [Cursor Text])
   (case example
     (^template [<tag> <show>]
       [new-cursor (<tag> value)]
@@ -5114,7 +5114,7 @@
       (list& x y (interleave xs' ys')))))
 
 (def: (type-to-ast type)
-  (-> Type AST)
+  (-> Type Code)
   (case type
     (#Host name params)
     (` (#Host (~ (text$ name)) (~ (untemplate-list (map type-to-ast params)))))
@@ -5185,7 +5185,7 @@
                             (~@ inits))))))
         (do Monad<Lux>
           [aliases (mapM Monad<Lux>
-                         (: (-> AST (Lux AST))
+                         (: (-> Code (Lux Code))
                             (function [_] (gensym "")))
                          inits)]
           (return (list (` (let [(~@ (interleave aliases inits))]
@@ -5220,10 +5220,10 @@
        output (resolve-tag hslot)
        g!_ (gensym "_")
        #let [[idx tags exported? type] output
-             slot-pairings (map (: (-> Ident [Text AST])
+             slot-pairings (map (: (-> Ident [Text Code])
                                    (function [[module name]] [name (symbol$ ["" name])]))
                                 (list& hslot tslots))
-             pattern (record$ (map (: (-> Ident [AST AST])
+             pattern (record$ (map (: (-> Ident [Code Code])
                                       (function [[module name]]
                                         (let [tag (tag$ [module name])]
                                           (case (get name slot-pairings)
@@ -5236,7 +5236,7 @@
     (fail "Wrong syntax for ^slots")))
 
 (def: (place-tokens label tokens target)
-  (-> Text (List AST) AST (Maybe (List AST)))
+  (-> Text (List Code) Code (Maybe (List Code)))
   (case target
     (^or [_ (#Bool _)] [_ (#Nat _)] [_ (#Int _)] [_ (#Deg _)] [_ (#Real _)] [_ (#Char _)] [_ (#Text _)] [_ (#Tag _)])
     (#Some (list target))
@@ -5258,7 +5258,7 @@
     [_ (#Record pairs)]
     (do Monad<Maybe>
       [=pairs (mapM Monad<Maybe>
-                    (: (-> [AST AST] (Maybe [AST AST]))
+                    (: (-> [Code Code] (Maybe [Code Code]))
                        (function [[slot value]]
                          (do Monad<Maybe>
                            [slot' (place-tokens label tokens slot)
@@ -5275,14 +5275,14 @@
 
 (macro: #export (with-expansions tokens)
   {#;doc (doc "Controlled macro-expansion."
-              "Bind an arbitraty number of ASTs resulting from macro-expansion to local bindings."
-              "Wherever a binding appears, the bound ASTs will be spliced in there."
-              (test: "AST operations & structures"
+              "Bind an arbitraty number of Codes resulting from macro-expansion to local bindings."
+              "Wherever a binding appears, the bound Codes will be spliced in there."
+              (test: "Code operations & structures"
                 (with-expansions
                   [<tests> (do-template [<expr> <text> <pattern>]
                              [(compare <pattern> <expr>)
-                              (compare <text> (:: AST/encode show <expr>))
-                              (compare true (:: Eq<AST> = <expr> <expr>))]
+                              (compare <text> (:: Code/encode show <expr>))
+                              (compare true (:: Eq<Code> = <expr> <expr>))]
 
                              [(bool true)                             "true"       [_ (#;Bool true)]]
                              [(bool false)                            "false"      [_ (#;Bool false)]]
@@ -5344,7 +5344,7 @@
     type))
 
 (def: (anti-quote-def name)
-  (-> Ident (Lux AST))
+  (-> Ident (Lux Code))
   (do Monad<Lux>
     [type+value (find-def-value name)
      #let [[type value] type+value]]
@@ -5364,7 +5364,7 @@
       (fail (Text/append "Cannot anti-quote type: " (Ident/encode name))))))
 
 (def: (anti-quote token)
-  (-> AST (Lux AST))
+  (-> Code (Lux Code))
   (case token
     [_ (#Symbol [def-prefix def-name])]
     (if (Text/= "" def-prefix)
@@ -5382,7 +5382,7 @@
     [meta (#Record pairs)]
     (do Monad<Lux>
       [=pairs (mapM Monad<Lux>
-                    (: (-> [AST AST] (Lux [AST AST]))
+                    (: (-> [Code Code] (Lux [Code Code]))
                        (function [[slot value]]
                          (do Monad<Lux>
                            [=value (anti-quote value)]
@@ -5423,10 +5423,10 @@
     (fail "Wrong syntax for ^~")))
 
 (type: Multi-Level-Case
-  [AST (List [AST AST])])
+  [Code (List [Code Code])])
 
 (def: (case-level^ level)
-  (-> AST (Lux [AST AST]))
+  (-> Code (Lux [Code Code]))
   (case level
     (^ [_ (#;Tuple (list expr binding))])
     (return [expr binding])
@@ -5436,7 +5436,7 @@
     ))
 
 (def: (multi-level-case^ levels)
-  (-> (List AST) (Lux Multi-Level-Case))
+  (-> (List Code) (Lux Multi-Level-Case))
   (case levels
     #;Nil
     (fail "Multi-level patterns cannot be empty.")
@@ -5447,7 +5447,7 @@
       (wrap [init extras']))))
 
 (def: (multi-level-case$ g!_ [[init-pattern levels] body])
-  (-> AST [Multi-Level-Case AST] (List AST))
+  (-> Code [Multi-Level-Case Code] (List Code))
   (let [inner-pattern-body (fold (function [[calculation pattern] success]
                                    (` (case (~ calculation)
                                         (~ pattern)
@@ -5456,7 +5456,7 @@
                                         (~ g!_)
                                         #;None)))
                                  (` (#;Some (~ body)))
-                                 (: (List [AST AST]) (reverse levels)))]
+                                 (: (List [Code Code]) (reverse levels)))]
     (list init-pattern inner-pattern-body)))
 
 (macro: #export (^=> tokens)
@@ -5661,7 +5661,7 @@
   #Hidden)
 
 (def: (parse-export-level tokens)
-  (-> (List AST) (Lux [(Maybe Export-Level') (List AST)]))
+  (-> (List Code) (Lux [(Maybe Export-Level') (List Code)]))
   (case tokens
     (^ (list& [_ (#Tag ["" "export"])] tokens'))
     (:: Monad<Lux> wrap [(#;Some #Export) tokens'])
@@ -5674,7 +5674,7 @@
     ))
 
 (def: (gen-export-level ?export-level)
-  (-> (Maybe Export-Level') (List AST))
+  (-> (Maybe Export-Level') (List Code))
   (case ?export-level
     #;None
     (list)
@@ -5687,7 +5687,7 @@
     ))
 
 (def: (parse-complex-declaration tokens)
-  (-> (List AST) (Lux [[Text (List Text)] (List AST)]))
+  (-> (List Code) (Lux [[Text (List Text)] (List Code)]))
   (case tokens
     (^ (list& [_ (#Form (list& [_ (#Symbol ["" name])] args'))] tokens'))
     (do Monad<Lux>
@@ -5707,7 +5707,7 @@
     ))
 
 (def: (parse-any tokens)
-  (-> (List AST) (Lux [AST (List AST)]))
+  (-> (List Code) (Lux [Code (List Code)]))
   (case tokens
     (^ (list& token tokens'))
     (:: Monad<Lux> wrap [token tokens'])
@@ -5717,17 +5717,17 @@
     ))
 
 (def: (parse-end tokens)
-  (-> (List AST) (Lux Unit))
+  (-> (List Code) (Lux Unit))
   (case tokens
     (^ (list))
     (:: Monad<Lux> wrap [])
     
     _
-    (fail "Expected input ASTs to be empty.")
+    (fail "Expected input Codes to be empty.")
     ))
 
 (def: (parse-anns tokens)
-  (-> (List AST) (Lux [AST (List AST)]))
+  (-> (List Code) (Lux [Code (List Code)]))
   (case tokens
     (^ (list& [_ (#Record _anns)] tokens'))
     (:: Monad<Lux> wrap [(record$ _anns) tokens'])
diff --git a/stdlib/source/lux/cli.lux b/stdlib/source/lux/cli.lux
index d171dc899..fd20a208b 100644
--- a/stdlib/source/lux/cli.lux
+++ b/stdlib/source/lux/cli.lux
@@ -9,7 +9,7 @@
              (sum #as sum))
        [io]
        [macro #+ with-gensyms Functor<Lux> Monad<Lux>]
-       (macro [ast]
+       (macro [code]
               ["s" syntax #+ syntax: Syntax])))
 
 ## [Types]
@@ -228,14 +228,14 @@
 ## [Syntax]
 (type: Program-Args
   (#Raw-Program-Args Text)
-  (#Parsed-Program-Args (List [AST AST])))
+  (#Parsed-Program-Args (List [Code Code])))
 
 (def: program-args^
   (Syntax Program-Args)
   (s;alt s;local-symbol
          (s;form (s;some (s;either (do s;Monad<Syntax>
                                      [name s;local-symbol]
-                                     (wrap [(ast;symbol ["" name]) (` any)]))
+                                     (wrap [(code;symbol ["" name]) (` any)]))
                                    (s;tuple (s;seq s;any s;any)))))))
 
 (syntax: #export (program: [args program-args^] body)
@@ -256,7 +256,7 @@
                   (do-something data))))}
   (case args
     (#Raw-Program-Args args)
-    (wrap (list (` (;_lux_program (~ (ast;symbol ["" args]))
+    (wrap (list (` (;_lux_program (~ (code;symbol ["" args]))
                                   (~ body)))))
     
     (#Parsed-Program-Args args)
diff --git a/stdlib/source/lux/concurrency/actor.lux b/stdlib/source/lux/concurrency/actor.lux
index 14e382e1c..42b8908f9 100644
--- a/stdlib/source/lux/concurrency/actor.lux
+++ b/stdlib/source/lux/concurrency/actor.lux
@@ -9,7 +9,7 @@
              [product]
              [number "Nat/" Codec<Text,Nat>])
        [macro #+ with-gensyms]
-       (macro [ast]
+       (macro [code]
               ["s" syntax #+ syntax: Syntax]
               (syntax [common]))
        [type])
@@ -128,7 +128,7 @@
                                                           (wrap (#;Right new-server))))
                                                       ))))
                                         #end (function [_ server] (exec (io;run (poison server))
-                                                                  (:: Monad<Promise> wrap [])))})))]
+                                                                    (:: Monad<Promise> wrap [])))})))]
         (update@ #obituary (: (-> (P;Promise [(Maybe Text) (Actor ($ +0) ($ +1)) (List ($ +1))])
                                   (P;Promise [(Maybe Text) ($ +0) (List ($ +1))]))
                               (function [process]
@@ -142,9 +142,9 @@
 (type: Method
   {#name Text
    #vars (List Text)
-   #args (List [Text AST])
-   #return AST
-   #body AST})
+   #args (List [Text Code])
+   #return Code
+   #body Code})
 
 (def: method^
   (Syntax Method)
@@ -164,20 +164,20 @@
                    #body body}))))
 
 (def: stop^
-  (Syntax AST)
+  (Syntax Code)
   (s;form (do s;Monad<Syntax>
             [_ (s;this! (' stop:))]
             s;any)))
 
 (def: actor-decl^
-  (Syntax [(List Text) Text (List [Text AST])])
+  (Syntax [(List Text) Text (List [Text Code])])
   (s;seq (s;default (list) (s;tuple (s;some s;local-symbol)))
          (s;either (s;form (s;seq s;local-symbol (s;many common;typed-arg)))
                    (s;seq s;local-symbol (:: s;Monad<Syntax> wrap (list))))))
 
 (def: (actor-def-decl [_vars _name _args] return-type)
-  (-> [(List Text) Text (List [Text AST])] AST (List AST))
-  (let [decl (` ((~ (ast;symbol ["" (format _name "//new")])) (~@ (List/map (|>. product;left [""] ast;symbol) _args))))
+  (-> [(List Text) Text (List [Text Code])] Code (List Code))
+  (let [decl (` ((~ (code;symbol ["" (format _name "//new")])) (~@ (List/map (|>. product;left [""] code;symbol) _args))))
         base-type (` (-> (~@ (List/map product;right _args))
                          (~ return-type)))
         type (case _vars
@@ -185,7 +185,7 @@
                base-type
 
                _
-               (` (All [(~@ (List/map (|>. [""] ast;symbol) _vars))]
+               (` (All [(~@ (List/map (|>. [""] code;symbol) _vars))]
                     (~ base-type))))]
     (list decl
           type)))
@@ -213,20 +213,20 @@
                     (wrap (#;Left "Cannot add negative numbers!"))))
                 ))}
   (with-gensyms [g!message g!error g!return g!error g!output]
-    (let [g!state-name (ast;symbol ["" (format _name "//STATE")])
-          g!protocol-name (ast;symbol ["" (format _name "//PROTOCOL")])
-          g!self (ast;symbol ["" "*self*"])
-          g!state (ast;symbol ["" "*state*"])
-          g!cause (ast;symbol ["" "*cause*"])
+    (let [g!state-name (code;symbol ["" (format _name "//STATE")])
+          g!protocol-name (code;symbol ["" (format _name "//PROTOCOL")])
+          g!self (code;symbol ["" "*self*"])
+          g!state (code;symbol ["" "*state*"])
+          g!cause (code;symbol ["" "*cause*"])
           g!stop-body (default (` (:: P;Monad<Promise> (~' wrap) [])) ?stop)
           protocol (List/map (function [(^slots [#name #vars #args #return #body])]
-                               (` ((~ (ast;tag ["" name])) [(~@ (List/map product;right args))] (P;Promise (~ return)))))
+                               (` ((~ (code;tag ["" name])) [(~@ (List/map product;right args))] (P;Promise (~ return)))))
                              methods)
-          protocol-pm (List/map (: (-> Method [AST AST])
+          protocol-pm (List/map (: (-> Method [Code Code])
                                    (function [(^slots [#name #vars #args #return #body])]
-                                     (let [arg-names (|> (list;size args) (list;n.range +1) (List/map (|>. Nat/encode [""] ast;symbol)))
+                                     (let [arg-names (|> (list;size args) (list;n.range +1) (List/map (|>. Nat/encode [""] code;symbol)))
                                            body-func (` (: (-> (~ g!state-name) (~@ (List/map product;right args)) (P;Promise (Error [(~ g!state-name) (~ return)])))
-                                                           (function (~ (ast;symbol ["" _name])) [(~ g!state) (~@ (List/map (|>. product;left [""] ast;symbol) args))]
+                                                           (function (~ (code;symbol ["" _name])) [(~ g!state) (~@ (List/map (|>. product;left [""] code;symbol) args))]
                                                              (do P;Monad<Promise>
                                                                []
                                                                (~ body)))))]
@@ -249,7 +249,7 @@
                                                                 (list pattern clause))
                                                               protocol-pm))
                                          (List/join (List/map (function [[method [pattern clause]]]
-                                                                (list (` ((~ (ast;tag ["" (get@ #name method)])) (~ pattern)))
+                                                                (list (` ((~ (code;tag ["" (get@ #name method)])) (~ pattern)))
                                                                       clause))
                                                               (list;zip2 methods protocol-pm)))))
                                    ))
@@ -257,17 +257,17 @@
                                 (do P;Monad<Promise>
                                   []
                                   (~ g!stop-body)))})
-          g!actor-name (ast;symbol ["" _name])
-          g!methods (List/map (: (-> Method AST)
+          g!actor-name (code;symbol ["" _name])
+          g!methods (List/map (: (-> Method Code)
                                  (function [(^slots [#name #vars #args #return #body])]
-                                   (let [arg-names (|> (list;size args) (list;n.range +1) (List/map (|>. Nat/encode [""] ast;symbol)))
+                                   (let [arg-names (|> (list;size args) (list;n.range +1) (List/map (|>. Nat/encode [""] code;symbol)))
                                          type (` (-> (~@ (List/map product;right args))
                                                      (~ g!actor-name)
                                                      (P;Promise (~ return))))]
-                                     (` (def: (~@ (common;gen-export-level _ex-lev)) ((~ (ast;symbol ["" name])) (~@ arg-names) (~ g!self))
+                                     (` (def: (~@ (common;gen-export-level _ex-lev)) ((~ (code;symbol ["" name])) (~@ arg-names) (~ g!self))
                                           (~ type)
                                           (let [(~ g!output) (P;promise (~ return))]
-                                            (exec (send ((~ (ast;tag ["" name])) [[(~@ arg-names)] (~ g!output)]) (~ g!self))
+                                            (exec (send ((~ (code;tag ["" name])) [[(~@ arg-names)] (~ g!output)]) (~ g!self))
                                               (~ g!output))))))))
                               methods)]
       (wrap (list& (` (type: (~@ (common;gen-export-level _ex-lev)) (~ g!state-name) (~ state-type)))
diff --git a/stdlib/source/lux/concurrency/stm.lux b/stdlib/source/lux/concurrency/stm.lux
index 31ddf804c..066384e11 100644
--- a/stdlib/source/lux/concurrency/stm.lux
+++ b/stdlib/source/lux/concurrency/stm.lux
@@ -13,7 +13,7 @@
              [number "Nat/" Codec<Text,Nat>]
              text/format)
        [macro]
-       (macro [ast]
+       (macro [code]
               ["s" syntax #+ syntax: Syntax])
        (concurrency [atom #+ Atom atom]
                     ["P" promise #+ Promise "Promise/" Monad<Promise>]
diff --git a/stdlib/source/lux/control/comonad.lux b/stdlib/source/lux/control/comonad.lux
index 12e16655e..25e08a9f3 100644
--- a/stdlib/source/lux/control/comonad.lux
+++ b/stdlib/source/lux/control/comonad.lux
@@ -33,9 +33,9 @@
                   (square (head inputs)))))}
   (case tokens
     (#;Cons comonad (#;Cons [_ (#;Tuple bindings)] (#;Cons body #;Nil)))
-    (let [g!map (: AST [_cursor (#;Symbol ["" " map "])])
-          g!split (: AST [_cursor (#;Symbol ["" " split "])])
-          body' (fold (: (-> [AST AST] AST AST)
+    (let [g!map (: Code [_cursor (#;Symbol ["" " map "])])
+          g!split (: Code [_cursor (#;Symbol ["" " split "])])
+          body' (fold (: (-> [Code Code] Code Code)
                          (function [binding body']
                            (let [[var value] binding]
                              (case var
diff --git a/stdlib/source/lux/control/cont.lux b/stdlib/source/lux/control/cont.lux
index cbce3b70c..cbedc5df0 100644
--- a/stdlib/source/lux/control/cont.lux
+++ b/stdlib/source/lux/control/cont.lux
@@ -5,7 +5,7 @@
                 monad)
        function
        [macro #+ with-gensyms]
-       (macro [ast]
+       (macro [code]
               [syntax #+ syntax:])))
 
 (type: #export (Cont i o)
diff --git a/stdlib/source/lux/control/contract.lux b/stdlib/source/lux/control/contract.lux
index d3523d564..941d4e1ef 100644
--- a/stdlib/source/lux/control/contract.lux
+++ b/stdlib/source/lux/control/contract.lux
@@ -3,7 +3,7 @@
   (lux (control monad)
        (data text/format)
        [macro #+ Monad<Lux>]
-       (macro [ast]
+       (macro [code]
               ["s" syntax #+ syntax:])))
 
 (def: #export (assert! message test)
@@ -18,7 +18,7 @@
               "Otherwise, an error is raised."
               (@pre (i.= 4 (i.+ 2 2))
                     (foo 123 456 789)))}
-  (wrap (list (` (exec (assert! (~ (ast;text (format "Pre-condition failed: " (%ast test))))
+  (wrap (list (` (exec (assert! (~ (code;text (format "Pre-condition failed: " (%ast test))))
                                 (~ test))
                    (~ expr))))))
 
@@ -32,6 +32,6 @@
   (do @
     [g!output (macro;gensym "")]
     (wrap (list (` (let [(~ g!output) (~ expr)]
-                     (exec (assert! (~ (ast;text (format "Post-condition failed: " (%ast test))))
+                     (exec (assert! (~ (code;text (format "Post-condition failed: " (%ast test))))
                                     ((~ test) (~ g!output)))
                        (~ g!output))))))))
diff --git a/stdlib/source/lux/control/effect.lux b/stdlib/source/lux/control/effect.lux
index 668b3a30e..0c867f4be 100644
--- a/stdlib/source/lux/control/effect.lux
+++ b/stdlib/source/lux/control/effect.lux
@@ -11,7 +11,7 @@
              [ident "Ident/" Eq<Ident>]
              [text])
        [macro]
-       (macro [ast]
+       (macro [code]
               ["s" syntax #+ syntax: Syntax]
               (syntax [common]))
        [type]))
@@ -79,8 +79,8 @@
 
 (type: Op
   {#name Text
-   #inputs (List AST)
-   #output AST})
+   #inputs (List Code)
+   #output Code})
 
 (def: op^
   (Syntax Op)
@@ -106,16 +106,16 @@
   (do @
     [g!output (macro;gensym "g!output")
      #let [op-types (List/map (function [op]
-                                (let [g!tag (ast;tag ["" (get@ #name op)])
+                                (let [g!tag (code;tag ["" (get@ #name op)])
                                       g!inputs (` [(~@ (get@ #inputs op))])
                                       g!output (` (-> (~ (get@ #output op)) (~ g!output)))]
                                   (` ((~ g!tag) (~ g!inputs) (~ g!output)))))
                               ops)
-           type-name (ast;symbol ["" name])
+           type-name (code;symbol ["" name])
            type-def (` (type: (~@ (common;gen-export-level exp-lvl))
                          ((~ type-name) (~ g!output))
                          (~@ op-types)))
-           op-tags (List/map (|>. (get@ #name) [""] ast;tag (list) ast;tuple)
+           op-tags (List/map (|>. (get@ #name) [""] code;tag (list) code;tuple)
                              ops)
            functor-def (` (struct: (~@ (common;gen-export-level exp-lvl)) (~' _) (F;Functor (~ type-name))
                             (def: ((~' map) (~' f) (~' fa))
@@ -126,16 +126,16 @@
                                 ((~@ op-tags))))
                             ))
            function-defs (List/map (function [op]
-                                     (let [g!name (ast;symbol ["" (get@ #name op)])
-                                           g!tag (ast;tag ["" (get@ #name op)])
-                                           g!params (: (List AST)
+                                     (let [g!name (code;symbol ["" (get@ #name op)])
+                                           g!tag (code;tag ["" (get@ #name op)])
+                                           g!params (: (List Code)
                                                        (case (list;size (get@ #inputs op))
                                                          +0 (list)
                                                          s (|> (list;n.range +0 (n.dec s))
                                                                (List/map (|>. Nat/encode
                                                                               (format "_")
                                                                               [""]
-                                                                              ast;symbol)))))]
+                                                                              code;symbol)))))]
                                        (` (def: (~@ (common;gen-export-level exp-lvl)) ((~ g!name) (~@ g!params))
                                             (-> (~@ (get@ #inputs op))
                                                 ((~ type-name) (~ (get@ #output op))))
@@ -147,8 +147,8 @@
 
 (type: Translation
   {#effect Ident
-   #target-type AST
-   #target-monad AST})
+   #target-type Code
+   #target-monad Code})
 
 (def: translation^
   (Syntax Translation)
@@ -180,8 +180,8 @@
      g!wrap (macro;gensym "wrap")
      #let [g!cases (|> defs
                        (List/map (function [def]
-                                   (let [g!tag (ast;tag [e-module (get@ #common;def-name def)])
-                                         g!args (List/map (|>. [""] ast;symbol)
+                                   (let [g!tag (code;tag [e-module (get@ #common;def-name def)])
+                                         g!args (List/map (|>. [""] code;symbol)
                                                           (get@ #common;def-args def))
                                          eff-calc (case (get@ #common;def-type def)
                                                     #;None
@@ -202,8 +202,8 @@
                                                 ((~ g!wrap) ((~ g!cont) (~ g!value)))))
                                            ))))
                        List/join)]]
-    (wrap (list (` (struct: (~@ (common;gen-export-level exp-lvl)) (~ (ast;symbol ["" name]))
-                     (;;Handler (~ (ast;symbol effect)) (~ target-type))
+    (wrap (list (` (struct: (~@ (common;gen-export-level exp-lvl)) (~ (code;symbol ["" name]))
+                     (;;Handler (~ (code;symbol effect)) (~ target-type))
                      (def: (~' monad) (~ target-monad))
                      
                      (def: ((~' handle) (~ g!input))
@@ -242,7 +242,7 @@
     _
     (error! (format "Wrong effect format: " (%type effect)))))
 
-(def: g!functor AST (ast;symbol ["" "\t@E\t"]))
+(def: g!functor Code (code;symbol ["" "\t@E\t"]))
 
 (syntax: #export (doE functor [bindings (s;tuple (s;some s;any))] body)
   {#;doc (doc "An alternative to the 'do' macro for monads."
@@ -293,7 +293,7 @@
     false))
 
 (def: (nest-effect idx total base)
-  (-> Nat Nat AST AST)
+  (-> Nat Nat Code Code)
   (cond (n.= +0 idx)
         (` (+0 (~ base)))
 
@@ -330,7 +330,7 @@
                                (same-effect? effect eff0))))
               (#;Some [idx _])])
         (wrap (list (` (#M;Effect (:: (~ g!functor) (~' map) (~' wrap)
-                                      (~ (nest-effect idx (list;size stack) (ast;symbol var))))))))
+                                      (~ (nest-effect idx (list;size stack) (code;symbol var))))))))
 
         _
         (macro;fail (format "Invalid type to lift: " (%type output)))))
diff --git a/stdlib/source/lux/control/exception.lux b/stdlib/source/lux/control/exception.lux
index 94cdf4dd5..66214f90c 100644
--- a/stdlib/source/lux/control/exception.lux
+++ b/stdlib/source/lux/control/exception.lux
@@ -4,7 +4,7 @@
        (data [error #- fail]
              [text])
        [macro]
-       (macro [ast]
+       (macro [code]
               ["s" syntax #+ syntax: Syntax]
               (syntax [common]))))
 
@@ -61,7 +61,7 @@
               (exception: #export Some-Exception))}
   (do @
     [current-module macro;current-module-name
-     #let [g!message (ast;symbol ["" "message"])]]
-    (wrap (list (` (def: (~@ (common;gen-export-level _ex-lev)) ((~ (ast;symbol ["" name])) (~ g!message))
+     #let [g!message (code;symbol ["" "message"])]]
+    (wrap (list (` (def: (~@ (common;gen-export-level _ex-lev)) ((~ (code;symbol ["" name])) (~ g!message))
                      Exception
-                     ($_ _Text/append_ "[" (~ (ast;text current-module)) ";" (~ (ast;text name)) "]\t" (~ g!message))))))))
+                     ($_ _Text/append_ "[" (~ (code;text current-module)) ";" (~ (code;text name)) "]\t" (~ g!message))))))))
diff --git a/stdlib/source/lux/control/monad.lux b/stdlib/source/lux/control/monad.lux
index 0fce26db0..9b908df9a 100644
--- a/stdlib/source/lux/control/monad.lux
+++ b/stdlib/source/lux/control/monad.lux
@@ -59,10 +59,10 @@
                 (wrap (f3 z))))}
   (case tokens
     (#;Cons monad (#;Cons [_ (#;Tuple bindings)] (#;Cons body #;Nil)))
-    (let [g!map (: AST [_cursor (#;Symbol ["" " map "])])
-          g!join (: AST [_cursor (#;Symbol ["" " join "])])
-          g!apply (: AST [_cursor (#;Symbol ["" " apply "])])
-          body' (fold (: (-> [AST AST] AST AST)
+    (let [g!map (: Code [_cursor (#;Symbol ["" " map "])])
+          g!join (: Code [_cursor (#;Symbol ["" " join "])])
+          g!apply (: Code [_cursor (#;Symbol ["" " apply "])])
+          body' (fold (: (-> [Code Code] Code Code)
                          (function [binding body']
                            (let [[var value] binding]
                              (case var
diff --git a/stdlib/source/lux/control/pipe.lux b/stdlib/source/lux/control/pipe.lux
index fb0273835..67ef9da9c 100644
--- a/stdlib/source/lux/control/pipe.lux
+++ b/stdlib/source/lux/control/pipe.lux
@@ -5,12 +5,12 @@
              maybe)
        [macro #+ with-gensyms Monad<Lux>]
        (macro ["s" syntax #+ syntax: Syntax]
-              [ast])
+              [code])
        ))
 
 ## [Syntax]
 (def: body^
-  (Syntax (List AST))
+  (Syntax (List Code))
   (s;tuple (s;many s;any)))
 
 (syntax: #export (_> [tokens (s;at-least +2 s;any)])
@@ -38,7 +38,7 @@
                   (@> [(i.+ @ @)])))}
   (wrap (list (fold (function [next prev]
                       (` (with-expansions
-                           [(~ (ast;symbol ["" name])) (~ prev)]
+                           [(~ (code;symbol ["" name])) (~ prev)]
                            (~ next))))
                     prev
                     body))))
diff --git a/stdlib/source/lux/data/coll/list.lux b/stdlib/source/lux/data/coll/list.lux
index fdef97988..958ef16df 100644
--- a/stdlib/source/lux/data/coll/list.lux
+++ b/stdlib/source/lux/data/coll/list.lux
@@ -333,7 +333,7 @@
 
 ## [Syntax]
 (def: (symbol$ name)
-  (-> Text AST)
+  (-> Text Code)
   [["" +0 +0] (#;Symbol "" name)])
 
 (macro: #export (zip tokens state)
@@ -346,9 +346,9 @@
     (if (n.> +0 num-lists)
       (let [(^open) Functor<List>
             indices (n.range +0 (n.dec num-lists))
-            type-vars (: (List AST) (map (. symbol$ Nat/encode) indices))
+            type-vars (: (List Code) (map (. symbol$ Nat/encode) indices))
             zip-type (` (All [(~@ type-vars)]
-                          (-> (~@ (map (: (-> AST AST) (function [var] (` (List (~ var)))))
+                          (-> (~@ (map (: (-> Code Code) (function [var] (` (List (~ var)))))
                                        type-vars))
                               (List [(~@ type-vars)]))))
             vars+lists (|> indices
@@ -392,10 +392,10 @@
             indices (n.range +0 (n.dec num-lists))
             g!return-type (symbol$ "\treturn-type\t")
             g!func (symbol$ "\tfunc\t")
-            type-vars (: (List AST) (map (. symbol$ Nat/encode) indices))
+            type-vars (: (List Code) (map (. symbol$ Nat/encode) indices))
             zip-type (` (All [(~@ type-vars) (~ g!return-type)]
                           (-> (-> (~@ type-vars) (~ g!return-type))
-                              (~@ (map (: (-> AST AST) (function [var] (` (List (~ var)))))
+                              (~@ (map (: (-> Code Code) (function [var] (` (List (~ var)))))
                                        type-vars))
                               (List (~ g!return-type)))))
             vars+lists (|> indices
diff --git a/stdlib/source/lux/data/coll/ordered.lux b/stdlib/source/lux/data/coll/ordered.lux
index c6fd5937f..47bf7cd65 100644
--- a/stdlib/source/lux/data/coll/ordered.lux
+++ b/stdlib/source/lux/data/coll/ordered.lux
@@ -7,7 +7,7 @@
              ["p" product]
              ["M" maybe #+ Functor<Maybe>])
        [macro]
-       (macro [ast]
+       (macro [code]
               ["s" syntax #+ syntax: Syntax])))
 
 (def: error-message Text "Invariant violation")
diff --git a/stdlib/source/lux/data/coll/seq.lux b/stdlib/source/lux/data/coll/seq.lux
index e72b9436d..1b55e3c41 100644
--- a/stdlib/source/lux/data/coll/seq.lux
+++ b/stdlib/source/lux/data/coll/seq.lux
@@ -10,7 +10,7 @@
              [number]
              maybe)
        [macro]
-       (macro [ast]
+       (macro [code]
               ["s" syntax #+ syntax: Syntax])))
 
 (type: #export (Seq a)
diff --git a/stdlib/source/lux/data/coll/tree/rose.lux b/stdlib/source/lux/data/coll/tree/rose.lux
index 1f377fb70..979faa828 100644
--- a/stdlib/source/lux/data/coll/tree/rose.lux
+++ b/stdlib/source/lux/data/coll/tree/rose.lux
@@ -5,7 +5,7 @@
                 eq)
        (data (coll [list "L/" Monad<List>]))
        [macro]
-       (macro [ast]
+       (macro [code]
               ["s" syntax #+ syntax: Syntax])))
 
 ## [Types]
@@ -30,11 +30,11 @@
    #children children})
 
 ## [Syntax]
-(type: #rec Tree-AST
-  [AST (List Tree-AST)])
+(type: #rec Tree-Code
+  [Code (List Tree-Code)])
 
 (def: tree^
-  (Syntax Tree-AST)
+  (Syntax Tree-Code)
   (|> (|>. s;some s;record (s;seq s;any))
       s;rec
       s;some
diff --git a/stdlib/source/lux/data/coll/tree/zipper.lux b/stdlib/source/lux/data/coll/tree/zipper.lux
index fd198a815..b217a0677 100644
--- a/stdlib/source/lux/data/coll/tree/zipper.lux
+++ b/stdlib/source/lux/data/coll/tree/zipper.lux
@@ -7,7 +7,7 @@
                    [stack #+ Stack])
              [maybe "M/" Monad<Maybe>])
        [macro]
-       (macro [ast]
+       (macro [code]
               ["s" syntax #+ syntax: Syntax])))
 
 ## Adapted from the clojure.zip namespace in the Clojure standard library.
diff --git a/stdlib/source/lux/data/coll/vector.lux b/stdlib/source/lux/data/coll/vector.lux
index 9d7bcba2c..5c17d53eb 100644
--- a/stdlib/source/lux/data/coll/vector.lux
+++ b/stdlib/source/lux/data/coll/vector.lux
@@ -13,7 +13,7 @@
              [number "Int/" Number<Int>]
              [product])
        [macro #+ with-gensyms]
-       (macro [ast]
+       (macro [code]
               ["s" syntax #+ syntax: Syntax])
        ))
 
diff --git a/stdlib/source/lux/data/format/json.lux b/stdlib/source/lux/data/format/json.lux
index 535de1b53..863c8cd3e 100644
--- a/stdlib/source/lux/data/format/json.lux
+++ b/stdlib/source/lux/data/format/json.lux
@@ -22,7 +22,7 @@
                    [dict #+ Dict]))
        [macro #+ Monad<Lux> with-gensyms]
        (macro [syntax #+ syntax:]
-              [ast]
+              [code]
               [poly #+ poly:])
        [type]
        ))
@@ -77,10 +77,10 @@
       (^template [<ast-tag> <ctor> <json-tag>]
         [_ (<ast-tag> value)]
         (wrap (list (` (: JSON (<json-tag> (~ (<ctor> value))))))))
-      ([#;Bool ast;bool            #Boolean]
-       [#;Int  (|>. int-to-real ast;real) #Number]
-       [#;Real ast;real            #Number]
-       [#;Text ast;text            #String])
+      ([#;Bool code;bool            #Boolean]
+       [#;Int  (|>. int-to-real code;real) #Number]
+       [#;Real code;real            #Number]
+       [#;Text code;text            #String])
 
       [_ (#;Tag ["" "null"])]
       (wrap (list (` (: JSON #Null))))
@@ -94,7 +94,7 @@
                       (function [[slot value]]
                         (case slot
                           [_ (#;Text key-name)]
-                          (wrap (` [(~ (ast;text key-name)) (~ (wrapper value))]))
+                          (wrap (` [(~ (code;text key-name)) (~ (wrapper value))]))
 
                           _
                           (macro;fail "Wrong syntax for JSON object.")))
@@ -709,8 +709,8 @@
 
 ## [Syntax]
 (type: Shape
-  (#ArrayShape (List AST))
-  (#ObjectShape (List [Text AST])))
+  (#ArrayShape (List Code))
+  (#ObjectShape (List [Text Code])))
 
 (def: _shape^
   (syntax;Syntax Shape)
@@ -729,13 +729,13 @@
           parsers (|> parts
                       (list;zip2 (list;indices array-size))
                       (List/map (function [[idx parser]]
-                                  (` (nth (~ (ast;nat idx)) (~ parser))))))]
+                                  (` (nth (~ (code;nat idx)) (~ parser))))))]
       (wrap (list (` ($_ seq (~@ parsers))))))
 
     (#ObjectShape kvs)
     (let [fields (List/map product;left kvs)
           parsers (List/map (function [[field-name parser]]
-                              (` (field (~ (ast;text field-name)) (~ parser))))
+                              (` (field (~ (code;text field-name)) (~ parser))))
                             kvs)]
       (wrap (list (` ($_ seq (~@ parsers))))))
     ))
@@ -752,16 +752,16 @@
           parsers (|> parts
                       (list;zip2 (list;indices array-size))
                       (List/map (function [[idx parser]]
-                                  (` (nth (~ (ast;nat idx)) (~ parser))))))]
-      (wrap (list (` (ensure (array-size! (~ (ast;nat array-size)))
+                                  (` (nth (~ (code;nat idx)) (~ parser))))))]
+      (wrap (list (` (ensure (array-size! (~ (code;nat array-size)))
                              ($_ seq (~@ parsers)))))))
 
     (#ObjectShape kvs)
     (let [fields (List/map product;left kvs)
           parsers (List/map (function [[field-name parser]]
-                              (` (field (~ (ast;text field-name)) (~ parser))))
+                              (` (field (~ (code;text field-name)) (~ parser))))
                             kvs)]
-      (wrap (list (` (ensure (object-fields! (list (~@ (List/map ast;text fields))))
+      (wrap (list (` (ensure (object-fields! (list (~@ (List/map code;text fields))))
                              ($_ seq (~@ parsers)))))))
     ))
 
@@ -771,13 +771,13 @@
   List/map)
 
 (poly: #hidden (Codec<JSON,?>//encode *env* :x:)
-  (let [->Codec//encode (: (-> AST AST)
+  (let [->Codec//encode (: (-> Code Code)
                            (function [.type.] (` (-> (~ .type.) JSON))))]
     (with-expansions
       [<basic> (do-template [<type> <matcher> <encoder>]
                  [(do @ [_ (<matcher> :x:)] (wrap (` (: (~ (->Codec//encode (` <type>))) <encoder>))))]
 
-                 [Unit poly;unit (function [(~ (ast;symbol ["" "0"]))] #Null)]
+                 [Unit poly;unit (function [(~ (code;symbol ["" "0"]))] #Null)]
                  [Bool poly;bool ;;gen-boolean]
                  [Int  poly;int  (|>. ;int-to-real ;;gen-number)]
                  [Real poly;real ;;gen-number]
@@ -839,10 +839,10 @@
                pattern-matching (mapM @
                                       (function [[name :case:]]
                                         (do @
-                                          [#let [tag (ast;tag name)]
+                                          [#let [tag (code;tag name)]
                                            encoder (Codec<JSON,?>//encode new-*env* :case:)]
                                           (wrap (list (` ((~ tag) (~ g!case)))
-                                                      (` (;;json [(~ (ast;text (product;right name)))
+                                                      (` (;;json [(~ (code;text (product;right name)))
                                                                   ((~ encoder) (~ g!case))]))))))
                                       members)
                #let [:x:+ (case g!vars
@@ -868,8 +868,8 @@
                                (function [[name :slot:]]
                                  (do @
                                    [encoder (Codec<JSON,?>//encode new-*env* :slot:)]
-                                   (wrap [(` (~ (ast;text (product;right name))))
-                                          (` ((~ encoder) (get@ (~ (ast;tag name)) (~ g!input))))])))
+                                   (wrap [(` (~ (code;text (product;right name))))
+                                          (` ((~ encoder) (get@ (~ (code;tag name)) (~ g!input))))])))
                                members)
                #let [:x:+ (case g!vars
                             #;Nil
@@ -881,7 +881,7 @@
                                      (~ (->Codec//encode (` ((~ (type;to-ast :x:)) (~@ g!vars)))))))))]]
               (wrap (` (: (~ :x:+)
                           (function [(~@ g!vars) (~ g!input)]
-                            (;;json (~ (ast;record synthesis))))
+                            (;;json (~ (code;record synthesis))))
                           )))))
           (with-gensyms [g!type-fun g!case]
             (do @
@@ -923,7 +923,7 @@
           ))))
 
 (poly: #hidden (Codec<JSON,?>//decode *env* :x:)
-  (let [->Codec//decode (: (-> AST AST)
+  (let [->Codec//decode (: (-> Code Code)
                            (function [.type.] (` (-> JSON (Error (~ .type.))))))]
     (with-expansions
       [<basic> (do-template [<type> <matcher> <decoder>]
@@ -992,10 +992,10 @@
                pattern-matching (mapM @
                                       (function [[name :case:]]
                                         (do @
-                                          [#let [tag (ast;tag name)]
+                                          [#let [tag (code;tag name)]
                                            decoder (Codec<JSON,?>//decode new-*env* :case:)]
                                           (wrap (list (` (do Monad<Parser>
-                                                           [(~ g!_) (;;nth +0 (;;text! (~ (ast;text (product;right name)))))
+                                                           [(~ g!_) (;;nth +0 (;;text! (~ (code;text (product;right name)))))
                                                             (~ g!_) (;;nth +1 (~ decoder))]
                                                            ((~ (' wrap)) ((~ tag) (~ g!_)))))))))
                                       members)
@@ -1026,10 +1026,10 @@
                extraction (mapM @
                                 (function [[name :slot:]]
                                   (do @
-                                    [#let [g!member (ast;symbol ["" (product;right name)])]
+                                    [#let [g!member (code;symbol ["" (product;right name)])]
                                      decoder (Codec<JSON,?>//decode new-*env* :slot:)]
                                     (wrap (list g!member
-                                                (` (;;get (~ (ast;text (product;right name))) (~ g!input)))
+                                                (` (;;get (~ (code;text (product;right name))) (~ g!input)))
                                                 g!member
                                                 (` ((~ decoder) (~ g!member)))))))
                                 members)
@@ -1045,8 +1045,8 @@
                           (function [(~@ g!vars) (~ g!input)]
                             (do Monad<Error>
                               [(~@ (List/join extraction))]
-                              ((~ (' wrap)) (~ (ast;record (List/map (function [[name :slot:]]
-                                                                       [(ast;tag name) (ast;symbol ["" (product;right name)])])
+                              ((~ (' wrap)) (~ (code;record (List/map (function [[name :slot:]]
+                                                                       [(code;tag name) (code;symbol ["" (product;right name)])])
                                                                      members))))))
                           )))))
           (with-gensyms [g!type-fun g!case g!input]
diff --git a/stdlib/source/lux/data/number/complex.lux b/stdlib/source/lux/data/number/complex.lux
index 8b7b21400..5f002e9df 100644
--- a/stdlib/source/lux/data/number/complex.lux
+++ b/stdlib/source/lux/data/number/complex.lux
@@ -12,7 +12,7 @@
              maybe
              (coll [list "List/" Monad<List>]))
        [macro]
-       (macro [ast]
+       (macro [code]
               ["s" syntax #+ syntax: Syntax])))
 
 ## Based on org.apache.commons.math4.complex.Complex
diff --git a/stdlib/source/lux/data/number/ratio.lux b/stdlib/source/lux/data/number/ratio.lux
index 40b909c80..b5cc0e4b2 100644
--- a/stdlib/source/lux/data/number/ratio.lux
+++ b/stdlib/source/lux/data/number/ratio.lux
@@ -12,7 +12,7 @@
              error
              [product])
        [macro]
-       (macro [ast]
+       (macro [code]
               ["s" syntax #+ syntax: Syntax])))
 
 (type: #export Ratio
diff --git a/stdlib/source/lux/data/text/format.lux b/stdlib/source/lux/data/text/format.lux
index 9a1c56188..5e62382f0 100644
--- a/stdlib/source/lux/data/text/format.lux
+++ b/stdlib/source/lux/data/text/format.lux
@@ -9,7 +9,7 @@
              (coll [list "" Monad<List>]))
        [type]
        [macro]
-       (macro [ast]
+       (macro [code]
               ["s" syntax #+ syntax: Syntax])))
 
 ## [Syntax]
@@ -35,16 +35,16 @@
   [%b     Bool  (:: bool;Codec<Text,Bool> encode)]
   [%n     Nat   (:: number;Codec<Text,Nat> encode)]
   [%i     Int   (:: number;Codec<Text,Int> encode)]
-  [%d     Deg  (:: number;Codec<Text,Deg> encode)]
+  [%d     Deg   (:: number;Codec<Text,Deg> encode)]
   [%r     Real  (:: number;Codec<Text,Real> encode)]
   [%c     Char  (:: char;Codec<Text,Char> encode)]
   [%t     Text  (:: text;Codec<Text,Text> encode)]
   [%ident Ident (:: ident;Codec<Text,Ident> encode)]
-  [%ast   AST   ast;to-text]
+  [%ast   Code  code;to-text]
   [%type  Type  type;to-text]
-  [%bin     Nat   (:: number;Binary@Codec<Text,Nat> encode)]
-  [%oct     Nat   (:: number;Octal@Codec<Text,Nat> encode)]
-  [%hex     Nat   (:: number;Hex@Codec<Text,Nat> encode)]
+  [%bin   Nat   (:: number;Binary@Codec<Text,Nat> encode)]
+  [%oct   Nat   (:: number;Octal@Codec<Text,Nat> encode)]
+  [%hex   Nat   (:: number;Hex@Codec<Text,Nat> encode)]
   )
 
 (def: #export (%list formatter)
diff --git a/stdlib/source/lux/data/text/regex.lux b/stdlib/source/lux/data/text/regex.lux
index 231dfaddf..34fdc36fa 100644
--- a/stdlib/source/lux/data/text/regex.lux
+++ b/stdlib/source/lux/data/text/regex.lux
@@ -9,7 +9,7 @@
              [product]
              (coll [list "" Fold<List> "List/" Monad<List>]))
        [macro #- run]
-       (macro [ast]
+       (macro [code]
               ["s" syntax #+ syntax:])))
 
 ## [Utils]
@@ -83,39 +83,39 @@
         (&;seq (wrap "") identifier-part^))))
 
 (def: (re-var^ current-module)
-  (-> Text (Lexer AST))
+  (-> Text (Lexer Code))
   (do Monad<Lexer>
     [ident (&;enclosed ["\\@<" ">"] (identifier^ current-module))]
-    (wrap (` (: (Lexer Text) (~ (ast;symbol ident)))))))
+    (wrap (` (: (Lexer Text) (~ (code;symbol ident)))))))
 
 (def: re-char-range^
-  (Lexer AST)
+  (Lexer Code)
   (do Monad<Lexer>
     [from regex-char^
      _ (&;char #"-")
      to regex-char^]
-    (wrap (` (&;char-range (~ (ast;char from)) (~ (ast;char to)))))))
+    (wrap (` (&;char-range (~ (code;char from)) (~ (code;char to)))))))
 
 (def: re-char^
-  (Lexer AST)
+  (Lexer Code)
   (do Monad<Lexer>
     [char escaped-char^]
-    (wrap (` (&;char (~ (ast;char char)))))))
+    (wrap (` (&;char (~ (code;char char)))))))
 
 (def: re-char+^
-  (Lexer AST)
+  (Lexer Code)
   (do Monad<Lexer>
     [base re-char^]
     (wrap (` (->Text (~ base))))))
 
 (def: re-char-options^
-  (Lexer AST)
+  (Lexer Code)
   (do Monad<Lexer>
     [options (&;many' escaped-char^)]
-    (wrap (` (&;one-of (~ (ast;text options)))))))
+    (wrap (` (&;one-of (~ (code;text options)))))))
 
 (def: re-user-class^'
-  (Lexer AST)
+  (Lexer Code)
   (do Monad<Lexer>
     [negate? (&;opt (&;char #"^"))
      parts (&;many ($_ &;either
@@ -126,7 +126,7 @@
             #;None     (` (->Text ($_ &;either (~@ parts))))))))
 
 (def: re-user-class^
-  (Lexer AST)
+  (Lexer Code)
   (do Monad<Lexer>
     [_ (wrap [])
      init re-user-class^'
@@ -163,7 +163,7 @@
             (&;char #"\u0020")))
 
 (def: re-system-class^
-  (Lexer AST)
+  (Lexer Code)
   (do Monad<Lexer>
     []
     ($_ &;either
@@ -192,7 +192,7 @@
         )))
 
 (def: re-class^
-  (Lexer AST)
+  (Lexer Code)
   (&;either re-system-class^
             (&;enclosed ["[" "]"] re-user-class^)))
 
@@ -201,19 +201,19 @@
   (&;codec number;Codec<Text,Int> (&;many' &;digit)))
 
 (def: re-back-reference^
-  (Lexer AST)
+  (Lexer Code)
   (&;either (do Monad<Lexer>
               [_ (&;char #"\\")
                id int^]
-              (wrap (` (&;text (~ (ast;symbol ["" (Int/encode id)]))))))
+              (wrap (` (&;text (~ (code;symbol ["" (Int/encode id)]))))))
             (do Monad<Lexer>
               [_ (&;text "\\k<")
                captured-name identifier-part^
                _ (&;text ">")]
-              (wrap (` (&;text (~ (ast;symbol ["" captured-name]))))))))
+              (wrap (` (&;text (~ (code;symbol ["" captured-name]))))))))
 
 (def: (re-simple^ current-module)
-  (-> Text (Lexer AST))
+  (-> Text (Lexer Code))
   ($_ &;either
       re-class^
       (re-var^ current-module)
@@ -222,7 +222,7 @@
       ))
 
 (def: (re-simple-quantified^ current-module)
-  (-> Text (Lexer AST))
+  (-> Text (Lexer Code))
   (do Monad<Lexer>
     [base (re-simple^ current-module)
      quantifier (&;one-of "?*+")]
@@ -238,33 +238,33 @@
       )))
 
 (def: (re-counted-quantified^ current-module)
-  (-> Text (Lexer AST))
+  (-> Text (Lexer Code))
   (do Monad<Lexer>
     [base (re-simple^ current-module)]
     (&;enclosed ["{" "}"]
                 ($_ &;either
                     (do @
                       [[from to] (&;seq int^ (&;after (&;char #",") int^))]
-                      (wrap (` (join-text^ (&;between (~ (ast;nat (int-to-nat from)))
-                                                      (~ (ast;nat (int-to-nat to)))
+                      (wrap (` (join-text^ (&;between (~ (code;nat (int-to-nat from)))
+                                                      (~ (code;nat (int-to-nat to)))
                                                       (~ base))))))
                     (do @
                       [limit (&;after (&;char #",") int^)]
-                      (wrap (` (join-text^ (&;at-most (~ (ast;nat (int-to-nat limit))) (~ base))))))
+                      (wrap (` (join-text^ (&;at-most (~ (code;nat (int-to-nat limit))) (~ base))))))
                     (do @
                       [limit (&;before (&;char #",") int^)]
-                      (wrap (` (join-text^ (&;at-least (~ (ast;nat (int-to-nat limit))) (~ base))))))
+                      (wrap (` (join-text^ (&;at-least (~ (code;nat (int-to-nat limit))) (~ base))))))
                     (do @
                       [limit int^]
-                      (wrap (` (join-text^ (&;exactly (~ (ast;nat (int-to-nat limit))) (~ base))))))))))
+                      (wrap (` (join-text^ (&;exactly (~ (code;nat (int-to-nat limit))) (~ base))))))))))
 
 (def: (re-quantified^ current-module)
-  (-> Text (Lexer AST))
+  (-> Text (Lexer Code))
   (&;either (re-simple-quantified^ current-module)
             (re-counted-quantified^ current-module)))
 
 (def: (re-complex^ current-module)
-  (-> Text (Lexer AST))
+  (-> Text (Lexer Code))
   ($_ &;either
       (re-quantified^ current-module)
       (re-simple^ current-module)))
@@ -279,17 +279,17 @@
 
 (def: (re-sequential^ capturing? re-scoped^ current-module)
   (-> Bool
-      (-> Text (Lexer [Re-Group AST]))
+      (-> Text (Lexer [Re-Group Code]))
       Text
-      (Lexer [Nat AST]))
+      (Lexer [Nat Code]))
   (do Monad<Lexer>
     [parts (&;many (&;alt (re-complex^ current-module)
                           (re-scoped^ current-module)))
-     #let [g!total (ast;symbol ["" "0total"])
-           g!temp (ast;symbol ["" "0temp"])
-           [_ names steps] (fold (: (-> (Either AST [Re-Group AST])
-                                        [Int (List AST) (List (List AST))]
-                                        [Int (List AST) (List (List AST))])
+     #let [g!total (code;symbol ["" "0total"])
+           g!temp (code;symbol ["" "0temp"])
+           [_ names steps] (fold (: (-> (Either Code [Re-Group Code])
+                                        [Int (List Code) (List (List Code))]
+                                        [Int (List Code) (List (List Code))])
                                     (function [part [idx names steps]]
                                       (case part
                                         (^or (#;Left complex) (#;Right [#Non-Capturing complex]))
@@ -302,10 +302,10 @@
                                         (#;Right [(#Capturing [?name num-captures]) scoped])
                                         (let [[idx! name!] (case ?name
                                                              (#;Some _name)
-                                                             [idx (ast;symbol ["" _name])]
+                                                             [idx (code;symbol ["" _name])]
 
                                                              #;None
-                                                             [(i.inc idx) (ast;symbol ["" (Int/encode idx)])])
+                                                             [(i.inc idx) (code;symbol ["" (Int/encode idx)])])
                                               access (if (n.> +0 num-captures)
                                                        (` (product;left (~ name!)))
                                                        name!)]
@@ -316,8 +316,8 @@
                                                   steps)])
                                         )))
                                  [0
-                                  (: (List AST) (list))
-                                  (: (List (List AST)) (list))]
+                                  (: (List Code) (list))
+                                  (: (List (List Code)) (list))]
                                  parts)]]
     (wrap [(if capturing?
              (list;size names)
@@ -363,16 +363,16 @@
         (#;Left error)))))
 
 (def: (prep-alternative [num-captures alt])
-  (-> [Nat AST] AST)
+  (-> [Nat Code] Code)
   (if (n.> +0 num-captures)
     alt
     (` (unflatten^ (~ alt)))))
 
 (def: (re-alternative^ capturing? re-scoped^ current-module)
   (-> Bool
-      (-> Text (Lexer [Re-Group AST]))
+      (-> Text (Lexer [Re-Group Code]))
       Text
-      (Lexer [Nat AST]))
+      (Lexer [Nat Code]))
   (do Monad<Lexer>
     [#let [sub^ (re-sequential^ capturing? re-scoped^ current-module)]
      head sub^
@@ -386,7 +386,7 @@
              (` ($_ (~ g!op) (~ (prep-alternative head)) (~@ (List/map prep-alternative tail))))]))))
 
 (def: (re-scoped^ current-module)
-  (-> Text (Lexer [Re-Group AST]))
+  (-> Text (Lexer [Re-Group Code]))
   ($_ &;either
       (do Monad<Lexer>
         [_ (&;text "(?:")
@@ -410,7 +410,7 @@
         (wrap [(#Capturing [#;None num-captures]) pattern]))))
 
 (def: (regex^ current-module)
-  (-> Text (Lexer AST))
+  (-> Text (Lexer Code))
   (:: Monad<Lexer> map product;right (re-alternative^ true re-scoped^ current-module)))
 
 ## [Syntax]
@@ -502,7 +502,7 @@
   (do @
     [g!temp (macro;gensym "temp")]
     (wrap (list& (` (^=> (~ g!temp)
-                         [(&;run (~ g!temp) (regex (~ (ast;text pattern))))
+                         [(&;run (~ g!temp) (regex (~ (code;text pattern))))
                           (#;Right (~ (default g!temp
                                         bindings)))]))
                  body
diff --git a/stdlib/source/lux/host.js.lux b/stdlib/source/lux/host.js.lux
index 39e15f780..0da2a2587 100644
--- a/stdlib/source/lux/host.js.lux
+++ b/stdlib/source/lux/host.js.lux
@@ -3,7 +3,7 @@
   (lux (control monad)
        (data (coll [list #* "L/" Fold<List>]))
        [macro #+ with-gensyms]
-       (macro [ast]
+       (macro [code]
               ["s" syntax #+ syntax: Syntax])
        ))
 
@@ -56,7 +56,7 @@
               (ref "document")
               (ref "Math.ceil" (-> Real Real)))}
   (wrap (list (` (:! (~ (default (' ;;Object) type))
-                     (;_lux_proc ["js" "ref"] [(~ (ast;text name))]))))))
+                     (;_lux_proc ["js" "ref"] [(~ (code;text name))]))))))
 
 (do-template [<name> <proc> <doc>]
   [(syntax: #export (<name>)
@@ -80,4 +80,4 @@
     
     (#;Right [object field args ?type])
     (wrap (list (` (:! (~ (default (' ;;Object) ?type))
-                       (;_lux_proc ["js" "object-call"] [(~ object) (~ (ast;text field)) (~@ args)])))))))
+                       (;_lux_proc ["js" "object-call"] [(~ object) (~ (code;text field)) (~@ args)])))))))
diff --git a/stdlib/source/lux/host.jvm.lux b/stdlib/source/lux/host.jvm.lux
index 96853e6f5..c72a683d1 100644
--- a/stdlib/source/lux/host.jvm.lux
+++ b/stdlib/source/lux/host.jvm.lux
@@ -12,7 +12,7 @@
              text/format
              [bool "Bool/" Codec<Text,Bool>])
        [macro #+ with-gensyms Functor<Lux> Monad<Lux>]
-       (macro [ast]
+       (macro [code]
               ["s" syntax #+ syntax: Syntax])
        [type]
        ))
@@ -78,7 +78,7 @@
   ["[C" Char-Array]
   )
 
-(type: Code Text)
+(type: JVM-Code Text)
 
 (type: BoundKind
   #UpperBound
@@ -129,7 +129,7 @@
    #super-class-params (List GenericType)})
 
 (type: AnnotationParam
-  [Text AST])
+  [Text Code])
 
 (type: Annotation
   {#ann-name   Text
@@ -141,7 +141,7 @@
    #member-anns (List Annotation)})
 
 (type: FieldDecl
-  (#ConstantField GenericType AST)
+  (#ConstantField GenericType Code)
   (#VariableField StateModifier GenericType))
 
 (type: MethodDecl
@@ -155,34 +155,34 @@
    #arg-type GenericType})
 
 (type: ConstructorArg
-  [GenericType AST])
+  [GenericType Code])
 
 (type: MethodDef
   (#ConstructorMethod [Bool
                        (List TypeParam)
                        (List ArgDecl)
                        (List ConstructorArg)
-                       AST
+                       Code
                        (List GenericType)])
   (#VirtualMethod [Bool
                    Bool
                    (List TypeParam)
                    (List ArgDecl)
                    GenericType
-                   AST
+                   Code
                    (List GenericType)])
   (#OverridenMethod [Bool
                      ClassDecl
                      (List TypeParam)
                      (List ArgDecl)
                      GenericType
-                     AST
+                     Code
                      (List GenericType)])
   (#StaticMethod [Bool
                   (List TypeParam)
                   (List ArgDecl)
                   GenericType
-                  AST
+                  Code
                   (List GenericType)])
   (#AbstractMethod [(List TypeParam)
                     (List ArgDecl)
@@ -194,8 +194,8 @@
                   (List GenericType)]))
 
 (type: PartialCall
-  {#pc-method AST
-   #pc-args   AST})
+  {#pc-method Code
+   #pc-args   Code})
 
 (type: ImportMethodKind
   #StaticIMK
@@ -246,7 +246,7 @@
     name))
 
 (def: (manual-primitive-to-type class)
-  (-> Text (Maybe AST))
+  (-> Text (Maybe Code))
   (case class
     (^template [<prim> <type>]
       <prim>
@@ -265,7 +265,7 @@
     #;None))
 
 (def: (auto-primitive-to-type class)
-  (-> Text (Maybe AST))
+  (-> Text (Maybe Code))
   (case class
     (^template [<prim> <type>]
       <prim>
@@ -286,8 +286,8 @@
 (def: (generic-class->type' mode type-params in-array? name+params
                             class->type')
   (-> Primitive-Mode (List TypeParam) Bool [Text (List GenericType)]
-      (-> Primitive-Mode (List TypeParam) Bool GenericType AST)
-      AST)
+      (-> Primitive-Mode (List TypeParam) Bool GenericType Code)
+      Code)
   (case [name+params mode in-array?]
     (^=> [[prim #;Nil] #ManualPrM false]
          [(manual-primitive-to-type prim) (#;Some output)])
@@ -299,10 +299,10 @@
     
     [[name params] _ _]
     (let [=params (map (class->type' mode type-params in-array?) params)]
-      (` (host (~ (ast;symbol ["" name])) [(~@ =params)])))))
+      (` (host (~ (code;symbol ["" name])) [(~@ =params)])))))
 
 (def: (class->type' mode type-params in-array? class)
-  (-> Primitive-Mode (List TypeParam) Bool GenericType AST)
+  (-> Primitive-Mode (List TypeParam) Bool GenericType Code)
   (case class
     (#GenericTypeVar name)
     (case (find (function [[pname pbounds]]
@@ -310,7 +310,7 @@
                        (not (list;empty? pbounds))))
                 type-params)
       #;None
-      (ast;symbol ["" name])
+      (code;symbol ["" name])
 
       (#;Some [pname pbounds])
       (class->type' mode type-params in-array? (default (undefined) (list;head pbounds))))
@@ -321,7 +321,7 @@
 
     (#GenericArray param)
     (let [=param (class->type' mode type-params true param)]
-      (` (host (~ (ast;symbol ["" array-type-name])) [(~ =param)])))
+      (` (host (~ (code;symbol ["" array-type-name])) [(~ =param)])))
 
     (^or (#GenericWildcard #;None) (#GenericWildcard (#;Some [#LowerBound _])))
     (' (;Ex [*] *))
@@ -331,25 +331,25 @@
     ))
 
 (def: (class->type mode type-params class)
-  (-> Primitive-Mode (List TypeParam) GenericType AST)
+  (-> Primitive-Mode (List TypeParam) GenericType Code)
   (class->type' mode type-params false class))
 
 (def: (type-param-type$ [name bounds])
-  (-> TypeParam AST)
-  (ast;symbol ["" name]))
+  (-> TypeParam Code)
+  (code;symbol ["" name]))
 
 (def: (class-decl-type$ (^slots [#class-name #class-params]))
-  (-> ClassDecl AST)
-  (let [=params (map (: (-> TypeParam AST)
+  (-> ClassDecl Code)
+  (let [=params (map (: (-> TypeParam Code)
                         (function [[pname pbounds]]
                           (case pbounds
                             #;Nil
-                            (ast;symbol ["" pname])
+                            (code;symbol ["" pname])
 
                             (#;Cons bound1 _)
                             (class->type #ManualPrM class-params bound1))))
                      class-params)]
-    (` (host (~ (ast;symbol ["" class-name])) [(~@ =params)]))))
+    (` (host (~ (code;symbol ["" class-name])) [(~@ =params)]))))
 
 (def: empty-imports
   ClassImports
@@ -530,29 +530,29 @@
     ))
 
 (def: (make-get-const-parser class-name field-name)
-  (-> Text Text (Syntax AST))
+  (-> Text Text (Syntax Code))
   (do s;Monad<Syntax>
     [#let [dotted-name (format "." field-name)]
-     _ (s;this! (ast;symbol ["" dotted-name]))]
-    (wrap (`' (_lux_proc ["jvm" (~ (ast;text (format "getstatic" ":" class-name ":" field-name)))] [])))))
+     _ (s;this! (code;symbol ["" dotted-name]))]
+    (wrap (`' (_lux_proc ["jvm" (~ (code;text (format "getstatic" ":" class-name ":" field-name)))] [])))))
 
 (def: (make-get-var-parser class-name field-name)
-  (-> Text Text (Syntax AST))
+  (-> Text Text (Syntax Code))
   (do s;Monad<Syntax>
     [#let [dotted-name (format "." field-name)]
-     _ (s;this! (ast;symbol ["" dotted-name]))]
-    (wrap (`' (_lux_proc ["jvm" (~ (ast;text (format "getfield" ":" class-name ":" field-name)))] [_jvm_this])))))
+     _ (s;this! (code;symbol ["" dotted-name]))]
+    (wrap (`' (_lux_proc ["jvm" (~ (code;text (format "getfield" ":" class-name ":" field-name)))] [_jvm_this])))))
 
 (def: (make-put-var-parser class-name field-name)
-  (-> Text Text (Syntax AST))
+  (-> Text Text (Syntax Code))
   (do s;Monad<Syntax>
     [#let [dotted-name (format "." field-name)]
-     [_ _ value] (: (Syntax [Unit Unit AST])
-                    (s;form ($_ s;seq (s;this! (' :=)) (s;this! (ast;symbol ["" dotted-name])) s;any)))]
-    (wrap (`' (_lux_proc ["jvm" (~ (ast;text (format "putfield" ":" class-name ":" field-name)))] [_jvm_this (~ value)])))))
+     [_ _ value] (: (Syntax [Unit Unit Code])
+                    (s;form ($_ s;seq (s;this! (' :=)) (s;this! (code;symbol ["" dotted-name])) s;any)))]
+    (wrap (`' (_lux_proc ["jvm" (~ (code;text (format "putfield" ":" class-name ":" field-name)))] [_jvm_this (~ value)])))))
 
 (def: (pre-walk-replace f input)
-  (-> (-> AST AST) AST AST)
+  (-> (-> Code Code) Code Code)
   (case (f input)
     (^template [<tag>]
       [meta (<tag> parts)]
@@ -561,7 +561,7 @@
      [#;Tuple])
     
     [meta (#;Record pairs)]
-    [meta (#;Record (map (: (-> [AST AST] [AST AST])
+    [meta (#;Record (map (: (-> [Code Code] [Code Code])
                             (function [[key val]]
                               [(pre-walk-replace f key) (pre-walk-replace f val)]))
                          pairs))]
@@ -570,7 +570,7 @@
     ast'))
 
 (def: (parser->replacer p ast)
-  (-> (Syntax AST) (-> AST AST))
+  (-> (Syntax Code) (-> Code Code))
   (case (s;run (list ast) p)
     (#;Right [#;Nil ast'])
     ast'
@@ -580,7 +580,7 @@
     ))
 
 (def: (field->parser class-name [[field-name _ _] field])
-  (-> Text [MemberDecl FieldDecl] (Syntax AST))
+  (-> Text [MemberDecl FieldDecl] (Syntax Code))
   (case field
     (#ConstantField _)
     (make-get-const-parser class-name field-name)
@@ -590,33 +590,33 @@
               (make-put-var-parser class-name field-name))))
 
 (def: (make-constructor-parser params class-name arg-decls)
-  (-> (List TypeParam) Text (List ArgDecl) (Syntax AST))
+  (-> (List TypeParam) Text (List ArgDecl) (Syntax Code))
   (do s;Monad<Syntax>
-    [[_ args] (: (Syntax [Unit (List AST)])
+    [[_ args] (: (Syntax [Unit (List Code)])
                  (s;form ($_ s;seq (s;this! (' .new!)) (s;tuple (s;exactly (list;size arg-decls) s;any)))))
      #let [arg-decls' (: (List Text) (map (. (simple-class$ params) product;right) arg-decls))]]
-    (wrap (` (;_lux_proc ["jvm" (~ (ast;text (format "new" ":" class-name ":" (text;join-with "," arg-decls'))))]
+    (wrap (` (;_lux_proc ["jvm" (~ (code;text (format "new" ":" class-name ":" (text;join-with "," arg-decls'))))]
                          [(~@ args)])))))
 
 (def: (make-static-method-parser params class-name method-name arg-decls)
-  (-> (List TypeParam) Text Text (List ArgDecl) (Syntax AST))
+  (-> (List TypeParam) Text Text (List ArgDecl) (Syntax Code))
   (do s;Monad<Syntax>
     [#let [dotted-name (format "." method-name "!")]
-     [_ args] (: (Syntax [Unit (List AST)])
-                 (s;form ($_ s;seq (s;this! (ast;symbol ["" dotted-name])) (s;tuple (s;exactly (list;size arg-decls) s;any)))))
+     [_ args] (: (Syntax [Unit (List Code)])
+                 (s;form ($_ s;seq (s;this! (code;symbol ["" dotted-name])) (s;tuple (s;exactly (list;size arg-decls) s;any)))))
      #let [arg-decls' (: (List Text) (map (. (simple-class$ params) product;right) arg-decls))]]
-    (wrap (`' (;_lux_proc ["jvm" (~ (ast;text (format "invokestatic" ":" class-name ":" method-name ":" (text;join-with "," arg-decls'))))]
+    (wrap (`' (;_lux_proc ["jvm" (~ (code;text (format "invokestatic" ":" class-name ":" method-name ":" (text;join-with "," arg-decls'))))]
                           [(~@ args)])))))
 
 (do-template [<name> <jvm-op>]
   [(def: (<name> params class-name method-name arg-decls)
-     (-> (List TypeParam) Text Text (List ArgDecl) (Syntax AST))
+     (-> (List TypeParam) Text Text (List ArgDecl) (Syntax Code))
      (do s;Monad<Syntax>
        [#let [dotted-name (format "." method-name "!")]
-        [_ args] (: (Syntax [Unit (List AST)])
-                    (s;form ($_ s;seq (s;this! (ast;symbol ["" dotted-name])) (s;tuple (s;exactly (list;size arg-decls) s;any)))))
+        [_ args] (: (Syntax [Unit (List Code)])
+                    (s;form ($_ s;seq (s;this! (code;symbol ["" dotted-name])) (s;tuple (s;exactly (list;size arg-decls) s;any)))))
         #let [arg-decls' (: (List Text) (map (. (simple-class$ params) product;right) arg-decls))]]
-       (wrap (`' (;_lux_proc ["jvm" (~ (ast;text (format <jvm-op> ":" class-name ":" method-name ":" (text;join-with "," arg-decls'))))]
+       (wrap (`' (;_lux_proc ["jvm" (~ (code;text (format <jvm-op> ":" class-name ":" method-name ":" (text;join-with "," arg-decls'))))]
                              [(~' _jvm_this) (~@ args)])))))]
 
   [make-special-method-parser "invokespecial"]
@@ -624,7 +624,7 @@
   )
 
 (def: (method->parser params class-name [[method-name _ _] meth-def])
-  (-> (List TypeParam) Text [MemberDecl MethodDef] (Syntax AST))
+  (-> (List TypeParam) Text [MemberDecl MethodDef] (Syntax Code))
   (case meth-def
     (#ConstructorMethod strict? type-vars args constructor-args return-expr exs)
     (make-constructor-parser params class-name args)
@@ -1072,19 +1072,19 @@
 
 ## Generators
 (def: with-parens
-  (-> Code Code)
+  (-> JVM-Code JVM-Code)
   (text;enclose ["(" ")"]))
 
 (def: with-brackets
-  (-> Code Code)
+  (-> JVM-Code JVM-Code)
   (text;enclose ["[" "]"]))
 
 (def: spaced
-  (-> (List Code) Code)
+  (-> (List JVM-Code) JVM-Code)
   (text;join-with " "))
 
 (def: (privacy-modifier$ pm)
-  (-> PrivacyModifier Code)
+  (-> PrivacyModifier JVM-Code)
   (case pm
     #PublicPM    "public"
     #PrivatePM   "private"
@@ -1092,28 +1092,28 @@
     #DefaultPM   "default"))
 
 (def: (inheritance-modifier$ im)
-  (-> InheritanceModifier Code)
+  (-> InheritanceModifier JVM-Code)
   (case im
     #FinalIM    "final"
     #AbstractIM "abstract"
     #DefaultIM  "default"))
 
 (def: (annotation-param$ [name value])
-  (-> AnnotationParam Code)
-  (format name "=" (ast;to-text value)))
+  (-> AnnotationParam JVM-Code)
+  (format name "=" (code;to-text value)))
 
 (def: (annotation$ [name params])
-  (-> Annotation Code)
+  (-> Annotation JVM-Code)
   (format "(" name " " "{" (text;join-with "\t" (map annotation-param$ params)) "}" ")"))
 
 (def: (bound-kind$ kind)
-  (-> BoundKind Code)
+  (-> BoundKind JVM-Code)
   (case kind
     #UpperBound "<"
     #LowerBound ">"))
 
 (def: (generic-type$ gtype)
-  (-> GenericType Code)
+  (-> GenericType JVM-Code)
   (case gtype
     (#GenericTypeVar name)
     name
@@ -1131,19 +1131,19 @@
     (format (bound-kind$ bound-kind) (generic-type$ bound))))
 
 (def: (type-param$ [name bounds])
-  (-> TypeParam Code)
+  (-> TypeParam JVM-Code)
   (format "(" name " " (spaced (map generic-type$ bounds)) ")"))
 
 (def: (class-decl$ (^open))
-  (-> ClassDecl Code)
+  (-> ClassDecl JVM-Code)
   (format "(" class-name " " (spaced (map type-param$ class-params)) ")"))
 
 (def: (super-class-decl$ (^slots [#super-class-name #super-class-params]))
-  (-> SuperClassDecl Code)
+  (-> SuperClassDecl JVM-Code)
   (format "(" super-class-name " " (spaced (map generic-type$ super-class-params)) ")"))
 
 (def: (method-decl$ [[name pm anns] method-decl])
-  (-> [MemberDecl MethodDecl] Code)
+  (-> [MemberDecl MethodDecl] JVM-Code)
   (let [(^slots [#method-tvars #method-inputs #method-output #method-exs]) method-decl]
     (with-parens
       (spaced (list name
@@ -1155,21 +1155,21 @@
               ))))
 
 (def: (state-modifier$ sm)
-  (-> StateModifier Code)
+  (-> StateModifier JVM-Code)
   (case sm
     #VolatileSM "volatile"
     #FinalSM    "final"
     #DefaultSM  "default"))
 
 (def: (field-decl$ [[name pm anns] field])
-  (-> [MemberDecl FieldDecl] Code)
+  (-> [MemberDecl FieldDecl] JVM-Code)
   (case field
     (#ConstantField class value)
     (with-parens
       (spaced (list "constant" name
                     (with-brackets (spaced (map annotation$ anns)))
                     (generic-type$ class)
-                    (ast;to-text value))
+                    (code;to-text value))
               ))
 
     (#VariableField sm class)
@@ -1183,17 +1183,17 @@
     ))
 
 (def: (arg-decl$ [name type])
-  (-> ArgDecl Code)
+  (-> ArgDecl JVM-Code)
   (with-parens
     (spaced (list name (generic-type$ type)))))
 
 (def: (constructor-arg$ [class term])
-  (-> ConstructorArg Code)
+  (-> ConstructorArg JVM-Code)
   (with-brackets
-    (spaced (list (generic-type$ class) (ast;to-text term)))))
+    (spaced (list (generic-type$ class) (code;to-text term)))))
 
 (def: (method-def$ replacer super-class [[name pm anns] method-def])
-  (-> (-> AST AST) SuperClassDecl [MemberDecl MethodDef] Code)
+  (-> (-> Code Code) SuperClassDecl [MemberDecl MethodDef] JVM-Code)
   (case method-def
     (#ConstructorMethod strict-fp? type-vars arg-decls constructor-args body exs)
     (with-parens
@@ -1205,7 +1205,7 @@
                     (with-brackets (spaced (map generic-type$ exs)))
                     (with-brackets (spaced (map arg-decl$ arg-decls)))
                     (with-brackets (spaced (map constructor-arg$ constructor-args)))
-                    (ast;to-text (pre-walk-replace replacer body))
+                    (code;to-text (pre-walk-replace replacer body))
                     )))
     
     (#VirtualMethod final? strict-fp? type-vars arg-decls return-type body exs)
@@ -1220,7 +1220,7 @@
                     (with-brackets (spaced (map generic-type$ exs)))
                     (with-brackets (spaced (map arg-decl$ arg-decls)))
                     (generic-type$ return-type)
-                    (ast;to-text (pre-walk-replace replacer body)))))
+                    (code;to-text (pre-walk-replace replacer body)))))
     
     (#OverridenMethod strict-fp? class-decl type-vars arg-decls return-type body exs)
     (let [super-replacer (parser->replacer (s;form (do s;Monad<Syntax>
@@ -1228,7 +1228,7 @@
                                                       args (s;tuple (s;exactly (list;size arg-decls) s;any))
                                                       #let [arg-decls' (: (List Text) (map (. (simple-class$ (list)) product;right)
                                                                                            arg-decls))]]
-                                                     (wrap (`' (;_lux_proc ["jvm" (~ (ast;text (format "invokespecial" ":" (get@ #super-class-name super-class) ":" name ":" (text;join-with "," arg-decls'))))]
+                                                     (wrap (`' (;_lux_proc ["jvm" (~ (code;text (format "invokespecial" ":" (get@ #super-class-name super-class) ":" name ":" (text;join-with "," arg-decls'))))]
                                                                            [(~' _jvm_this) (~@ args)]))))))]
       (with-parens
         (spaced (list "override"
@@ -1243,7 +1243,7 @@
                       (|> body
                           (pre-walk-replace replacer)
                           (pre-walk-replace super-replacer)
-                          (ast;to-text))
+                          (code;to-text))
                       ))))
 
     (#StaticMethod strict-fp? type-vars arg-decls return-type body exs)
@@ -1257,7 +1257,7 @@
                     (with-brackets (spaced (map generic-type$ exs)))
                     (with-brackets (spaced (map arg-decl$ arg-decls)))
                     (generic-type$ return-type)
-                    (ast;to-text (pre-walk-replace replacer body)))))
+                    (code;to-text (pre-walk-replace replacer body)))))
 
     (#AbstractMethod type-vars arg-decls return-type exs)
     (with-parens
@@ -1283,7 +1283,7 @@
     ))
 
 (def: (complete-call$ obj [method args])
-  (-> AST PartialCall AST)
+  (-> Code PartialCall Code)
   (` ((~ method) (~ args) (~ obj))))
 
 ## [Syntax]
@@ -1375,7 +1375,7 @@
                                           (with-brackets (spaced (map annotation$ annotations)))
                                           (with-brackets (spaced (map field-decl$ fields)))
                                           (with-brackets (spaced (map (method-def$ replacer super) methods))))))]]
-    (wrap (list (` (;_lux_proc ["jvm" (~ (ast;text def-code))] []))))))
+    (wrap (list (` (;_lux_proc ["jvm" (~ (code;text def-code))] []))))))
 
 (syntax: #export (interface: [#let [imports (class-imports *compiler*)]]
                    [class-decl (class-decl^ imports)]
@@ -1395,7 +1395,7 @@
                                        (with-brackets (spaced (map super-class-decl$ supers)))
                                        (with-brackets (spaced (map annotation$ annotations)))
                                        (spaced (map method-decl$ members)))))]
-    (wrap (list (` (;_lux_proc ["jvm" (~ (ast;text def-code))] []))))
+    (wrap (list (` (;_lux_proc ["jvm" (~ (code;text def-code))] []))))
     ))
 
 (syntax: #export (object [#let [imports (class-imports *compiler*)]]
@@ -1421,7 +1421,7 @@
                                        (with-brackets (spaced (map super-class-decl$ interfaces)))
                                        (with-brackets (spaced (map constructor-arg$ constructor-args)))
                                        (with-brackets (spaced (map (method-def$ id super) methods))))))]
-    (wrap (list (` (;_lux_proc ["jvm" (~ (ast;text def-code))] []))))))
+    (wrap (list (` (;_lux_proc ["jvm" (~ (code;text def-code))] []))))))
 
 (syntax: #export (null)
   {#;doc (doc "Null object reference."
@@ -1486,14 +1486,14 @@
               (instance? String "YOLO"))}
   (case obj
     (#;Some obj)
-    (wrap (list (` (;_lux_proc ["jvm" (~ (ast;text (format "instanceof" ":" (simple-class$ (list) class))))] [(~ obj)]))))
+    (wrap (list (` (;_lux_proc ["jvm" (~ (code;text (format "instanceof" ":" (simple-class$ (list) class))))] [(~ obj)]))))
 
     #;None
     (do @
       [g!obj (macro;gensym "obj")]
       (wrap (list (` (: (-> (host (~' java.lang.Object)) Bool)
                         (function [(~ g!obj)]
-                          (;_lux_proc ["jvm" (~ (ast;text (format "instanceof" ":" (simple-class$ (list) class))))] [(~ g!obj)])))))))
+                          (;_lux_proc ["jvm" (~ (code;text (format "instanceof" ":" (simple-class$ (list) class))))] [(~ g!obj)])))))))
     ))
 
 (syntax: #export (synchronized lock body)
@@ -1530,26 +1530,26 @@
                        (~ g!obj))))))))
 
 (def: (class-import$ long-name? [full-name params])
-  (-> Bool ClassDecl AST)
+  (-> Bool ClassDecl Code)
   (let [def-name (if long-name?
                    full-name
                    (short-class-name full-name))]
     (case params
       #;Nil
-      (` (def: (~ (ast;symbol ["" def-name]))
+      (` (def: (~ (code;symbol ["" def-name]))
            {#;type? true
-            #;;jvm-class (~ (ast;text full-name))}
+            #;;jvm-class (~ (code;text full-name))}
            Type
-           (host (~ (ast;symbol ["" full-name])))))
+           (host (~ (code;symbol ["" full-name])))))
 
       (#;Cons _)
-      (let [params' (map (function [[p _]] (ast;symbol ["" p])) params)]
-        (` (def: (~ (ast;symbol ["" def-name]))
+      (let [params' (map (function [[p _]] (code;symbol ["" p])) params)]
+        (` (def: (~ (code;symbol ["" def-name]))
              {#;type?      true
-              #;;jvm-class (~ (ast;text full-name))}
+              #;;jvm-class (~ (code;text full-name))}
              Type
              (All [(~@ params')]
-               (host (~ (ast;symbol ["" full-name]))
+               (host (~ (code;symbol ["" full-name]))
                      [(~@ params')]))))))))
 
 (def: (member-type-vars class-tvars member)
@@ -1570,13 +1570,13 @@
     class-tvars))
 
 (def: (member-def-arg-bindings type-params class member)
-  (-> (List TypeParam) ClassDecl ImportMemberDecl (Lux [(List AST) (List AST) (List Text) (List AST)]))
+  (-> (List TypeParam) ClassDecl ImportMemberDecl (Lux [(List Code) (List Code) (List Text) (List Code)]))
   (case member
     (^or (#ConstructorDecl [commons _]) (#MethodDecl [commons _]))
     (let [(^slots [#import-member-tvars #import-member-args]) commons]
       (do Monad<Lux>
         [arg-inputs (mapM @
-                          (: (-> [Bool GenericType] (Lux [AST AST]))
+                          (: (-> [Bool GenericType] (Lux [Code Code]))
                              (function [[maybe? _]]
                                (with-gensyms [arg-name]
                                  (wrap [arg-name (if maybe?
@@ -1586,7 +1586,7 @@
          #let [arg-classes (: (List Text)
                               (map (. (simple-class$ (List/append type-params import-member-tvars)) product;right)
                                    import-member-args))
-               arg-types (map (: (-> [Bool GenericType] AST)
+               arg-types (map (: (-> [Bool GenericType] Code)
                                  (function [[maybe? arg]]
                                    (let [arg-type (class->type (get@ #import-member-mode commons) type-params arg)]
                                      (if maybe?
@@ -1601,7 +1601,7 @@
     (:: Monad<Lux> wrap [(list) (list) (list) (list)])))
 
 (def: (member-def-return mode type-params class member)
-  (-> Primitive-Mode (List TypeParam) ClassDecl ImportMemberDecl (Lux AST))
+  (-> Primitive-Mode (List TypeParam) ClassDecl ImportMemberDecl (Lux Code))
   (case member
     (#ConstructorDecl _)
     (:: Monad<Lux> wrap (class-decl-type$ class))
@@ -1613,14 +1613,14 @@
     (macro;fail "Only methods have return values.")))
 
 (def: (decorate-return-maybe member [return-type return-term])
-  (-> ImportMemberDecl [AST AST] [AST AST])
+  (-> ImportMemberDecl [Code Code] [Code Code])
   (case member
     (^or (#ConstructorDecl [commons _]) (#MethodDecl [commons _]))
     (if (get@ #import-member-maybe? commons)
       [(` (Maybe (~ return-type)))
        (` (??? (~ return-term)))]
       [return-type
-       (let [g!temp (ast;symbol ["" "Ω"])]
+       (let [g!temp (code;symbol ["" "Ω"])]
          (` (let [(~ g!temp) (~ return-term)]
               (if (not (null? (:! (host (~' java.lang.Object))
                                   (~ g!temp))))
@@ -1632,7 +1632,7 @@
 
 (do-template [<name> <tag> <type-trans> <term-trans>]
   [(def: (<name> member [return-type return-term])
-     (-> ImportMemberDecl [AST AST] [AST AST])
+     (-> ImportMemberDecl [Code Code] [Code Code])
      (case member
        (^or (#ConstructorDecl [commons _]) (#MethodDecl [commons _]))
        (if (get@ <tag> commons)
@@ -1653,11 +1653,11 @@
     _     false))
 
 (def: (type-param->type-arg [name _])
-  (-> TypeParam AST)
-  (ast;symbol ["" name]))
+  (-> TypeParam Code)
+  (code;symbol ["" name]))
 
 (def: (with-mode-output mode output-type body)
-  (-> Primitive-Mode GenericType AST AST)
+  (-> Primitive-Mode GenericType Code Code)
   (case mode
     #ManualPrM
     body
@@ -1689,7 +1689,7 @@
     false))
 
 (def: (auto-conv [class var])
-  (-> [Text AST] (List AST))
+  (-> [Text Code] (List Code))
   (case class
     "byte"  (list var (` (l2b (~ var))))
     "short" (list var (` (l2s (~ var))))
@@ -1698,7 +1698,7 @@
     _       (list)))
 
 (def: (with-mode-inputs mode inputs body)
-  (-> Primitive-Mode (List [Text AST]) AST AST)
+  (-> Primitive-Mode (List [Text Code]) Code Code)
   (case mode
     #ManualPrM
     body
@@ -1710,7 +1710,7 @@
          (~ body)))))
 
 (def: (with-mode-field-get mode class output)
-  (-> Primitive-Mode GenericType AST AST)
+  (-> Primitive-Mode GenericType Code Code)
   (case mode
     #ManualPrM
     output
@@ -1724,7 +1724,7 @@
       _       output)))
 
 (def: (with-mode-field-set mode class input)
-  (-> Primitive-Mode GenericType AST AST)
+  (-> Primitive-Mode GenericType Code Code)
   (case mode
     #ManualPrM
     input
@@ -1738,7 +1738,7 @@
       _       input)))
 
 (def: (member-def-interop type-params kind class [arg-function-inputs arg-method-inputs arg-classes arg-types] member method-prefix)
-  (-> (List TypeParam) ClassKind ClassDecl [(List AST) (List AST) (List Text) (List AST)] ImportMemberDecl Text (Lux (List AST)))
+  (-> (List TypeParam) ClassKind ClassDecl [(List Code) (List Code) (List Text) (List Code)] ImportMemberDecl Text (Lux (List Code)))
   (let [[full-name class-tvars] class
         all-params (|> (member-type-vars class-tvars member)
                        (filter free-type-param?)
@@ -1746,30 +1746,30 @@
     (case member
       (#EnumDecl enum-members)
       (do Monad<Lux>
-        [#let [enum-type (: AST
+        [#let [enum-type (: Code
                             (case class-tvars
                               #;Nil
-                              (` (host (~ (ast;symbol ["" full-name]))))
+                              (` (host (~ (code;symbol ["" full-name]))))
 
                               _
                               (let [=class-tvars (|> class-tvars
                                                      (filter free-type-param?)
                                                      (map type-param->type-arg))]
-                                (` (All [(~@ =class-tvars)] (host (~ (ast;symbol ["" full-name])) [(~@ =class-tvars)]))))))
-               getter-interop (: (-> Text AST)
+                                (` (All [(~@ =class-tvars)] (host (~ (code;symbol ["" full-name])) [(~@ =class-tvars)]))))))
+               getter-interop (: (-> Text Code)
                                  (function [name]
-                                   (let [getter-name (ast;symbol ["" (format method-prefix member-separator name)])]
+                                   (let [getter-name (code;symbol ["" (format method-prefix member-separator name)])]
                                      (` (def: (~ getter-name)
                                           (~ enum-type)
-                                          (;_lux_proc ["jvm" (~ (ast;text (format "getstatic" ":" full-name ":" name)))] []))))))]]
+                                          (;_lux_proc ["jvm" (~ (code;text (format "getstatic" ":" full-name ":" name)))] []))))))]]
         (wrap (map getter-interop enum-members)))
       
       (#ConstructorDecl [commons _])
       (do Monad<Lux>
         [return-type (member-def-return (get@ #import-member-mode commons) type-params class member)
-         #let [def-name (ast;symbol ["" (format method-prefix member-separator (get@ #import-member-alias commons))])
-               def-params (list (ast;tuple arg-function-inputs))
-               jvm-interop (|> (` (;_lux_proc ["jvm" (~ (ast;text (format "new" ":" full-name ":" (text;join-with "," arg-classes))))]
+         #let [def-name (code;symbol ["" (format method-prefix member-separator (get@ #import-member-alias commons))])
+               def-params (list (code;tuple arg-function-inputs))
+               jvm-interop (|> (` (;_lux_proc ["jvm" (~ (code;text (format "new" ":" full-name ":" (text;join-with "," arg-classes))))]
                                               [(~@ arg-method-inputs)]))
                                (with-mode-inputs (get@ #import-member-mode commons)
                                  (list;zip2 arg-classes arg-function-inputs)))
@@ -1785,10 +1785,10 @@
       (with-gensyms [g!obj]
         (do @
           [return-type (member-def-return (get@ #import-member-mode commons) type-params class member)
-           #let [def-name (ast;symbol ["" (format method-prefix member-separator (get@ #import-member-alias commons))])
+           #let [def-name (code;symbol ["" (format method-prefix member-separator (get@ #import-member-alias commons))])
                  (^slots [#import-member-kind]) commons
                  (^slots [#import-method-name]) method
-                 [jvm-op obj-ast class-ast] (: [Text (List AST) (List AST)]
+                 [jvm-op obj-ast class-ast] (: [Text (List Code) (List Code)]
                                                (case import-member-kind
                                                  #StaticIMK
                                                  ["invokestatic"
@@ -1807,10 +1807,10 @@
                                                     (list g!obj)
                                                     (list (class-decl-type$ class))]
                                                    )))
-                 def-params (#;Cons (ast;tuple arg-function-inputs) obj-ast)
+                 def-params (#;Cons (code;tuple arg-function-inputs) obj-ast)
                  def-param-types (#;Cons (` [(~@ arg-types)]) class-ast)
-                 jvm-interop (|> (` (;_lux_proc ["jvm" (~ (ast;text (format jvm-op ":" full-name ":" import-method-name
-                                                                            ":" (text;join-with "," arg-classes))))]
+                 jvm-interop (|> (` (;_lux_proc ["jvm" (~ (code;text (format jvm-op ":" full-name ":" import-method-name
+                                                                             ":" (text;join-with "," arg-classes))))]
                                                 [(~@ obj-ast) (~@ arg-method-inputs)]))
                                  (with-mode-output (get@ #import-member-mode commons)
                                    (get@ #import-method-return method))
@@ -1832,12 +1832,12 @@
                g!type (if import-field-maybe?
                         (` (Maybe (~ base-gtype)))
                         base-gtype)
-               tvar-asts (: (List AST)
+               tvar-asts (: (List Code)
                             (|> class-tvars
                                 (filter free-type-param?)
                                 (map type-param->type-arg)))
-               getter-name (ast;symbol ["" (format method-prefix member-separator import-field-name)])
-               setter-name (ast;symbol ["" (format method-prefix member-separator import-field-name "!")])]
+               getter-name (code;symbol ["" (format method-prefix member-separator import-field-name)])
+               setter-name (code;symbol ["" (format method-prefix member-separator import-field-name "!")])]
          getter-interop (with-gensyms [g!obj]
                           (let [getter-call (if import-field-static?
                                               getter-name
@@ -1851,9 +1851,9 @@
                                 getter-type (` (All [(~@ tvar-asts)] (~ getter-type)))
                                 getter-body (if import-field-static?
                                               (with-mode-field-get import-field-mode import-field-type
-                                                (` (;_lux_proc ["jvm" (~ (ast;text (format "getstatic" ":" full-name ":" import-field-name)))] [])))
+                                                (` (;_lux_proc ["jvm" (~ (code;text (format "getstatic" ":" full-name ":" import-field-name)))] [])))
                                               (with-mode-field-get import-field-mode import-field-type
-                                                (` (;_lux_proc ["jvm" (~ (ast;text (format "getfield" ":" full-name ":" import-field-name)))] [(~ g!obj)]))))
+                                                (` (;_lux_proc ["jvm" (~ (code;text (format "getfield" ":" full-name ":" import-field-name)))] [(~ g!obj)]))))
                                 getter-body (if import-field-maybe?
                                               (` (??? (~ getter-body)))
                                               getter-body)
@@ -1877,17 +1877,17 @@
                                                  setter-value)
                                   setter-command (format (if import-field-static? "putstatic" "putfield")
                                                          ":" full-name ":" import-field-name)]
-                              (wrap (: (List AST)
+                              (wrap (: (List Code)
                                        (list (` (def: (~ setter-call)
                                                   (~ setter-type)
-                                                  (io (;_lux_proc ["jvm" (~ (ast;text setter-command))]
+                                                  (io (;_lux_proc ["jvm" (~ (code;text setter-command))]
                                                                   [(~ setter-value)])))))))))
                           (wrap (list)))]
         (wrap (list& getter-interop setter-interop)))
       )))
 
 (def: (member-import$ type-params long-name? kind class member)
-  (-> (List TypeParam) Bool ClassKind ClassDecl ImportMemberDecl (Lux (List AST)))
+  (-> (List TypeParam) Bool ClassKind ClassDecl ImportMemberDecl (Lux (List Code)))
   (let [[full-name _] class
         method-prefix (if long-name?
                         full-name
@@ -1992,7 +1992,7 @@
      ["char"    "cnewarray"])
 
     _
-    (wrap (list (` (;_lux_proc ["jvm" "anewarray"] [(~ (ast;text (generic-type$ type))) (~ size)]))))))
+    (wrap (list (` (;_lux_proc ["jvm" "anewarray"] [(~ (code;text (generic-type$ type))) (~ size)]))))))
 
 (syntax: #export (array-length array)
   {#;doc (doc "Gives the length of an array."
@@ -2082,7 +2082,7 @@
                        (;;array-store (~ g!array) (~ idx) (~ value)))))))))
 
 (def: simple-bindings^
-  (Syntax (List [Text AST]))
+  (Syntax (List [Text Code]))
   (s;tuple (s;some (s;seq s;local-symbol s;any))))
 
 (syntax: #export (with-open [bindings simple-bindings^] body)
@@ -2096,11 +2096,11 @@
                   (do-one-last-thing foo bar))))}
   (with-gensyms [g!output g!_]
     (let [inits (List/join (List/map (function [[res-name res-ctor]]
-                                       (list (ast;symbol ["" res-name]) res-ctor))
+                                       (list (code;symbol ["" res-name]) res-ctor))
                                      bindings))
           closes (List/map (function [res]
                              (` (try (;_lux_proc ["jvm" "invokevirtual:java.io.Closeable:close:"]
-                                                 [(~ (ast;symbol ["" (product;left res)]))]))))
+                                                 [(~ (code;symbol ["" (product;left res)]))]))))
                            bindings)]
       (wrap (list (` (do Monad<IO>
                        [(~@ inits)
@@ -2112,7 +2112,7 @@
                             [type (generic-type^ imports (list))])
   {#;doc (doc "Loads the class as a java.lang.Class object."
               (class-for java.lang.String))}
-  (wrap (list (` (;_lux_proc ["jvm" "load-class"] [(~ (ast;text (simple-class$ (list) type)))])))))
+  (wrap (list (` (;_lux_proc ["jvm" "load-class"] [(~ (code;text (simple-class$ (list) type)))])))))
 
 (def: get-compiler
   (Lux Compiler)
diff --git a/stdlib/source/lux/io.lux b/stdlib/source/lux/io.lux
index 00f16afce..d15c75729 100644
--- a/stdlib/source/lux/io.lux
+++ b/stdlib/source/lux/io.lux
@@ -19,7 +19,7 @@
                     "Some value...")))}
   (case tokens
     (^ (list value))
-    (let [blank (: AST [["" +0 +0] (#;Symbol ["" ""])])]
+    (let [blank (: Code [["" +0 +0] (#;Symbol ["" ""])])]
       (#;Right [state (list (` (;_lux_function (~ blank) (~ blank) (~ value))))]))
 
     _
diff --git a/stdlib/source/lux/macro.lux b/stdlib/source/lux/macro.lux
index 5ac4a524e..5ff8b5073 100644
--- a/stdlib/source/lux/macro.lux
+++ b/stdlib/source/lux/macro.lux
@@ -1,6 +1,6 @@
 (;module: {#;doc "Functions for extracting information from the state of the compiler."}
   lux
-  (lux (macro [ast])
+  (lux (macro [code])
        (control functor
                 applicative
                 monad)
@@ -276,7 +276,7 @@
   {#;doc "Given code that requires applying a macro, does it once and returns the result.
 
           Otherwise, returns the code as-is."}
-  (-> AST (Lux (List AST)))
+  (-> Code (Lux (List Code)))
   (case syntax
     [_ (#;Form (#;Cons [[_ (#;Symbol macro-name)] args]))]
     (do Monad<Lux>
@@ -296,7 +296,7 @@
   {#;doc "Given code that requires applying a macro, expands repeatedly until no more direct macro-calls are left.
 
           Otherwise, returns the code as-is."}
-  (-> AST (Lux (List AST)))
+  (-> Code (Lux (List Code)))
   (case syntax
     [_ (#;Form (#;Cons [[_ (#;Symbol macro-name)] args]))]
     (do Monad<Lux>
@@ -317,7 +317,7 @@
 
 (def: #export (macro-expand-all syntax)
   {#;doc "Expands all macro-calls everywhere recursively, until only primitive/base code remains."}
-  (-> AST (Lux (List AST)))
+  (-> Code (Lux (List Code)))
   (case syntax
     [_ (#;Form (#;Cons [[_ (#;Symbol macro-name)] args]))]
     (do Monad<Lux>
@@ -332,40 +332,40 @@
         
         #;None
         (do Monad<Lux>
-          [parts' (mapM Monad<Lux> macro-expand-all (list& (ast;symbol macro-name) args))]
-          (wrap (list (ast;form (:: Monad<List> join parts')))))))
+          [parts' (mapM Monad<Lux> macro-expand-all (list& (code;symbol macro-name) args))]
+          (wrap (list (code;form (:: Monad<List> join parts')))))))
 
     [_ (#;Form (#;Cons [harg targs]))]
     (do Monad<Lux>
       [harg+ (macro-expand-all harg)
        targs+ (mapM Monad<Lux> macro-expand-all targs)]
-      (wrap (list (ast;form (List/append harg+ (:: Monad<List> join (: (List (List AST)) targs+)))))))
+      (wrap (list (code;form (List/append harg+ (:: Monad<List> join (: (List (List Code)) targs+)))))))
 
     [_ (#;Tuple members)]
     (do Monad<Lux>
       [members' (mapM Monad<Lux> macro-expand-all members)]
-      (wrap (list (ast;tuple (:: Monad<List> join members')))))
+      (wrap (list (code;tuple (:: Monad<List> join members')))))
 
     _
     (:: Monad<Lux> wrap (list syntax))))
 
 (def: #export (gensym prefix)
-  {#;doc "Generates a unique identifier as an AST node (ready to be used in code templates).
+  {#;doc "Generates a unique identifier as an Code node (ready to be used in code templates).
 
           A prefix can be given (or just be empty text \"\") to better identify the code for debugging purposes."}
-  (-> Text (Lux AST))
+  (-> Text (Lux Code))
   (function [state]
     (#;Right [(update@ #;seed n.inc state)
-              (ast;symbol ["" ($_ Text/append "__gensym__" prefix (:: number;Codec<Text,Nat> encode (get@ #;seed state)))])])))
+              (code;symbol ["" ($_ Text/append "__gensym__" prefix (:: number;Codec<Text,Nat> encode (get@ #;seed state)))])])))
 
 (def: (get-local-symbol ast)
-  (-> AST (Lux Text))
+  (-> Code (Lux Text))
   (case ast
     [_ (#;Symbol [_ name])]
     (:: Monad<Lux> wrap name)
 
     _
-    (fail (Text/append "AST is not a local symbol: " (ast;to-text ast)))))
+    (fail (Text/append "Code is not a local symbol: " (code;to-text ast)))))
 
 (macro: #export (with-gensyms tokens)
   {#;doc (doc "Creates new symbols and offers them to the body expression."
@@ -381,8 +381,8 @@
     (^ (list [_ (#;Tuple symbols)] body))
     (do Monad<Lux>
       [symbol-names (mapM @ get-local-symbol symbols)
-       #let [symbol-defs (List/join (List/map (: (-> Text (List AST))
-                                                 (function [name] (list (ast;symbol ["" name]) (` (gensym (~ (ast;text name)))))))
+       #let [symbol-defs (List/join (List/map (: (-> Text (List Code))
+                                                 (function [name] (list (code;symbol ["" name]) (` (gensym (~ (code;text name)))))))
                                               symbol-names))]]
       (wrap (list (` (do Monad<Lux>
                        [(~@ symbol-defs)]
@@ -392,8 +392,8 @@
     (fail "Wrong syntax for with-gensyms")))
 
 (def: #export (macro-expand-1 token)
-  {#;doc "Works just like macro-expand, except that it ensures that the output is a single AST token."}
-  (-> AST (Lux AST))
+  {#;doc "Works just like macro-expand, except that it ensures that the output is a single Code token."}
+  (-> Code (Lux Code))
   (do Monad<Lux>
     [token+ (macro-expand token)]
     (case token+
@@ -620,8 +620,8 @@
 
 (do-template [<macro> <func> <desc>]
   [(macro: #export (<macro> tokens)
-     {#;doc (doc "Performs a macro-expansion and logs the resulting ASTs."
-                 "You can either use the resulting ASTs, or omit them."
+     {#;doc (doc "Performs a macro-expansion and logs the resulting code."
+                 "You can either use the resulting code, or omit them."
                  "By omitting them, this macro produces nothing (just like the lux;comment macro)."
                  (<macro> #omit
                           (def: (foo bar baz)
@@ -632,14 +632,14 @@
                 token))
        (do Monad<Lux>
          [output (<func> token)
-          #let [_ (List/map (. log! ast;to-text)
+          #let [_ (List/map (. log! code;to-text)
                             output)]]
          (wrap (list)))
 
        (^ (list token))
        (do Monad<Lux>
          [output (<func> token)
-          #let [_ (List/map (. log! ast;to-text)
+          #let [_ (List/map (. log! code;to-text)
                             output)]]
          (wrap output))
 
diff --git a/stdlib/source/lux/macro/ast.lux b/stdlib/source/lux/macro/code.lux
index ac65155e4..6d2dd4604 100644
--- a/stdlib/source/lux/macro/ast.lux
+++ b/stdlib/source/lux/macro/code.lux
@@ -10,7 +10,7 @@
              )))
 
 ## [Types]
-## (type: (AST' w)
+## (type: (Code' w)
 ##   (#;Bool Bool)
 ##   (#;Nat Nat)
 ##   (#;Int Int)
@@ -19,12 +19,12 @@
 ##   (#;Text Text)
 ##   (#;Symbol Text Text)
 ##   (#;Tag Text Text)
-##   (#;Form (List (w (AST' w))))
-##   (#;Tuple (List (w (AST' w))))
-##   (#;Record (List [(w (AST' w)) (w (AST' w))])))
+##   (#;Form (List (w (Code' w))))
+##   (#;Tuple (List (w (Code' w))))
+##   (#;Record (List [(w (Code' w)) (w (Code' w))])))
 
-## (type: AST
-##   (Meta Cursor (AST' (Meta Cursor))))
+## (type: Code
+##   (Meta Cursor (Code' (Meta Cursor))))
 
 ## [Utils]
 (def: _cursor Cursor ["" +0 +0])
@@ -32,34 +32,34 @@
 ## [Functions]
 (do-template [<name> <type> <tag>]
   [(def: #export (<name> x)
-     (-> <type> AST)
+     (-> <type> Code)
      [_cursor (<tag> x)])]
   
-  [bool   Bool             #;Bool]
-  [nat    Nat              #;Nat]
-  [int    Int              #;Int]
-  [deg    Deg              #;Deg]
-  [real   Real             #;Real]
-  [char   Char             #;Char]
-  [text   Text             #;Text]
-  [symbol Ident            #;Symbol]
-  [tag    Ident            #;Tag]
-  [form   (List AST)       #;Form]
-  [tuple  (List AST)       #;Tuple]
-  [record (List [AST AST]) #;Record]
+  [bool   Bool              #;Bool]
+  [nat    Nat               #;Nat]
+  [int    Int               #;Int]
+  [deg    Deg               #;Deg]
+  [real   Real              #;Real]
+  [char   Char              #;Char]
+  [text   Text              #;Text]
+  [symbol Ident             #;Symbol]
+  [tag    Ident             #;Tag]
+  [form   (List Code)       #;Form]
+  [tuple  (List Code)       #;Tuple]
+  [record (List [Code Code]) #;Record]
   )
 
 (do-template [<name> <tag> <doc>]
   [(def: #export (<name> name)
      {#;doc <doc>}
-     (-> Text AST)
+     (-> Text Code)
      [_cursor (<tag> ["" name])])]
 
   [local-symbol #;Symbol "Produces a local symbol (a symbol with no module prefix)."]
   [local-tag    #;Tag    "Produces a local tag (a tag with no module prefix)."])
 
 ## [Structures]
-(struct: #export _ (Eq AST)
+(struct: #export _ (Eq Code)
   (def: (= x y)
     (case [x y]
       (^template [<tag> <eq>]
@@ -97,7 +97,7 @@
 
 ## [Values]
 (def: #export (to-text ast)
-  (-> AST Text)
+  (-> Code Text)
   (case ast
     (^template [<tag> <struct>]
       [_ (<tag> value)]
@@ -125,9 +125,9 @@
     ))
 
 (def: #export (replace original substitute ast)
-  {#;doc "Replaces all ASTs that look like 'original' with the 'substitute' in the given AST."}
-  (-> AST AST AST AST)
-  (if (:: Eq<AST> = original ast)
+  {#;doc "Replaces all code that looks like the 'original' with the 'substitute'."}
+  (-> Code Code Code Code)
+  (if (:: Eq<Code> = original ast)
     substitute
     (case ast
       (^template [<tag>]
diff --git a/stdlib/source/lux/macro/poly.lux b/stdlib/source/lux/macro/poly.lux
index decc25b93..24e9c0be9 100644
--- a/stdlib/source/lux/macro/poly.lux
+++ b/stdlib/source/lux/macro/poly.lux
@@ -12,7 +12,7 @@
              [char]
              [maybe])
        [macro #+ Monad<Lux> with-gensyms]
-       (macro [ast]
+       (macro [code]
               ["s" syntax #+ syntax: Syntax]
               (syntax [common]))
        [type]
@@ -22,7 +22,7 @@
 (type: #export (Matcher a)
   (-> Type (Lux a)))
 
-(type: #export Env (Dict Nat [Type AST]))
+(type: #export Env (Dict Nat [Type Code]))
 
 ## [Combinators]
 (do-template [<combinator> <name> <type>]
@@ -81,8 +81,8 @@
       ($_ macro;either
           <primitives>))))
 
-(syntax: ($AST$ ast)
-  (wrap (;list (ast;text (ast;to-text ast)))))
+(syntax: ($Code$ ast)
+  (wrap (;list (code;text (code;to-text ast)))))
 
 (do-template [<single> <multi> <flattener> <tag>]
   [(def: #export <single>
@@ -93,7 +93,7 @@
          (:: macro;Monad<Lux> wrap [:left: :right:])
 
          _
-         (macro;fail (format "Not a " ($AST$ <tag>) " type: " (%type :type:))))))
+         (macro;fail (format "Not a " ($Code$ <tag>) " type: " (%type :type:))))))
 
    (def: #export <multi>
      (Matcher (List Type))
@@ -101,7 +101,7 @@
        (let [members (<flattener> (type;un-name :type:))]
          (if (n.> +1 (list;size members))
            (:: macro;Monad<Lux> wrap members)
-           (macro;fail (format "Not a " ($AST$ <tag>) " type: " (%type :type:)))))))]
+           (macro;fail (format "Not a " ($Code$ <tag>) " type: " (%type :type:)))))))]
 
   [sum    sum+    type;flatten-variant #;Sum]
   [prod   prod+   type;flatten-tuple   #;Product]
@@ -138,7 +138,7 @@
       (macro;fail (format "Unnamed types cannot have tags: " (%type :type:))))))
 
 (def: #export polymorphic
-  (Matcher [(List AST) Type])
+  (Matcher [(List Code) Type])
   (;function [:type:]
     (loop [:type: (type;un-name :type:)]
       (case :type:
@@ -154,7 +154,7 @@
 
 (do-template [<combinator> <sub-comb> <build>]
   [(def: #export <combinator>
-     (Matcher [(List AST) (List [Ident Type])])
+     (Matcher [(List Code) (List [Ident Type])])
      (;function [:type:]
        (do macro;Monad<Lux>
          [[tags :type:] (tagged :type:)
@@ -175,7 +175,7 @@
   )
 
 (def: #export tuple
-  (Matcher [(List AST) (List Type)])
+  (Matcher [(List Code) (List Type)])
   (;function [:type:]
     (do macro;Monad<Lux>
       [[vars :type:] (polymorphic :type:)
@@ -183,7 +183,7 @@
       (wrap [vars members]))))
 
 (def: #export function
-  (Matcher [(List AST) [(List Type) Type]])
+  (Matcher [(List Code) [(List Type) Type]])
   (;function [:type:]
     (do macro;Monad<Lux>
       [[vars :type:] (polymorphic :type:)
@@ -233,7 +233,7 @@
     (|> env-level n.dec (n.- bound-level) (n.* +2) (n.+ bound-idx))))
 
 (def: #export (bound env)
-  (-> Env (Matcher AST))
+  (-> Env (Matcher Code))
   (;function [:type:]
     (case :type:
       (#;Bound idx)
@@ -248,7 +248,7 @@
       (macro;fail (format "Not a bound type: " (%type :type:))))))
 
 (def: #export (recur env)
-  (-> Env (Matcher AST))
+  (-> Env (Matcher Code))
   (;function [:type:]
     (do Monad<Lux>
       [[t-func t-args] (apply :type:)]
@@ -286,7 +286,7 @@
 
 ## [Syntax]
 (def: #export (extend-env [funcT funcA] type-vars env)
-  (-> [Type AST] (List [Type AST]) Env Env)
+  (-> [Type Code] (List [Type Code]) Env Env)
   (case type-vars
     #;Nil
     env
@@ -307,16 +307,16 @@
                                                   (s;many s;local-symbol)))]
                    body)
   (with-gensyms [g!body]
-    (let [g!inputs (List/map (|>. [""] ast;symbol) inputs)
-          g!name (ast;symbol ["" name])
-          g!env (ast;symbol ["" env])]
+    (let [g!inputs (List/map (|>. [""] code;symbol) inputs)
+          g!name (code;symbol ["" name])
+          g!env (code;symbol ["" env])]
       (wrap (;list (` (syntax: (~@ (common;gen-export-level _ex-lev)) ((~ g!name) (~@ (List/map (;function [g!input] (` [(~ g!input) s;symbol]))
                                                                                                 g!inputs)))
                         (do Monad<Lux>
                           [(~@ (List/join (List/map (;function [g!input] (;list g!input (` (macro;find-type-def (~ g!input)))))
                                                     g!inputs)))
                            (~' #let) [(~ g!env) (: Env (dict;new number;Hash<Nat>))]
-                           (~ g!body) (: (Lux AST)
+                           (~ g!body) (: (Lux Code)
                                          (loop [(~ g!env) (~ g!env)
                                                 (~@ (List/join (List/map (;function [g!input] (;list g!input g!input))
                                                                          g!inputs)))]
@@ -356,18 +356,18 @@
                   custom-impl
 
                   #;None
-                  (` ((~ (ast;symbol poly-func)) (~@ (List/map ast;symbol poly-args)))))]]
+                  (` ((~ (code;symbol poly-func)) (~@ (List/map code;symbol poly-args)))))]]
     (wrap (;list (` (def: (~@ (common;gen-export-level _ex-lev))
-                      (~ (ast;symbol ["" name]))
+                      (~ (code;symbol ["" name]))
                       {#;struct? true}
                       (~ impl)))))))
 
 ## [Derivers]
 (def: (to-ast env type)
-  (-> Env Type AST)
+  (-> Env Type Code)
   (case type
     (#;Host name params)
-    (` (#;Host (~ (ast;text name))
+    (` (#;Host (~ (code;text name))
                (list (~@ (List/map (to-ast env) params)))))
 
     (^template [<tag>]
@@ -377,14 +377,14 @@
 
     (^template [<tag>]
       (<tag> idx)
-      (` (<tag> (~ (ast;nat idx)))))
+      (` (<tag> (~ (code;nat idx)))))
     ([#;Var] [#;Ex])
 
     (#;Bound idx)
     (let [idx (adjusted-idx env idx)]
       (if (n.= +0 idx)
         (|> (dict;get idx env) (default (undefined)) product;left (to-ast env))
-        (` (;$ (~ (ast;nat (n.dec idx)))))))
+        (` (;$ (~ (code;nat (n.dec idx)))))))
 
     (^template [<tag>]
       (<tag> left right)
@@ -399,7 +399,7 @@
      [#;Product & type;flatten-tuple])
 
     (#;Named name sub-type)
-    (ast;symbol name)
+    (code;symbol name)
 
     (^template [<tag>]
       (<tag> scope body)
@@ -409,7 +409,7 @@
     ))
 
 (def: #export (gen-type env converter type-fun tvars type)
-  (-> Env (-> AST AST) AST (List AST) Type AST)
+  (-> Env (-> Code Code) Code (List Code) Type Code)
   (let [type' (to-ast env type)]
     (case tvars
       #;Nil
diff --git a/stdlib/source/lux/macro/poly/eq.lux b/stdlib/source/lux/macro/poly/eq.lux
index dc3b84cce..f1a184c85 100644
--- a/stdlib/source/lux/macro/poly/eq.lux
+++ b/stdlib/source/lux/macro/poly/eq.lux
@@ -12,7 +12,7 @@
              [char]
              [maybe])
        [macro #+ Monad<Lux> with-gensyms]
-       (macro [ast]
+       (macro [code]
               [syntax #+ syntax: Syntax]
               (syntax [common])
               [poly #+ poly:])
@@ -21,7 +21,7 @@
 
 ## [Utils]
 (def: (function$ func inputs output)
-  (-> AST (List AST) AST AST)
+  (-> Code (List Code) Code Code)
   (case inputs
     #;Nil
     output
@@ -33,7 +33,7 @@
 
 ## [Derivers]
 (poly: #export (Eq<?> env :x:)
-  (let [->Eq (: (-> AST AST)
+  (let [->Eq (: (-> Code Code)
                 (function [.type.] (` (eq;Eq (~ .type.)))))]
     (with-expansions
       [<basic> (do-template [<type> <matcher> <eq>]
@@ -64,8 +64,8 @@
                                       (function [[name :case:]]
                                         (do @
                                           [g!eq (Eq<?> new-env :case:)]
-                                          (wrap (list (` [((~ (ast;tag name)) (~ g!left))
-                                                          ((~ (ast;tag name)) (~ g!right))])
+                                          (wrap (list (` [((~ (code;tag name)) (~ g!left))
+                                                          ((~ (code;tag name)) (~ g!right))])
                                                       (` ((~ g!eq) (~ g!left) (~ g!right)))))))
                                       members)
                #let [base (function$ g!type-fun g!vars
diff --git a/stdlib/source/lux/macro/poly/functor.lux b/stdlib/source/lux/macro/poly/functor.lux
index 6e262f47e..06ebe60e4 100644
--- a/stdlib/source/lux/macro/poly/functor.lux
+++ b/stdlib/source/lux/macro/poly/functor.lux
@@ -14,7 +14,7 @@
              [ident "Ident/" Codec<Text,Ident>]
              error)
        [macro #+ Monad<Lux> with-gensyms]
-       (macro [ast]
+       (macro [code]
               [syntax #+ syntax: Syntax]
               (syntax [common])
               [poly #+ poly:])
@@ -33,13 +33,13 @@
                                       env)]
        _ (macro;assert "Functors must have at least 1 type-variable."
                           (n.> +0 num-vars))]
-      (let [->Functor (: (-> AST AST)
+      (let [->Functor (: (-> Code Code)
                          (function [.type.]
                            (if (n.= +1 num-vars)
                              (` (functor;Functor (~ .type.)))
-                             (let [type-params (|> num-vars n.dec list;indices (List/map (|>. %n ast;local-symbol)))]
+                             (let [type-params (|> num-vars n.dec list;indices (List/map (|>. %n code;local-symbol)))]
                                (` (All [(~@ type-params)] (functor;Functor ((~ .type.) (~@ type-params)))))))))
-            Arg<?> (: (-> AST (poly;Matcher AST))
+            Arg<?> (: (-> Code (poly;Matcher Code))
                       (function Arg<?> [value :type:]
                         ($_ macro;either
                             ## Nothing to do.
@@ -80,10 +80,10 @@
                pattern-matching (mapM @
                                       (function [[name :case:]]
                                         (do @
-                                          [#let [analysis (` ((~ (ast;tag name)) (~ g!input)))]
+                                          [#let [analysis (` ((~ (code;tag name)) (~ g!input)))]
                                            synthesis (Arg<?> g!input :case:)]
                                           (wrap (list analysis
-                                                      (` ((~ (ast;tag name)) (~ synthesis)))))))
+                                                      (` ((~ (code;tag name)) (~ synthesis)))))))
                                       cases)]
               (wrap (` (: (~ (->Functor (type;to-ast :x:)))
                           (struct (def: ((~ g!map) (~ g!func) (~ g!input))
diff --git a/stdlib/source/lux/macro/poly/text-encoder.lux b/stdlib/source/lux/macro/poly/text-encoder.lux
index 10fd85ebe..2dde16640 100644
--- a/stdlib/source/lux/macro/poly/text-encoder.lux
+++ b/stdlib/source/lux/macro/poly/text-encoder.lux
@@ -14,7 +14,7 @@
              [ident "Ident/" Codec<Text,Ident>]
              error)
        [macro #+ Monad<Lux> with-gensyms]
-       (macro [ast]
+       (macro [code]
               [syntax #+ syntax: Syntax]
               (syntax [common])
               [poly #+ poly:])
@@ -22,7 +22,7 @@
        ))
 
 (def: (function$ func inputs output)
-  (-> AST (List AST) AST AST)
+  (-> Code (List Code) Code Code)
   (case inputs
     #;Nil
     output
@@ -34,7 +34,7 @@
 
 ## [Derivers]
 (poly: #export (Codec<Text,?>::encode env :x:)
-  (let [->Codec::encode (: (-> AST AST)
+  (let [->Codec::encode (: (-> Code Code)
                            (function [.type.] (` (-> (~ .type.) Text))))]
     (with-expansions
       [<basic> (do-template [<type> <matcher> <encoder>]
@@ -65,9 +65,9 @@
                                       (function [[name :case:]]
                                         (do @
                                           [encoder (Codec<Text,?>::encode new-env :case:)]
-                                          (wrap (list (` ((~ (ast;tag name)) (~ g!case)))
+                                          (wrap (list (` ((~ (code;tag name)) (~ g!case)))
                                                       (` (format "(#"
-                                                                 (~ (ast;text (Ident/encode name)))
+                                                                 (~ (code;text (Ident/encode name)))
                                                                  " "
                                                                  ((~ encoder) (~ g!case))
                                                                  ")"))))))
@@ -91,9 +91,9 @@
                                  (do @
                                    [encoder (Codec<Text,?>::encode new-env :slot:)]
                                    (wrap (` (format "#"
-                                                    (~ (ast;text (Ident/encode name)))
+                                                    (~ (code;text (Ident/encode name)))
                                                     " "
-                                                    ((~ encoder) (get@ (~ (ast;tag name)) (~ g!input))))))))
+                                                    ((~ encoder) (get@ (~ (code;tag name)) (~ g!input))))))))
                                slots)
                #let [base (function$ g!type-fun g!vars
                                      (` (function [(~ g!input)]
diff --git a/stdlib/source/lux/macro/syntax.lux b/stdlib/source/lux/macro/syntax.lux
index e2cbde491..c0fda8a62 100644
--- a/stdlib/source/lux/macro/syntax.lux
+++ b/stdlib/source/lux/macro/syntax.lux
@@ -13,7 +13,7 @@
              (coll [list #* "" Functor<List> Fold<List> "List/" Monoid<List>])
              [product]
              [error #- fail]))
-  (.. [ast "AST/" Eq<AST>]))
+  (.. [code "Code/" Eq<Code>]))
 
 ## [Utils]
 (def: (join-pairs pairs)
@@ -24,8 +24,8 @@
 
 ## [Types]
 (type: #export (Syntax a)
-  {#;doc "A Lux AST syntax parser."}
-  (-> (List AST) (Error [(List AST) a])))
+  {#;doc "A Lux syntax parser."}
+  (-> (List Code) (Error [(List Code) a])))
 
 ## [Structures]
 (struct: #export _ (Functor Syntax)
@@ -72,14 +72,14 @@
 
 ## [Utils]
 (def: (remaining-inputs asts)
-  (-> (List AST) Text)
+  (-> (List Code) Text)
   ($_ Text/append "\nRemaining input: "
-      (|> asts (map ast;to-text) (interpose " ") (text;join-with ""))))
+      (|> asts (map code;to-text) (interpose " ") (text;join-with ""))))
 
 ## [Syntaxs]
 (def: #export any
   {#;doc "Just returns the next input without applying any logic."}
-  (Syntax AST)
+  (Syntax Code)
   (function [tokens]
     (case tokens
       #;Nil                (#;Left "There are no tokens to parse!")
@@ -87,7 +87,7 @@
 
 (do-template [<get-name> <type> <tag> <eq> <desc>]
   [(def: #export <get-name>
-     {#;doc (#;TextA ($_ Text/append "Parses the next " <desc> " input AST."))}
+     {#;doc (#;TextA ($_ Text/append "Parses the next " <desc> " input Code."))}
      (Syntax <type>)
      (function [tokens]
        (case tokens
@@ -109,12 +109,12 @@
   )
 
 (def: #export (this? ast)
-  {#;doc "Asks if the given AST is the next input."}
-  (-> AST (Syntax Bool))
+  {#;doc "Asks if the given Code is the next input."}
+  (-> Code (Syntax Bool))
   (function [tokens]
     (case tokens
       (#;Cons [token tokens'])
-      (let [is-it? (AST/= ast token)
+      (let [is-it? (Code/= ast token)
             remaining (if is-it?
                         tokens'
                         tokens)]
@@ -124,14 +124,14 @@
       (#;Right [tokens false]))))
 
 (def: #export (this! ast)
-  {#;doc "Ensures the given AST is the next input."}
-  (-> AST (Syntax Unit))
+  {#;doc "Ensures the given Code is the next input."}
+  (-> Code (Syntax Unit))
   (function [tokens]
     (case tokens
       (#;Cons [token tokens'])
-      (if (AST/= ast token)
+      (if (Code/= ast token)
         (#;Right [tokens' []])
-        (#;Left ($_ Text/append "Expected a " (ast;to-text ast) " but instead got " (ast;to-text token)
+        (#;Left ($_ Text/append "Expected a " (code;to-text ast) " but instead got " (code;to-text token)
                     (remaining-inputs tokens))))
 
       _
@@ -175,7 +175,7 @@
 
 (do-template [<name> <tag> <desc>]
   [(def: #export (<name> p)
-     {#;doc (#;TextA ($_ Text/append "Parse inside the contents of a " <desc> " as if they were the input ASTs."))}
+     {#;doc (#;TextA ($_ Text/append "Parse inside the contents of a " <desc> " as if they were the input Codes."))}
      (All [a]
        (-> (Syntax a) (Syntax a)))
      (function [tokens]
@@ -193,7 +193,7 @@
   )
 
 (def: #export (record p)
-  {#;doc (#;TextA ($_ Text/append "Parse inside the contents of a record as if they were the input ASTs."))}
+  {#;doc (#;TextA ($_ Text/append "Parse inside the contents of a record as if they were the input Codes."))}
   (All [a]
     (-> (Syntax a) (Syntax a)))
   (function [tokens]
@@ -217,7 +217,7 @@
 
 (def: #export (run tokens p)
   (All [a]
-    (-> (List AST) (Syntax a) (Error [(List AST) a])))
+    (-> (List Code) (Syntax a) (Error [(List Code) a])))
   (p tokens))
 
 (def: #export (some p)
@@ -388,7 +388,7 @@
 
 (def: #export (local local-inputs syntax)
   {#;doc "Run a syntax parser with the given list of inputs, instead of the real ones."}
-  (All [a] (-> (List AST) (Syntax a) (Syntax a)))
+  (All [a] (-> (List Code) (Syntax a) (Syntax a)))
   (function [real-inputs]
     (case (syntax local-inputs)
       (#;Left error)
@@ -401,7 +401,7 @@
 
         _
         (#;Left (Text/append "Unconsumed inputs: "
-                             (|> (map ast;to-text unconsumed-inputs)
+                             (|> (map code;to-text unconsumed-inputs)
                                  (text;join-with ", "))))))))
 
 (def: #export (rec syntax)
@@ -429,7 +429,7 @@
                                                  (with-brackets (spaced (map super-class-decl$ interfaces)))
                                                  (with-brackets (spaced (map constructor-arg$ constructor-args)))
                                                  (with-brackets (spaced (map (method-def$ id) methods))))))]
-                  (wrap (list (` (;_lux_proc ["jvm" (~ (ast;text def-code))] [])))))))}
+                  (wrap (list (` (;_lux_proc ["jvm" (~ (code;text def-code))] [])))))))}
   (let [[exported? tokens] (case tokens
                              (^ (list& [_ (#;Tag ["" "hidden"])] tokens'))
                              [(#;Some #;Left) tokens']
@@ -439,7 +439,7 @@
 
                              _
                              [#;None tokens])
-        ?parts (: (Maybe [Text (List AST) AST AST])
+        ?parts (: (Maybe [Text (List Code) Code Code])
                   (case tokens
                     (^ (list [_ (#;Form (list& [_ (#;Symbol ["" name])] args))]
                              body))
@@ -457,35 +457,35 @@
       (with-gensyms [g!tokens g!body g!msg]
         (do Monad<Lux>
           [vars+parsers (mapM Monad<Lux>
-                              (: (-> AST (Lux [AST AST]))
+                              (: (-> Code (Lux [Code Code]))
                                  (function [arg]
                                    (case arg
                                      (^ [_ (#;Tuple (list var parser))])
                                      (wrap [var parser])
 
                                      [_ (#;Symbol var-name)]
-                                     (wrap [(ast;symbol var-name) (` any)])
+                                     (wrap [(code;symbol var-name) (` any)])
 
                                      _
                                      (macro;fail "Syntax pattern expects tuples or symbols."))))
                               args)
-           #let [g!state (ast;symbol ["" "*compiler*"])
-                 g!end (ast;symbol ["" ""])
-                 error-msg (ast;text (Text/append "Wrong syntax for " name))
-                 export-ast (: (List AST) (case exported?
-                                            (#;Some #;Left)
-                                            (list (' #hidden))
-
-                                            (#;Some #;Right)
-                                            (list (' #export))
-
-                                            _
-                                            (list)))]]
-          (wrap (list (` (macro: (~@ export-ast) ((~ (ast;symbol ["" name])) (~ g!tokens))
+           #let [g!state (code;symbol ["" "*compiler*"])
+                 g!end (code;symbol ["" ""])
+                 error-msg (code;text (Text/append "Wrong syntax for " name))
+                 export-ast (: (List Code) (case exported?
+                                             (#;Some #;Left)
+                                             (list (' #hidden))
+
+                                             (#;Some #;Right)
+                                             (list (' #export))
+
+                                             _
+                                             (list)))]]
+          (wrap (list (` (macro: (~@ export-ast) ((~ (code;symbol ["" name])) (~ g!tokens))
                            (~ meta)
                            (function [(~ g!state)]
                              (;_lux_case (run (~ g!tokens)
-                                              (: (Syntax (Lux (List AST)))
+                                              (: (Syntax (Lux (List Code)))
                                                  (do Monad<Syntax>
                                                    [(~@ (join-pairs vars+parsers))
                                                     (~ g!end) end!]
diff --git a/stdlib/source/lux/macro/syntax/common.lux b/stdlib/source/lux/macro/syntax/common.lux
index a77a2428a..4f27108cd 100644
--- a/stdlib/source/lux/macro/syntax/common.lux
+++ b/stdlib/source/lux/macro/syntax/common.lux
@@ -8,7 +8,7 @@
              [ident "Ident/" Eq<Ident>]
              [product])
        [macro]
-       (macro [ast]
+       (macro [code]
               ["s" syntax #+ syntax: Syntax])))
 
 ## Exports
@@ -26,7 +26,7 @@
                 (s;this! (' #hidden)))))
 
 (def: #export (gen-export-level ?el)
-  (-> (Maybe Export-Level) (List AST))
+  (-> (Maybe Export-Level) (List Code))
   (case ?el
     #;None
     (list)
@@ -56,14 +56,14 @@
 ## Definitions
 (type: #export Def-Syntax
   {#def-name Text
-   #def-type (Maybe AST)
-   #def-value AST
-   #def-anns (List [Ident AST])
+   #def-type (Maybe Code)
+   #def-value Code
+   #def-anns (List [Ident Code])
    #def-args (List Text)
    })
 
 (def: check^
-  (Syntax [(Maybe AST) AST])
+  (Syntax [(Maybe Code) Code])
   (s;either (s;form (do s;Monad<Syntax>
                       [_ (s;this! (' lux;_lux_:))
                        type s;any
@@ -77,7 +77,7 @@
   (s;tuple (s;seq s;text s;text)))
 
 (def: (_def-anns^ _)
-  (-> Top (Syntax (List [Ident AST])))
+  (-> Top (Syntax (List [Ident Code])))
   (s;alt (s;this! (' #lux;Nil))
          (s;form (do s;Monad<Syntax>
                    [_ (s;this! (' #lux;Cons))
@@ -87,7 +87,7 @@
          ))
 
 (def: (flat-list^ _)
-  (-> Top (Syntax (List AST)))
+  (-> Top (Syntax (List Code)))
   (s;either (do s;Monad<Syntax>
               [_ (s;this! (' #lux;Nil))]
               (wrap (list)))
@@ -98,7 +98,7 @@
                       (wrap (#;Cons head tail))))))
 
 (def: list-meta^
-  (Syntax (List AST))
+  (Syntax (List Code))
   (s;form (do s;Monad<Syntax>
             [_ (s;this! (' #lux;ListA))]
             (flat-list^ []))))
@@ -110,7 +110,7 @@
             s;text)))
 
 (def: (find-def-args meta-data)
-  (-> (List [Ident AST]) (List Text))
+  (-> (List [Ident Code]) (List Text))
   (default (list)
     (case (list;find (|>. product;left (Ident/= ["lux" "func-args"])) meta-data)
       (^=> (#;Some [_ value])
@@ -125,7 +125,7 @@
     ))
 
 (def: #export (def compiler)
-  {#;doc "A parser that first macro-expands and then analyses the input AST, to ensure it's a definition."}
+  {#;doc "A parser that first macro-expands and then analyses the input Code, to ensure it's a definition."}
   (-> Compiler (Syntax Def-Syntax))
   (do s;Monad<Syntax>
     [def-raw s;any
@@ -162,12 +162,12 @@
 
 (def: #export def-anns
   {#;doc "Parser for the common annotations syntax used by def: statements."}
-  (Syntax (List [Ident AST]))
+  (Syntax (List [Ident Code]))
   (s;record (s;some (s;seq s;tag s;any))))
 
 (def: #export typed-arg
   {#;doc "Parser for the common typed-argument syntax used by many macros."}
-  (Syntax [Text AST])
+  (Syntax [Text Code])
   (s;tuple (s;seq s;local-symbol s;any)))
 
 (def: #export type-params
diff --git a/stdlib/source/lux/math.lux b/stdlib/source/lux/math.lux
index 4782b365b..1fb9d63db 100644
--- a/stdlib/source/lux/math.lux
+++ b/stdlib/source/lux/math.lux
@@ -7,7 +7,7 @@
              text/format)
        [macro]
        (macro ["s" syntax #+ syntax: Syntax "s/" Functor<Syntax>]
-              [ast])))
+              [code])))
 
 ## [Values]
 (do-template [<name> <value>]
@@ -98,23 +98,23 @@
 
 ## [Syntax]
 (type: #rec Infix
-  (#Const AST)
-  (#Call (List AST))
-  (#Infix Infix AST Infix))
+  (#Const Code)
+  (#Call (List Code))
+  (#Infix Infix Code Infix))
 
 (def: (infix^ _)
   (-> Unit (Syntax Infix))
   ($_ s;alt
       ($_ s;either
-          (s/map ast;bool s;bool)
-          (s/map ast;nat s;nat)
-          (s/map ast;int s;int)
-          (s/map ast;deg s;deg)
-          (s/map ast;real s;real)
-          (s/map ast;char s;char)
-          (s/map ast;text s;text)
-          (s/map ast;symbol s;symbol)
-          (s/map ast;tag s;tag))
+          (s/map code;bool s;bool)
+          (s/map code;nat s;nat)
+          (s/map code;int s;int)
+          (s/map code;deg s;deg)
+          (s/map code;real s;real)
+          (s/map code;char s;char)
+          (s/map code;text s;text)
+          (s/map code;symbol s;symbol)
+          (s/map code;tag s;tag))
       (s;form (s;many s;any))
       (s;tuple (s;either (do s;Monad<Syntax>
                            [_ (s;this! (' #and))
@@ -142,13 +142,13 @@
       ))
 
 (def: (infix-to-prefix infix)
-  (-> Infix AST)
+  (-> Infix Code)
   (case infix
     (#Const value)
     value
     
     (#Call parts)
-    (ast;form parts)
+    (code;form parts)
     
     (#Infix left op right)
     (` ((~ op) (~ (infix-to-prefix right)) (~ (infix-to-prefix left))))
diff --git a/stdlib/source/lux/math/simple.lux b/stdlib/source/lux/math/simple.lux
index 359a2d23b..26c212f82 100644
--- a/stdlib/source/lux/math/simple.lux
+++ b/stdlib/source/lux/math/simple.lux
@@ -5,7 +5,7 @@
              [product]
              (coll [list]))
        [macro]
-       (macro [ast]
+       (macro [code]
               ["s" syntax #+ syntax: Syntax])
        [type]
        (type [check])))
@@ -71,7 +71,7 @@
                    (wrap (` <deg-op>))
 
                    (macro;fail (format "No operation for types: " (%type =x))))]
-         (wrap (list (` ($_ (~ op) (~ (ast;symbol x)) (~@ ys))))))
+         (wrap (list (` ($_ (~ op) (~ (code;symbol x)) (~@ ys))))))
        
        (+0 [(#;Right x) ys])
        (do @
@@ -135,7 +135,7 @@
                    (wrap (` <deg-op>))
 
                    (macro;fail (format "No operation for types: " (%type =x))))]
-         (wrap (list (` ($_ (~ op) (~ (ast;symbol x)) (~@ ys))))))
+         (wrap (list (` ($_ (~ op) (~ (code;symbol x)) (~@ ys))))))
        
        (+0 [(#;Right x) ys])
        (do @
@@ -189,7 +189,7 @@
                    (wrap (` <int-op>))
 
                    (macro;fail (format "No operation for types: " (%type =x))))]
-         (wrap (list (` ($_ (~ op) (~ (ast;symbol x)) (~@ ys))))))
+         (wrap (list (` ($_ (~ op) (~ (code;symbol x)) (~@ ys))))))
        
        (+0 [(#;Right x) ys])
        (do @
@@ -234,7 +234,7 @@
                    (wrap (` <int-op>))
 
                    (macro;fail (format "No operation for type: " (%type =x))))]
-         (wrap (list (` ((~ op) (~ (ast;symbol x)))))))
+         (wrap (list (` ((~ op) (~ (code;symbol x)))))))
        
        (+1 x)
        (do @
@@ -279,7 +279,7 @@
                    (wrap (` <int-op>))
 
                    (macro;fail (format "No operation for type: " (%type =x))))]
-         (wrap (list (` ((~ op) (~ (ast;symbol x)))))))
+         (wrap (list (` ((~ op) (~ (code;symbol x)))))))
        
        (+1 x)
        (do @
diff --git a/stdlib/source/lux/test.lux b/stdlib/source/lux/test.lux
index 172d27376..e9e979ad2 100644
--- a/stdlib/source/lux/test.lux
+++ b/stdlib/source/lux/test.lux
@@ -2,7 +2,7 @@
   lux
   (lux [macro #+ Monad<Lux> with-gensyms]
        (macro ["s" syntax #+ syntax: Syntax]
-              [ast])
+              [code])
        (control functor
                 applicative
                 monad)
@@ -121,12 +121,12 @@
 
 (type: Property-Test
   {#seed (Maybe Test-Config)
-   #bindings (List [AST AST])
-   #body AST})
+   #bindings (List [Code Code])
+   #body Code})
 
 (type: Test-Kind
   (#Property Property-Test)
-  (#Simple AST))
+  (#Simple Code))
 
 (def: config^
   (Syntax Test-Config)
@@ -227,13 +227,13 @@
                                       [(` #;None) +100]
                                       
                                       (#;Some (#Seed value))
-                                      [(` (#;Some (~ (ast;nat value)))) +100]
+                                      [(` (#;Some (~ (code;nat value)))) +100]
 
                                       (#;Some (#Times value))
                                       [(` #;None) value])
                      bindings' (|> bindings (List/map pair-to-list) List/join)]
                  (` (repeat (~ =seed)
-                            (~ (ast;nat =times))
+                            (~ (code;nat =times))
                             (do R;Monad<Random>
                               [(~@ bindings')]
                               ((~' wrap) (;;try-body (io;io (~ body))))))))
@@ -277,7 +277,7 @@
                     (mapM @ exported-tests)
                     (:: @ map List/join)))
        #let [tests+ (List/map (function [[module-name test desc]]
-                                (` [(~ (ast;text module-name)) (~ (ast;symbol [module-name test])) (~ (ast;text desc))]))
+                                (` [(~ (code;text module-name)) (~ (code;symbol [module-name test])) (~ (code;text desc))]))
                               tests)
              num-tests (list;size tests+)
              groups (list;split-all promise;concurrency-level tests+)]]
@@ -288,13 +288,13 @@
                                                                 (list g!_ (` (run' (list (~@ group))))
                                                                       (' #let) (` [(~ g!accum) (n.+ (~ g!_) (~ g!accum))])))
                                                               groups)))
-                                     (~' #let) [(~ g!_) (n.- (~ g!accum) (~ (ast;nat num-tests)))]]
+                                     (~' #let) [(~ g!_) (n.- (~ g!accum) (~ (code;nat num-tests)))]]
                                     (exec (log! ($_ _appendT_
                                                     "Test-suite finished."
                                                     "\n"
                                                     (_%i_ (nat-to-int (~ g!accum)))
                                                     " out of "
-                                                    (~ (|> num-tests nat-to-int _%i_ ast;text))
+                                                    (~ (|> num-tests nat-to-int _%i_ code;text))
                                                     " tests passed."
                                                     "\n"
                                                     (_%i_ (nat-to-int (~ g!_))) " tests failed."))
diff --git a/stdlib/source/lux/type.lux b/stdlib/source/lux/type.lux
index 186cfac81..a58c87360 100644
--- a/stdlib/source/lux/type.lux
+++ b/stdlib/source/lux/type.lux
@@ -7,7 +7,7 @@
              [number "Nat/" Codec<Text,Nat>]
              maybe
              (coll [list #+ "List/" Monad<List> Monoid<List> Fold<List>]))
-       (macro [ast])
+       (macro [code])
        ))
 
 ## [Utils]
@@ -160,10 +160,10 @@
     #;None))
 
 (def: #export (to-ast type)
-  (-> Type AST)
+  (-> Type Code)
   (case type
     (#;Host name params)
-    (` (#;Host (~ (ast;text name))
+    (` (#;Host (~ (code;text name))
                (list (~@ (List/map to-ast params)))))
 
     (^template [<tag>]
@@ -173,7 +173,7 @@
 
     (^template [<tag>]
       (<tag> idx)
-      (` (<tag> (~ (ast;nat idx)))))
+      (` (<tag> (~ (code;nat idx)))))
     ([#;Var] [#;Ex] [#;Bound])
 
     (^template [<tag>]
@@ -189,7 +189,7 @@
      [#;Product & flatten-tuple])
 
     (#;Named name sub-type)
-    (ast;symbol name)
+    (code;symbol name)
 
     (^template [<tag>]
       (<tag> env body)
diff --git a/stdlib/source/lux/type/auto.lux b/stdlib/source/lux/type/auto.lux
index 6ba7cdb8b..cd6093f97 100644
--- a/stdlib/source/lux/type/auto.lux
+++ b/stdlib/source/lux/type/auto.lux
@@ -10,7 +10,7 @@
              [bool]
              [product])
        [macro #+ Monad<Lux>]
-       (macro [ast]
+       (macro [code]
               ["s" syntax #+ syntax: Syntax])
        [type]
        (type ["tc" check #+ Check Monad<Check>])
@@ -283,7 +283,7 @@
         (do Monad<Lux> [alts import-structs] (test alts)))))
 
 (def: (var? input)
-  (-> AST Bool)
+  (-> Code Bool)
   (case input
     [_ (#;Symbol _)]
     true
@@ -296,13 +296,13 @@
   (list l r))
 
 (def: (instance$ [constructor dependencies])
-  (-> Instance AST)
+  (-> Instance Code)
   (case dependencies
     #;Nil
-    (ast;symbol constructor)
+    (code;symbol constructor)
 
     _
-    (` ((~ (ast;symbol constructor)) (~@ (List/map instance$ dependencies))))))
+    (` ((~ (code;symbol constructor)) (~@ (List/map instance$ dependencies))))))
 
 (syntax: #export (::: [member s;symbol]
                       [args (s;alt (s;seq (s;some s;symbol) s;end!)
@@ -343,8 +343,8 @@
 
         (#;Cons chosen #;Nil)
         (wrap (list (` (:: (~ (instance$ chosen))
-                           (~ (ast;local-symbol (product;right member)))
-                           (~@ (List/map ast;symbol args))))))
+                           (~ (code;local-symbol (product;right member)))
+                           (~@ (List/map code;symbol args))))))
 
         _
         (macro;fail (format "Too many options available: "
@@ -358,6 +358,6 @@
       [labels (seqM @ (list;repeat (list;size args)
                                    (macro;gensym "")))
        #let [retry (` (let [(~@ (|> (list;zip2 labels args) (List/map join-pair) List/join))]
-                        (;;::: (~ (ast;symbol member)) (~@ labels))))]]
+                        (;;::: (~ (code;symbol member)) (~@ labels))))]]
       (wrap (list retry)))
     ))