De-taggification | part 4

174 files changed, 2244 insertions, 2244 deletions

diff --git a/stdlib/source/library/lux/tool/compiler/default/init.lux b/stdlib/source/library/lux/tool/compiler/default/init.lux
index 2635b73ee..35759ca87 100644
--- a/stdlib/source/library/lux/tool/compiler/default/init.lux
+++ b/stdlib/source/library/lux/tool/compiler/default/init.lux
@@ -3,52 +3,52 @@
    [lux {"-" [Module]}
     ["@" target {"+" [Target]}]
     [abstract
-     ["." monad {"+" [do]}]]
+     ["[0]" monad {"+" [do]}]]
     [control
-     ["." try {"+" [Try]}]
-     ["." exception {"+" [exception:]}]]
+     ["[0]" try {"+" [Try]}]
+     ["[0]" exception {"+" [exception:]}]]
     [data
      [binary {"+" [Binary]}]
-     ["." product]
-     ["." text ("#\." hash)
+     ["[0]" product]
+     ["[0]" text ("[1]\[0]" hash)
       ["%" format {"+" [format]}]]
      [collection
-      ["." list ("#\." functor)]
-      ["." dictionary]
-      ["." set]
-      ["." row ("#\." functor)]]]
-    ["." meta]
+      ["[0]" list ("[1]\[0]" functor)]
+      ["[0]" dictionary]
+      ["[0]" set]
+      ["[0]" row ("[1]\[0]" functor)]]]
+    ["[0]" meta]
     [world
-     ["." file]]]]
-  ["." // "_"
-   ["/#" // {"+" [Instancer]}
-    ["#." phase]
+     ["[0]" file]]]]
+  ["[0]" // "_"
+   ["/[1]" // {"+" [Instancer]}
+    ["[1][0]" phase]
     [language
      [lux
       [program {"+" [Program]}]
-      ["#." version]
-      ["#." syntax {"+" [Aliases]}]
-      ["#." synthesis]
-      ["#." directive {"+" [Requirements]}]
-      ["#." generation]
-      ["#." analysis
+      ["[1][0]" version]
+      ["[1][0]" syntax {"+" [Aliases]}]
+      ["[1][0]" synthesis]
+      ["[1][0]" directive {"+" [Requirements]}]
+      ["[1][0]" generation]
+      ["[1][0]" analysis
        [macro {"+" [Expander]}]
-       ["#/." evaluation]]
+       ["[1]/[0]" evaluation]]
       [phase
-       [".P" synthesis]
-       [".P" directive]
-       [".P" analysis
-        ["." module]]
-       ["." extension {"+" [Extender]}
-        [".E" analysis]
-        [".E" synthesis]
+       ["[0]P" synthesis]
+       ["[0]P" directive]
+       ["[0]P" analysis
+        ["[0]" module]]
+       ["[0]" extension {"+" [Extender]}
+        ["[0]E" analysis]
+        ["[0]E" synthesis]
         [directive
-         [".D" lux]]]]]]
+         ["[0]D" lux]]]]]]
     [meta
-     ["." archive {"+" [Archive]}
-      ["." descriptor {"+" [Module]}]
-      ["." artifact]
-      ["." document]]]]
+     ["[0]" archive {"+" [Archive]}
+      ["[0]" descriptor {"+" [Module]}]
+      ["[0]" artifact]
+      ["[0]" document]]]]
    ])
 
 (def: .public (state target module expander host_analysis host generate generation_bundle)
diff --git a/stdlib/source/library/lux/tool/compiler/default/platform.lux b/stdlib/source/library/lux/tool/compiler/default/platform.lux
index 8d169ff97..c2442dd78 100644
--- a/stdlib/source/library/lux/tool/compiler/default/platform.lux
+++ b/stdlib/source/library/lux/tool/compiler/default/platform.lux
@@ -3,64 +3,64 @@
    [lux {"-" [Module]}
     [type {"+" [:sharing]}]
     ["@" target]
-    ["." debug]
+    ["[0]" debug]
     [abstract
-     ["." monad {"+" [Monad do]}]]
+     ["[0]" monad {"+" [Monad do]}]]
     [control
-     ["." function]
-     ["." maybe]
-     ["." try {"+" [Try]} ("#\." monad)]
-     ["." exception {"+" [exception:]}]
+     ["[0]" function]
+     ["[0]" maybe]
+     ["[0]" try {"+" [Try]} ("[1]\[0]" monad)]
+     ["[0]" exception {"+" [exception:]}]
      [concurrency
-      ["." async {"+" [Async Resolver]} ("#\." monad)]
-      ["." stm {"+" [Var STM]}]]]
+      ["[0]" async {"+" [Async Resolver]} ("[1]\[0]" monad)]
+      ["[0]" stm {"+" [Var STM]}]]]
     [data
-     ["." binary {"+" [Binary]}]
-     ["." bit]
-     ["." product]
-     ["." text ("#\." equivalence)
+     ["[0]" binary {"+" [Binary]}]
+     ["[0]" bit]
+     ["[0]" product]
+     ["[0]" text ("[1]\[0]" equivalence)
       ["%" format {"+" [format]}]]
      [collection
-      ["." dictionary {"+" [Dictionary]}]
-      ["." row {"+" [Row]} ("#\." mix)]
-      ["." set {"+" [Set]}]
-      ["." list ("#\." monoid functor mix)]]
+      ["[0]" dictionary {"+" [Dictionary]}]
+      ["[0]" row {"+" [Row]} ("[1]\[0]" mix)]
+      ["[0]" set {"+" [Set]}]
+      ["[0]" list ("[1]\[0]" monoid functor mix)]]
      [format
       ["_" binary {"+" [Writer]}]]]
     [world
-     ["." file {"+" [Path]}]]]]
-  ["." // "_"
-   ["#." init]
-   ["/#" //
-    ["#." phase {"+" [Phase]}]
+     ["[0]" file {"+" [Path]}]]]]
+  ["[0]" // "_"
+   ["[1][0]" init]
+   ["/[1]" //
+    ["[1][0]" phase {"+" [Phase]}]
     [language
      [lux
       [program {"+" [Program]}]
       ["$" /]
-      ["#." version]
-      ["." syntax]
-      ["#." analysis
+      ["[1][0]" version]
+      ["[0]" syntax]
+      ["[1][0]" analysis
        [macro {"+" [Expander]}]]
-      ["#." synthesis]
-      ["#." generation {"+" [Buffer]}]
-      ["#." directive]
+      ["[1][0]" synthesis]
+      ["[1][0]" generation {"+" [Buffer]}]
+      ["[1][0]" directive]
       [phase
-       ["." extension {"+" [Extender]}]
+       ["[0]" extension {"+" [Extender]}]
        [analysis
-        ["." module]]]]]
+        ["[0]" module]]]]]
     [meta
-     ["." archive {"+" [Output Archive]}
-      ["." artifact {"+" [Registry]}]
-      ["." descriptor {"+" [Descriptor Module]}]
-      ["." document {"+" [Document]}]]
+     ["[0]" archive {"+" [Output Archive]}
+      ["[0]" artifact {"+" [Registry]}]
+      ["[0]" descriptor {"+" [Descriptor Module]}]
+      ["[0]" document {"+" [Document]}]]
      [io {"+" [Context]}
-      ["." context]
+      ["[0]" context]
       ["ioW" archive]]]]]
   [program
    [compositor
     [cli {"+" [Compilation Library]}]
     [import {"+" [Import]}]
-    ["." static {"+" [Static]}]]])
+    ["[0]" static {"+" [Static]}]]])
 
 (with_expansions [<type_vars> (as_is anchor expression directive)
                   <Operation> (as_is ///generation.Operation <type_vars>)]
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux.lux b/stdlib/source/library/lux/tool/compiler/language/lux.lux
index 8d0ac3171..16493d1dc 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux.lux
@@ -7,16 +7,16 @@
     [data
      [format
       ["_" binary {"+" [Writer]}]]]]]
-  ["." / "_"
-   ["#." version]
+  ["[0]" / "_"
+   ["[1][0]" version]
    [phase
     [analysis
-     ["." module]]]
+     ["[0]" module]]]
    [///
     [meta
      [archive
-      ["." signature]
-      ["." key {"+" [Key]}]]]]])
+      ["[0]" signature]
+      ["[0]" key {"+" [Key]}]]]]])
 
 ... TODO: Remove #module_hash, #imports & #module_state ASAP.
 ... TODO: Not just from this parser, but from the lux.Module type.
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/analysis.lux b/stdlib/source/library/lux/tool/compiler/language/lux/analysis.lux
index 5522749e0..35c150116 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/analysis.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/analysis.lux
@@ -6,17 +6,17 @@
      [hash {"+" [Hash]}]
      [monad {"+" [do]}]]
     [control
-     ["." function]
-     ["." maybe]
-     ["." try]
-     ["." exception {"+" [Exception]}]]
+     ["[0]" function]
+     ["[0]" maybe]
+     ["[0]" try]
+     ["[0]" exception {"+" [Exception]}]]
     [data
-     ["." product]
-     ["." bit ("#\." equivalence)]
-     ["." text ("#\." equivalence)
+     ["[0]" product]
+     ["[0]" bit ("[1]\[0]" equivalence)]
+     ["[0]" text ("[1]\[0]" equivalence)
       ["%" format {"+" [Format format]}]]
      [collection
-      ["." list ("#\." functor mix)]]]
+      ["[0]" list ("[1]\[0]" functor mix)]]]
     [math
      [number
       ["n" nat]
@@ -24,16 +24,16 @@
       ["r" rev]
       ["f" frac]]]
     [meta
-     ["." location]]]]
+     ["[0]" location]]]]
   [//
    [phase
-    ["." extension {"+" [Extension]}]]
+    ["[0]" extension {"+" [Extension]}]]
    [///
     [arity {"+" [Arity]}]
     [version {"+" [Version]}]
-    ["." phase]
-    ["." reference {"+" [Reference]}
-     ["." variable {"+" [Register Variable]}]]]])
+    ["[0]" phase]
+    ["[0]" reference {"+" [Reference]}
+     ["[0]" variable {"+" [Register Variable]}]]]])
 
 (type: .public Primitive
   (.Variant
@@ -136,7 +136,7 @@
       _
       false)))
 
-(implementation: .public (composite_equivalence (^open "/\."))
+(implementation: .public (composite_equivalence (^open "/\[0]"))
   (All (_ a) (-> (Equivalence a) (Equivalence (Composite a))))
   
   (def: (= reference sample)
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/evaluation.lux b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/evaluation.lux
index 94305f30a..5a7ca089f 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/evaluation.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/evaluation.lux
@@ -1,27 +1,27 @@
 (.module:
   [library
    [lux {"-" [Module]}
-    ["." meta]
+    ["[0]" meta]
     [abstract
      [monad {"+" [do]}]]
     [control
-     ["." try]]
+     ["[0]" try]]
     [math
      [number
       ["n" nat]]]]]
-  ["." // {"+" [Operation]}
+  ["[0]" // {"+" [Operation]}
    [macro {"+" [Expander]}]
    [//
     [phase
-     [".P" extension]
-     [".P" synthesis]
-     [".P" analysis
-      ["." type]]
+     ["[0]P" extension]
+     ["[0]P" synthesis]
+     ["[0]P" analysis
+      ["[0]" type]]
      [//
-      ["." synthesis]
-      ["." generation {"+" [Context]}]
+      ["[0]" synthesis]
+      ["[0]" generation {"+" [Context]}]
       [///
-       ["." phase]
+       ["[0]" phase]
        [meta
         [archive {"+" [Archive]}
          [descriptor {"+" [Module]}]]]]]]]])
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/macro.lux b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/macro.lux
index f6b4d0c3b..c0bc4a79e 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/macro.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/macro.lux
@@ -4,14 +4,14 @@
     [abstract
      [monad {"+" [do]}]]
     [control
-     ["." try {"+" [Try]}]
-     ["." exception {"+" [exception:]}]]
+     ["[0]" try {"+" [Try]}]
+     ["[0]" exception {"+" [exception:]}]]
     [data
-     ["." text
+     ["[0]" text
       ["%" format {"+" [format]}]]]
-    ["." meta]]]
+    ["[0]" meta]]]
   [/////
-   ["." phase]])
+   ["[0]" phase]])
 
 (exception: .public (expansion_failed {macro Name} {inputs (List Code)} {error Text})
   (exception.report
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/directive.lux b/stdlib/source/library/lux/tool/compiler/language/lux/directive.lux
index e2c1899de..dd8d86836 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/directive.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/directive.lux
@@ -4,18 +4,18 @@
     [abstract
      [monad {"+" [do]}]]
     [control
-     ["." try]]
+     ["[0]" try]]
     [data
      [collection
-      ["." list ("#\." monoid)]]]]]
+      ["[0]" list ("[1]\[0]" monoid)]]]]]
   [//
-   ["." analysis]
-   ["." synthesis]
-   ["." generation]
+   ["[0]" analysis]
+   ["[0]" synthesis]
+   ["[0]" generation]
    [phase
-    ["." extension]]
+    ["[0]" extension]]
    [///
-    ["." phase]
+    ["[0]" phase]
     [meta
      [archive
       [descriptor {"+" [Module]}]]]]])
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/generation.lux b/stdlib/source/library/lux/tool/compiler/language/lux/generation.lux
index f5eb64da7..efad246fd 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/generation.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/generation.lux
@@ -4,31 +4,31 @@
     [abstract
      [monad {"+" [do]}]]
     [control
-     ["." try {"+" [Try]}]
-     ["." exception {"+" [exception:]}]
-     ["." function]]
+     ["[0]" try {"+" [Try]}]
+     ["[0]" exception {"+" [exception:]}]
+     ["[0]" function]]
     [data
      [binary {"+" [Binary]}]
-     ["." product]
-     ["." name]
-     ["." text ("#\." equivalence)
+     ["[0]" product]
+     ["[0]" name]
+     ["[0]" text ("[1]\[0]" equivalence)
       ["%" format {"+" [format]}]]
      [collection
-      ["." row {"+" [Row]}]
-      ["." list ("#\." functor)]]]
+      ["[0]" row {"+" [Row]}]
+      ["[0]" list ("[1]\[0]" functor)]]]
     [math
      [number
       ["n" nat]]]]]
   [//
    [synthesis {"+" [Synthesis]}]
    [phase
-    ["." extension]]
+    ["[0]" extension]]
    [///
-    ["." phase]
+    ["[0]" phase]
     [meta
-     ["." archive {"+" [Archive]}
-      ["." descriptor {"+" [Module]}]
-      ["." artifact]]]]])
+     ["[0]" archive {"+" [Archive]}
+      ["[0]" descriptor {"+" [Module]}]
+      ["[0]" artifact]]]]])
 
 (type: .public Context
   [archive.ID artifact.ID])
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis.lux
index b52a4de35..c7f8130fe 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis.lux
@@ -4,27 +4,27 @@
     [abstract
      [monad {"+" [do]}]]
     [control
-     ["." exception {"+" [exception:]}]]
+     ["[0]" exception {"+" [exception:]}]]
     [data
      [text
       ["%" format {"+" [format]}]]]
-    ["." meta
-     ["." location]]]]
-  ["." / "_"
-   ["#." type]
-   ["#." primitive]
-   ["#." structure]
-   ["#." reference]
-   ["#." case]
-   ["#." function]
-   ["/#" // "_"
-    ["#." extension]
-    ["/#" // "_"
+    ["[0]" meta
+     ["[0]" location]]]]
+  ["[0]" / "_"
+   ["[1][0]" type]
+   ["[1][0]" primitive]
+   ["[1][0]" structure]
+   ["[1][0]" reference]
+   ["[1][0]" case]
+   ["[1][0]" function]
+   ["/[1]" // "_"
+    ["[1][0]" extension]
+    ["/[1]" // "_"
      ["/" analysis {"+" [Analysis Operation Phase]}
-      ["#." macro {"+" [Expander]}]]
+      ["[1][0]" macro {"+" [Expander]}]]
      [///
       ["//" phase]
-      ["." reference]
+      ["[0]" reference]
       [meta
        [archive {"+" [Archive]}]]]]]])
 
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/case.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/case.lux
index c624c2549..fda27838d 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/case.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/case.lux
@@ -1,38 +1,38 @@
 (.module:
   [library
    [lux {"-" [case]}
-    ["." meta]
+    ["[0]" meta]
     [abstract
-     ["." monad {"+" [do]}]]
+     ["[0]" monad {"+" [do]}]]
     [control
-     ["." maybe]
-     ["." try]
-     ["." exception {"+" [exception:]}]]
+     ["[0]" maybe]
+     ["[0]" try]
+     ["[0]" exception {"+" [exception:]}]]
     [data
-     ["." product]
+     ["[0]" product]
      [text
       ["%" format {"+" [format]}]]
      [collection
-      ["." list ("#\." mix monoid functor)]]]
+      ["[0]" list ("[1]\[0]" mix monoid functor)]]]
     [math
      [number
       ["n" nat]]]
     [macro
-     ["." code]]
-    ["." type
-     ["." check]]]]
-  ["." / "_"
-   ["#." coverage {"+" [Coverage]}]
-   ["/#" // "_"
-    ["#." scope]
-    ["#." type]
-    ["#." structure]
-    ["/#" // "_"
-     ["#." extension]
+     ["[0]" code]]
+    ["[0]" type
+     ["[0]" check]]]]
+  ["[0]" / "_"
+   ["[1][0]" coverage {"+" [Coverage]}]
+   ["/[1]" // "_"
+    ["[1][0]" scope]
+    ["[1][0]" type]
+    ["[1][0]" structure]
+    ["/[1]" // "_"
+     ["[1][0]" extension]
      [//
       ["/" analysis {"+" [Pattern Analysis Operation Phase]}]
       [///
-       ["#" phase]]]]]])
+       ["[1]" phase]]]]]])
 
 (exception: .public (cannot_match_with_pattern {type Type} {pattern Code})
   (exception.report
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/case/coverage.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/case/coverage.lux
index eff243340..8427dd68b 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/case/coverage.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/case/coverage.lux
@@ -3,26 +3,26 @@
    [lux {"-" [Variant]}
     [abstract
      equivalence
-     ["." monad {"+" [do]}]]
+     ["[0]" monad {"+" [do]}]]
     [control
-     ["." maybe]
-     ["." try {"+" [Try]} ("#\." monad)]
-     ["." exception {"+" [exception:]}]]
+     ["[0]" maybe]
+     ["[0]" try {"+" [Try]} ("[1]\[0]" monad)]
+     ["[0]" exception {"+" [exception:]}]]
     [data
-     ["." bit ("#\." equivalence)]
-     ["." text
+     ["[0]" bit ("[1]\[0]" equivalence)]
+     ["[0]" text
       ["%" format {"+" [Format format]}]]
      [collection
-      ["." list ("#\." functor mix)]
-      ["." dictionary {"+" [Dictionary]}]]]
+      ["[0]" list ("[1]\[0]" functor mix)]
+      ["[0]" dictionary {"+" [Dictionary]}]]]
     [math
      [number
       ["n" nat]]]]]
-  ["." //// "_"
+  ["[0]" //// "_"
    [//
     ["/" analysis {"+" [Pattern Variant Operation]}]
     [///
-     ["#" phase ("#\." monad)]]]])
+     ["[1]" phase ("[1]\[0]" monad)]]]])
 
 (exception: .public (invalid_tuple_pattern)
   "Tuple size must be >= 2")
@@ -210,7 +210,7 @@
       _
       #0)))
 
-(open: "coverage/." ..equivalence)
+(open: "coverage/[0]" ..equivalence)
 
 (exception: .public (variants_do_not_match {addition_cases Nat} {so_far_cases Nat})
   (exception.report
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/function.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/function.lux
index 42eb48102..7574d89aa 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/function.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/function.lux
@@ -4,26 +4,26 @@
     [abstract
      monad]
     [control
-     ["." maybe]
+     ["[0]" maybe]
      ["ex" exception {"+" [exception:]}]]
     [data
-     ["." text
+     ["[0]" text
       ["%" format {"+" [format]}]]
      [collection
-      ["." list ("#\." monoid monad)]]]
-    ["." type
-     ["." check]]
-    ["." meta]]]
-  ["." // "_"
-   ["#." scope]
-   ["#." type]
-   ["#." inference]
-   ["/#" // "_"
-    ["#." extension]
+      ["[0]" list ("[1]\[0]" monoid monad)]]]
+    ["[0]" type
+     ["[0]" check]]
+    ["[0]" meta]]]
+  ["[0]" // "_"
+   ["[1][0]" scope]
+   ["[1][0]" type]
+   ["[1][0]" inference]
+   ["/[1]" // "_"
+    ["[1][0]" extension]
     [//
      ["/" analysis {"+" [Analysis Operation Phase]}]
      [///
-      ["#" phase]
+      ["[1]" phase]
       [reference {"+" []}
        [variable {"+" []}]]]]]])
 
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/inference.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/inference.lux
index fd49fe528..96d5b870e 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/inference.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/inference.lux
@@ -4,27 +4,27 @@
     [abstract
      [monad {"+" [do]}]]
     [control
-     ["." maybe]
-     ["." exception {"+" [exception:]}]]
+     ["[0]" maybe]
+     ["[0]" exception {"+" [exception:]}]]
     [data
-     ["." text
+     ["[0]" text
       ["%" format {"+" [format]}]]
      [collection
-      ["." list ("#\." functor monoid)]]]
+      ["[0]" list ("[1]\[0]" functor monoid)]]]
     [math
      [number
       ["n" nat]]]
-    ["." type
-     ["." check]]
-    ["." meta]]]
-  ["." // "_"
-   ["#." type]
-   ["/#" // "_"
-    ["#." extension]
+    ["[0]" type
+     ["[0]" check]]
+    ["[0]" meta]]]
+  ["[0]" // "_"
+   ["[1][0]" type]
+   ["/[1]" // "_"
+    ["[1][0]" extension]
     [//
      ["/" analysis {"+" [Tag Analysis Operation Phase]}]
      [///
-      ["#" phase ("#\." monad)]
+      ["[1]" phase ("[1]\[0]" monad)]
       [meta
        [archive {"+" [Archive]}]]]]]])
 
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/module.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/module.lux
index 1657f2b84..62bf284c3 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/module.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/module.lux
@@ -2,25 +2,25 @@
   [library
    [lux "*"
     [abstract
-     ["." monad {"+" [do]}]]
+     ["[0]" monad {"+" [do]}]]
     [control
      pipe
-     ["." try]
-     ["." exception {"+" [exception:]}]]
+     ["[0]" try]
+     ["[0]" exception {"+" [exception:]}]]
     [data
-     ["." text ("#\." equivalence)
+     ["[0]" text ("[1]\[0]" equivalence)
       ["%" format {"+" [format]}]]
      [collection
-      ["." list ("#\." mix functor)]
+      ["[0]" list ("[1]\[0]" mix functor)]
       [dictionary
-       ["." plist]]]]
-    ["." meta]]]
-  ["." /// "_"
-   ["#." extension]
+       ["[0]" plist]]]]
+    ["[0]" meta]]]
+  ["[0]" /// "_"
+   ["[1][0]" extension]
    [//
     ["/" analysis {"+" [Operation]}]
     [///
-     ["#" phase]]]])
+     ["[1]" phase]]]])
 
 (type: .public Tag Text)
 
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/primitive.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/primitive.lux
index d3351fdf8..17b41ba71 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/primitive.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/primitive.lux
@@ -3,13 +3,13 @@
    [lux {"-" [nat int rev]}
     [abstract
      monad]]]
-  ["." // "_"
-   ["#." type]
-   ["/#" // "_"
+  ["[0]" // "_"
+   ["[1][0]" type]
+   ["/[1]" // "_"
     [//
      ["/" analysis {"+" [Analysis Operation]}]
      [///
-      ["#" phase]]]]])
+      ["[1]" phase]]]]])
 
 (template [<name> <type> <tag>]
   [(def: .public (<name> value)
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/reference.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/reference.lux
index 490b7d24a..b38712c22 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/reference.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/reference.lux
@@ -4,21 +4,21 @@
     [abstract
      monad]
     [control
-     ["." exception {"+" [exception:]}]]
-    ["." meta]
+     ["[0]" exception {"+" [exception:]}]]
+    ["[0]" meta]
     [data
-     ["." text ("#\." equivalence)
+     ["[0]" text ("[1]\[0]" equivalence)
       ["%" format {"+" [format]}]]]]]
-  ["." // "_"
-   ["#." scope]
-   ["#." type]
-   ["/#" // "_"
-    ["#." extension]
+  ["[0]" // "_"
+   ["[1][0]" scope]
+   ["[1][0]" type]
+   ["/[1]" // "_"
+    ["[1][0]" extension]
     [//
      ["/" analysis {"+" [Analysis Operation]}]
      [///
-      ["#." reference]
-      ["#" phase]]]]])
+      ["[1][0]" reference]
+      ["[1]" phase]]]]])
 
 (exception: .public (foreign_module_has_not_been_imported {current Text} {foreign Text})
   (exception.report
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/scope.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/scope.lux
index 4f99341c0..aa452e685 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/scope.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/scope.lux
@@ -4,24 +4,24 @@
     [abstract
      monad]
     [control
-     ["." maybe ("#\." monad)]
-     ["." try]
-     ["." exception {"+" [exception:]}]]
+     ["[0]" maybe ("[1]\[0]" monad)]
+     ["[0]" try]
+     ["[0]" exception {"+" [exception:]}]]
     [data
-     ["." text ("#\." equivalence)]
-     ["." product]
+     ["[0]" text ("[1]\[0]" equivalence)]
+     ["[0]" product]
      [collection
-      ["." list ("#\." functor mix monoid)]
+      ["[0]" list ("[1]\[0]" functor mix monoid)]
       [dictionary
-       ["." plist]]]]]]
-  ["." /// "_"
-   ["#." extension]
+       ["[0]" plist]]]]]]
+  ["[0]" /// "_"
+   ["[1][0]" extension]
    [//
     ["/" analysis {"+" [Operation Phase]}]
     [///
      [reference
-      ["." variable {"+" [Register Variable]}]]
-     ["#" phase]]]])
+      ["[0]" variable {"+" [Register Variable]}]]
+     ["[1]" phase]]]])
 
 (type: Local
   (Bindings Text [Type Register]))
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/structure.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/structure.lux
index 7d544b4e6..3c18c178b 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/structure.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/structure.lux
@@ -1,39 +1,39 @@
 (.module:
   [library
    [lux "*"
-    ["." meta]
+    ["[0]" meta]
     [abstract
-     ["." monad {"+" [do]}]]
+     ["[0]" monad {"+" [do]}]]
     [control
-     ["." maybe]
-     ["." try]
-     ["." exception {"+" [exception:]}]
-     ["." state]]
+     ["[0]" maybe]
+     ["[0]" try]
+     ["[0]" exception {"+" [exception:]}]
+     ["[0]" state]]
     [data
-     ["." name]
-     ["." product]
+     ["[0]" name]
+     ["[0]" product]
      [text
       ["%" format {"+" [format]}]]
      [collection
-      ["." list ("#\." functor)]
-      ["." dictionary {"+" [Dictionary]}]]]
+      ["[0]" list ("[1]\[0]" functor)]
+      ["[0]" dictionary {"+" [Dictionary]}]]]
     [macro
-     ["." code]]
+     ["[0]" code]]
     [math
      [number
       ["n" nat]]]
-    ["." type
-     ["." check]]]]
-  ["." // "_"
-   ["#." type]
-   ["#." primitive]
-   ["#." inference]
-   ["/#" // "_"
-    ["#." extension]
+    ["[0]" type
+     ["[0]" check]]]]
+  ["[0]" // "_"
+   ["[1][0]" type]
+   ["[1][0]" primitive]
+   ["[1][0]" inference]
+   ["/[1]" // "_"
+    ["[1][0]" extension]
     [//
      ["/" analysis {"+" [Tag Analysis Operation Phase]}]
      [///
-      ["#" phase]
+      ["[1]" phase]
       [meta
        [archive {"+" [Archive]}]]]]]])
 
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/type.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/type.lux
index 33c58b397..7a5bde817 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/type.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/type.lux
@@ -4,17 +4,17 @@
     [abstract
      [monad {"+" [do]}]]
     [control
-     ["." function]
-     ["." try]]
+     ["[0]" function]
+     ["[0]" try]]
     [type
-     ["." check {"+" [Check]}]]
-    ["." meta]]]
-  ["." /// "_"
-   ["#." extension]
+     ["[0]" check {"+" [Check]}]]
+    ["[0]" meta]]]
+  ["[0]" /// "_"
+   ["[1][0]" extension]
    [//
     ["/" analysis {"+" [Operation]}]
     [///
-     ["#" phase]]]])
+     ["[1]" phase]]]])
 
 (def: .public (with_type expected)
   (All (_ a) (-> Type (Operation a) (Operation a)))
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/directive.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/directive.lux
index 652330748..7a42fbb7e 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/directive.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/directive.lux
@@ -1,26 +1,26 @@
 (.module:
   [library
    [lux "*"
-    ["." meta]
+    ["[0]" meta]
     [abstract
-     ["." monad {"+" [do]}]]
+     ["[0]" monad {"+" [do]}]]
     [control
-     ["." try]
-     ["." exception {"+" [exception:]}]]
+     ["[0]" try]
+     ["[0]" exception {"+" [exception:]}]]
     [data
      [text
       ["%" format {"+" [format]}]]
      [collection
-      ["." list ("#\." mix monoid)]]]]]
-  ["." // "_"
-   ["#." extension]
-   ["#." analysis
-    ["#/." type]]
-   ["/#" // "_"
+      ["[0]" list ("[1]\[0]" mix monoid)]]]]]
+  ["[0]" // "_"
+   ["[1][0]" extension]
+   ["[1][0]" analysis
+    ["[1]/[0]" type]]
+   ["/[1]" // "_"
     ["/" directive {"+" [Phase]}]
-    ["#." analysis
-     ["." evaluation]
-     ["#/." macro {"+" [Expander]}]]
+    ["[1][0]" analysis
+     ["[0]" evaluation]
+     ["[1]/[0]" macro {"+" [Expander]}]]
     [///
      ["//" phase]
      [reference {"+" []}
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension.lux
index 4812e38e3..637c7e0a6 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension.lux
@@ -4,18 +4,18 @@
     [abstract
      [equivalence {"+" [Equivalence]}]
      [hash {"+" [Hash]}]
-     ["." monad {"+" [do]}]]
+     ["[0]" monad {"+" [do]}]]
     [control
-     ["." function]
-     ["." try {"+" [Try]}]
-     ["." exception {"+" [exception:]}]]
+     ["[0]" function]
+     ["[0]" try {"+" [Try]}]
+     ["[0]" exception {"+" [exception:]}]]
     [data
-     ["." product]
-     ["." text ("#\." order)
+     ["[0]" product]
+     ["[0]" text ("[1]\[0]" order)
       ["%" format {"+" [Format format]}]]
      [collection
-      ["." list]
-      ["." dictionary {"+" [Dictionary]}]]]]]
+      ["[0]" list]
+      ["[0]" dictionary {"+" [Dictionary]}]]]]]
   [/////
    ["//" phase]
    [meta
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis.lux
index 1cba7387f..7cc98e804 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis.lux
@@ -3,12 +3,12 @@
    [lux "*"
     [data
      [collection
-      ["." dictionary]]]]]
+      ["[0]" dictionary]]]]]
   [////
    [analysis {"+" [Bundle]}
     [evaluation {"+" [Eval]}]]]
-  ["." / "_"
-   ["#." lux]])
+  ["[0]" / "_"
+   ["[1][0]" lux]])
 
 (def: .public (bundle eval host_specific)
   (-> Eval Bundle Bundle)
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/common_lisp.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/common_lisp.lux
index 7f013b821..199bac7ce 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/common_lisp.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/common_lisp.lux
@@ -1,32 +1,32 @@
 (.module:
   [library
    [lux "*"
-    ["." ffi]
+    ["[0]" ffi]
     [abstract
-     ["." monad {"+" [do]}]]
+     ["[0]" monad {"+" [do]}]]
     [control
      ["<>" parser
       ["<c>" code {"+" [Parser]}]]]
     [data
      [collection
-      ["." array {"+" [Array]}]
-      ["." dictionary]
-      ["." list]]]
-    ["." type
-     ["." check]]
+      ["[0]" array {"+" [Array]}]
+      ["[0]" dictionary]
+      ["[0]" list]]]
+    ["[0]" type
+     ["[0]" check]]
     ["@" target
      ["_" common_lisp]]]]
   [//
    ["/" lux {"+" [custom]}]
    [//
-    ["." bundle]
+    ["[0]" bundle]
     [//
-     ["." analysis "_"
-      ["#/." type]]
+     ["[0]" analysis "_"
+      ["[1]/[0]" type]]
      [//
-      ["." analysis {"+" [Analysis Operation Phase Handler Bundle]}]
+      ["[0]" analysis {"+" [Analysis Operation Phase Handler Bundle]}]
       [///
-       ["." phase]]]]]])
+       ["[0]" phase]]]]]])
 
 (def: .public bundle
   Bundle
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/js.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/js.lux
index d0e1c2fa4..f5f47f98d 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/js.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/js.lux
@@ -1,32 +1,32 @@
 (.module:
   [library
    [lux "*"
-    ["." ffi]
+    ["[0]" ffi]
     [abstract
-     ["." monad {"+" [do]}]]
+     ["[0]" monad {"+" [do]}]]
     [control
      ["<>" parser
       ["<c>" code {"+" [Parser]}]]]
     [data
      [collection
-      ["." array {"+" [Array]}]
-      ["." dictionary]
-      ["." list]]]
-    ["." type
-     ["." check]]
+      ["[0]" array {"+" [Array]}]
+      ["[0]" dictionary]
+      ["[0]" list]]]
+    ["[0]" type
+     ["[0]" check]]
     ["@" target
      ["_" js]]]]
   [//
    ["/" lux {"+" [custom]}]
    [//
-    ["." bundle]
+    ["[0]" bundle]
     [//
-     ["." analysis "_"
-      ["#/." type]]
+     ["[0]" analysis "_"
+      ["[1]/[0]" type]]
      [//
-      ["." analysis {"+" [Analysis Operation Phase Handler Bundle]}]
+      ["[0]" analysis {"+" [Analysis Operation Phase Handler Bundle]}]
       [///
-       ["." phase]]]]]])
+       ["[0]" phase]]]]]])
 
 (def: array::new
   Handler
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/jvm.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/jvm.lux
index fc78d4fdb..8591286fb 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/jvm.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/jvm.lux
@@ -1,59 +1,59 @@
 (.module:
   [library
    [lux {"-" [Type Module primitive type char int]}
-    ["." ffi {"+" [import:]}]
-    ["." meta]
+    ["[0]" ffi {"+" [import:]}]
+    ["[0]" meta]
     [abstract
-     ["." monad {"+" [do]}]]
+     ["[0]" monad {"+" [do]}]]
     [control
      pipe
-     ["." maybe]
-     ["." try {"+" [Try]} ("#\." monad)]
-     ["." exception {"+" [exception:]}]
+     ["[0]" maybe]
+     ["[0]" try {"+" [Try]} ("[1]\[0]" monad)]
+     ["[0]" exception {"+" [exception:]}]
      ["<>" parser
-      ["<.>" code {"+" [Parser]}]
-      ["<.>" text]]]
+      ["<[0]>" code {"+" [Parser]}]
+      ["<[0]>" text]]]
     [data
-     ["." product]
-     ["." text ("#\." equivalence)
+     ["[0]" product]
+     ["[0]" text ("[1]\[0]" equivalence)
       ["%" format {"+" [format]}]]
      [collection
-      ["." list ("#\." mix monad monoid)]
-      ["." array]
-      ["." dictionary {"+" [Dictionary]}]]]
+      ["[0]" list ("[1]\[0]" mix monad monoid)]
+      ["[0]" array]
+      ["[0]" dictionary {"+" [Dictionary]}]]]
     [math
      [number
       ["n" nat]]]
     [target
-     ["." jvm "_"
-      [".!" reflection]
+     ["[0]" jvm "_"
+      ["[0]!" reflection]
       [encoding
        [name {"+" [External]}]]
-      ["#" type {"+" [Type Argument Typed]} ("#\." equivalence)
-       ["." category {"+" [Void Value' Value Return' Return Primitive Object Class Array Var Parameter Method]}]
-       ["." box]
-       ["." reflection]
-       ["." descriptor]
-       ["." signature]
-       ["#_." parser]
-       ["#_." alias {"+" [Aliasing]}]
-       [".T" lux {"+" [Mapping]}]]]]
-    ["." type
-     ["." check {"+" [Check]} ("#\." monad)]]]]
-  ["." // "_"
-   ["#." lux {"+" [custom]}]
-   ["/#" //
-    ["#." bundle]
-    ["/#" // "_"
+      ["[1]" type {"+" [Type Argument Typed]} ("[1]\[0]" equivalence)
+       ["[0]" category {"+" [Void Value' Value Return' Return Primitive Object Class Array Var Parameter Method]}]
+       ["[0]" box]
+       ["[0]" reflection]
+       ["[0]" descriptor]
+       ["[0]" signature]
+       ["[1]_[0]" parser]
+       ["[1]_[0]" alias {"+" [Aliasing]}]
+       ["[0]T" lux {"+" [Mapping]}]]]]
+    ["[0]" type
+     ["[0]" check {"+" [Check]} ("[1]\[0]" monad)]]]]
+  ["[0]" // "_"
+   ["[1][0]" lux {"+" [custom]}]
+   ["/[1]" //
+    ["[1][0]" bundle]
+    ["/[1]" // "_"
      [analysis
-      [".A" type]
-      [".A" inference]
-      ["." scope]]
-     ["/#" // "_"
-      ["#." analysis {"+" [Analysis Operation Phase Handler Bundle]}]
-      ["#." synthesis]
+      ["[0]A" type]
+      ["[0]A" inference]
+      ["[0]" scope]]
+     ["/[1]" // "_"
+      ["[1][0]" analysis {"+" [Analysis Operation Phase Handler Bundle]}]
+      ["[1][0]" synthesis]
       [///
-       ["." phase ("#\." monad)]
+       ["[0]" phase ("[1]\[0]" monad)]
        [meta
         [archive {"+" [Archive]}
          [descriptor {"+" [Module]}]]]]]]]])
@@ -61,18 +61,18 @@
 (import: java/lang/ClassLoader)
 
 (import: java/lang/Object
-  ["#::."
+  ["[1]::[0]"
    (equals [java/lang/Object] boolean)])
 
 (import: java/lang/reflect/Type)
 
 (import: (java/lang/reflect/TypeVariable d)
-  ["#::."
+  ["[1]::[0]"
    (getName [] java/lang/String)
    (getBounds [] [java/lang/reflect/Type])])
 
 (import: java/lang/reflect/Modifier
-  ["#::."
+  ["[1]::[0]"
    ("static" isStatic [int] boolean)
    ("static" isFinal [int] boolean)
    ("static" isInterface [int] boolean)
@@ -81,7 +81,7 @@
 (import: java/lang/annotation/Annotation)
 
 (import: java/lang/reflect/Method
-  ["#::."
+  ["[1]::[0]"
    (getName [] java/lang/String)
    (getModifiers [] int)
    (getDeclaringClass [] (java/lang/Class java/lang/Object))
@@ -92,7 +92,7 @@
    (getDeclaredAnnotations [] [java/lang/annotation/Annotation])])
 
 (import: (java/lang/reflect/Constructor c)
-  ["#::."
+  ["[1]::[0]"
    (getModifiers [] int)
    (getDeclaringClass [] (java/lang/Class c))
    (getTypeParameters [] [(java/lang/reflect/TypeVariable (java/lang/reflect/Constructor c))])
@@ -101,7 +101,7 @@
    (getDeclaredAnnotations [] [java/lang/annotation/Annotation])])
 
 (import: (java/lang/Class c)
-  ["#::."
+  ["[1]::[0]"
    ("static" forName [java/lang/String] "try" (java/lang/Class java/lang/Object))
    (getName [] java/lang/String)
    (getModifiers [] int)
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/lua.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/lua.lux
index 83aad6970..dd7d43516 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/lua.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/lua.lux
@@ -1,32 +1,32 @@
 (.module:
   [library
    [lux "*"
-    ["." ffi]
+    ["[0]" ffi]
     [abstract
-     ["." monad {"+" [do]}]]
+     ["[0]" monad {"+" [do]}]]
     [control
      ["<>" parser
-      ["<.>" code {"+" [Parser]}]]]
+      ["<[0]>" code {"+" [Parser]}]]]
     [data
      [collection
-      ["." array {"+" [Array]}]
-      ["." dictionary]
-      ["." list]]]
-    ["." type
-     ["." check]]
+      ["[0]" array {"+" [Array]}]
+      ["[0]" dictionary]
+      ["[0]" list]]]
+    ["[0]" type
+     ["[0]" check]]
     ["@" target
      ["_" lua]]]]
   [//
    ["/" lux {"+" [custom]}]
    [//
-    ["." bundle]
+    ["[0]" bundle]
     [//
-     ["." analysis "_"
-      ["#/." type]]
+     ["[0]" analysis "_"
+      ["[1]/[0]" type]]
      [//
-      ["." analysis {"+" [Analysis Operation Phase Handler Bundle]}]
+      ["[0]" analysis {"+" [Analysis Operation Phase Handler Bundle]}]
       [///
-       ["." phase]]]]]])
+       ["[0]" phase]]]]]])
 
 (def: Nil
   (for {@.lua ffi.Nil}
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/lux.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/lux.lux
index f83870333..bf517b526 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/lux.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/lux.lux
@@ -2,35 +2,35 @@
   [library
    [lux "*"
     [abstract
-     ["." monad {"+" [do]}]]
+     ["[0]" monad {"+" [do]}]]
     [control
-     ["." maybe]
-     ["." try]
-     ["." exception {"+" [exception:]}]
+     ["[0]" maybe]
+     ["[0]" try]
+     ["[0]" exception {"+" [exception:]}]
      ["<>" parser
-      ["<.>" code {"+" [Parser]}]]]
+      ["<[0]>" code {"+" [Parser]}]]]
     [data
-     ["." text
+     ["[0]" text
       ["%" format {"+" [format]}]]
      [collection
-      ["." list ("#\." functor)]
-      ["." dictionary {"+" [Dictionary]}]]]
+      ["[0]" list ("[1]\[0]" functor)]
+      ["[0]" dictionary {"+" [Dictionary]}]]]
     [math
      [number
       ["n" nat]]]
     [type
-     ["." check]]
-    ["." meta]]]
-  ["." ///
-   ["#." bundle]
-   ["/#" // "_"
+     ["[0]" check]]
+    ["[0]" meta]]]
+  ["[0]" ///
+   ["[1][0]" bundle]
+   ["/[1]" // "_"
     [analysis
-     [".A" type]]
+     ["[0]A" type]]
     [//
-     ["#." analysis {"+" [Analysis Operation Phase Handler Bundle]}
+     ["[1][0]" analysis {"+" [Analysis Operation Phase Handler Bundle]}
       [evaluation {"+" [Eval]}]]
      [///
-      ["#" phase]
+      ["[1]" phase]
       [meta
        [archive {"+" [Archive]}]]]]]])
 
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/php.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/php.lux
index 631e22949..227bc4539 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/php.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/php.lux
@@ -1,32 +1,32 @@
 (.module:
   [library
    [lux "*"
-    ["." ffi]
+    ["[0]" ffi]
     [abstract
-     ["." monad {"+" [do]}]]
+     ["[0]" monad {"+" [do]}]]
     [control
      ["<>" parser
       ["<c>" code {"+" [Parser]}]]]
     [data
      [collection
-      ["." array {"+" [Array]}]
-      ["." dictionary]
-      ["." list]]]
-    ["." type
-     ["." check]]
+      ["[0]" array {"+" [Array]}]
+      ["[0]" dictionary]
+      ["[0]" list]]]
+    ["[0]" type
+     ["[0]" check]]
     ["@" target
      ["_" php]]]]
   [//
    ["/" lux {"+" [custom]}]
    [//
-    ["." bundle]
+    ["[0]" bundle]
     [//
-     ["." analysis "_"
-      ["#/." type]]
+     ["[0]" analysis "_"
+      ["[1]/[0]" type]]
      [//
-      ["." analysis {"+" [Analysis Operation Phase Handler Bundle]}]
+      ["[0]" analysis {"+" [Analysis Operation Phase Handler Bundle]}]
       [///
-       ["." phase]]]]]])
+       ["[0]" phase]]]]]])
 
 (def: array::new
   Handler
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/python.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/python.lux
index 6b43a1179..2f07f677b 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/python.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/python.lux
@@ -1,32 +1,32 @@
 (.module:
   [library
    [lux "*"
-    ["." ffi]
+    ["[0]" ffi]
     [abstract
-     ["." monad {"+" [do]}]]
+     ["[0]" monad {"+" [do]}]]
     [control
      ["<>" parser
-      ["<.>" code {"+" [Parser]}]]]
+      ["<[0]>" code {"+" [Parser]}]]]
     [data
      [collection
-      ["." array {"+" [Array]}]
-      ["." dictionary]
-      ["." list]]]
-    ["." type
-     ["." check]]
+      ["[0]" array {"+" [Array]}]
+      ["[0]" dictionary]
+      ["[0]" list]]]
+    ["[0]" type
+     ["[0]" check]]
     ["@" target
      ["_" python]]]]
   [//
    ["/" lux {"+" [custom]}]
    [//
-    ["." bundle]
+    ["[0]" bundle]
     [//
-     ["." analysis "_"
-      ["#/." type]]
+     ["[0]" analysis "_"
+      ["[1]/[0]" type]]
      [//
-      ["." analysis {"+" [Analysis Operation Phase Handler Bundle]}]
+      ["[0]" analysis {"+" [Analysis Operation Phase Handler Bundle]}]
       [///
-       ["." phase]]]]]])
+       ["[0]" phase]]]]]])
 
 (def: array::new
   Handler
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/r.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/r.lux
index b9a92f5fe..f0e6cb835 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/r.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/r.lux
@@ -1,32 +1,32 @@
 (.module:
   [library
    [lux "*"
-    ["." ffi]
+    ["[0]" ffi]
     [abstract
-     ["." monad {"+" [do]}]]
+     ["[0]" monad {"+" [do]}]]
     [control
      ["<>" parser
       ["<c>" code {"+" [Parser]}]]]
     [data
      [collection
-      ["." array {"+" [Array]}]
-      ["." dictionary]
-      ["." list]]]
-    ["." type
-     ["." check]]
+      ["[0]" array {"+" [Array]}]
+      ["[0]" dictionary]
+      ["[0]" list]]]
+    ["[0]" type
+     ["[0]" check]]
     ["@" target
      ["_" r]]]]
   [//
    ["/" lux {"+" [custom]}]
    [//
-    ["." bundle]
+    ["[0]" bundle]
     [//
-     ["." analysis "_"
-      ["#/." type]]
+     ["[0]" analysis "_"
+      ["[1]/[0]" type]]
      [//
-      ["." analysis {"+" [Analysis Operation Phase Handler Bundle]}]
+      ["[0]" analysis {"+" [Analysis Operation Phase Handler Bundle]}]
       [///
-       ["." phase]]]]]])
+       ["[0]" phase]]]]]])
 
 (def: .public bundle
   Bundle
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/ruby.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/ruby.lux
index bcb639c95..d267ca612 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/ruby.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/ruby.lux
@@ -1,32 +1,32 @@
 (.module:
   [library
    [lux "*"
-    ["." ffi]
+    ["[0]" ffi]
     [abstract
-     ["." monad {"+" [do]}]]
+     ["[0]" monad {"+" [do]}]]
     [control
      ["<>" parser
       ["<c>" code {"+" [Parser]}]]]
     [data
      [collection
-      ["." array {"+" [Array]}]
-      ["." dictionary]
-      ["." list]]]
-    ["." type
-     ["." check]]
+      ["[0]" array {"+" [Array]}]
+      ["[0]" dictionary]
+      ["[0]" list]]]
+    ["[0]" type
+     ["[0]" check]]
     ["@" target
      ["_" ruby]]]]
   [//
    ["/" lux {"+" [custom]}]
    [//
-    ["." bundle]
+    ["[0]" bundle]
     [//
-     ["." analysis "_"
-      ["#/." type]]
+     ["[0]" analysis "_"
+      ["[1]/[0]" type]]
      [//
-      ["." analysis {"+" [Analysis Operation Phase Handler Bundle]}]
+      ["[0]" analysis {"+" [Analysis Operation Phase Handler Bundle]}]
       [///
-       ["." phase]]]]]])
+       ["[0]" phase]]]]]])
 
 (def: array::new
   Handler
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/scheme.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/scheme.lux
index 0e149963c..688803a33 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/scheme.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/scheme.lux
@@ -1,32 +1,32 @@
 (.module:
   [library
    [lux "*"
-    ["." ffi]
+    ["[0]" ffi]
     [abstract
-     ["." monad {"+" [do]}]]
+     ["[0]" monad {"+" [do]}]]
     [control
      ["<>" parser
       ["<c>" code {"+" [Parser]}]]]
     [data
      [collection
-      ["." array {"+" [Array]}]
-      ["." dictionary]
-      ["." list]]]
-    ["." type
-     ["." check]]
+      ["[0]" array {"+" [Array]}]
+      ["[0]" dictionary]
+      ["[0]" list]]]
+    ["[0]" type
+     ["[0]" check]]
     ["@" target
      ["_" scheme]]]]
   [//
    ["/" lux {"+" [custom]}]
    [//
-    ["." bundle]
+    ["[0]" bundle]
     [//
-     ["." analysis "_"
-      ["#/." type]]
+     ["[0]" analysis "_"
+      ["[1]/[0]" type]]
      [//
-      ["." analysis {"+" [Analysis Operation Phase Handler Bundle]}]
+      ["[0]" analysis {"+" [Analysis Operation Phase Handler Bundle]}]
       [///
-       ["." phase]]]]]])
+       ["[0]" phase]]]]]])
 
 (def: array::new
   Handler
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/bundle.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/bundle.lux
index 07efebff3..b8c30a7bb 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/bundle.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/bundle.lux
@@ -4,11 +4,11 @@
     [abstract
      [monad {"+" [do]}]]
     [data
-     ["." text
+     ["[0]" text
       ["%" format {"+" [format]}]]
      [collection
-      ["." list ("#\." functor)]
-      ["." dictionary {"+" [Dictionary]}]]]]]
+      ["[0]" list ("[1]\[0]" functor)]
+      ["[0]" dictionary {"+" [Dictionary]}]]]]]
   [// {"+" [Handler Bundle]}])
 
 (def: .public empty
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/directive/jvm.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/directive/jvm.lux
index 8f98a4a0c..6dc2b393d 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/directive/jvm.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/directive/jvm.lux
@@ -1,65 +1,65 @@
 (.module:
   [library
    [lux {"-" [Type Definition]}
-    ["." host]
+    ["[0]" host]
     [abstract
-     ["." monad {"+" [do]}]]
+     ["[0]" monad {"+" [do]}]]
     [control
      [pipe {"+" [case>]}]
-     ["<>" parser ("#\." monad)
+     ["<>" parser ("[1]\[0]" monad)
       ["<c>" code {"+" [Parser]}]
       ["<t>" text]]]
     [data
-     ["." product]
+     ["[0]" product]
      [text
       ["%" format {"+" [format]}]]
      [collection
-      ["." list ("#\." functor mix)]
-      ["." dictionary]
-      ["." row]]]
+      ["[0]" list ("[1]\[0]" functor mix)]
+      ["[0]" dictionary]
+      ["[0]" row]]]
     [macro
-     ["." template]]
+     ["[0]" template]]
     [math
      [number
-      ["." i32]]]
+      ["[0]" i32]]]
     [target
      [jvm
       ["_" bytecode {"+" [Bytecode]}]
-      ["." modifier {"+" [Modifier]} ("#\." monoid)]
-      ["." attribute]
-      ["." field]
-      ["." version]
-      ["." class]
-      ["." constant
-       ["." pool {"+" [Resource]}]]
+      ["[0]" modifier {"+" [Modifier]} ("[1]\[0]" monoid)]
+      ["[0]" attribute]
+      ["[0]" field]
+      ["[0]" version]
+      ["[0]" class]
+      ["[0]" constant
+       ["[0]" pool {"+" [Resource]}]]
       [encoding
-       ["." name]]
-      ["." type {"+" [Type Constraint Argument Typed]}
+       ["[0]" name]]
+      ["[0]" type {"+" [Type Constraint Argument Typed]}
        [category {"+" [Void Value Return Method Primitive Object Class Array Var Parameter]}]
-       [".T" lux {"+" [Mapping]}]
-       ["." signature]
-       ["." descriptor {"+" [Descriptor]}]
-       ["." parser]]]]
+       ["[0]T" lux {"+" [Mapping]}]
+       ["[0]" signature]
+       ["[0]" descriptor {"+" [Descriptor]}]
+       ["[0]" parser]]]]
     [tool
      [compiler
-      ["." analysis]
-      ["." synthesis]
-      ["." generation]
-      ["." directive {"+" [Handler Bundle]}]
-      ["." phase
+      ["[0]" analysis]
+      ["[0]" synthesis]
+      ["[0]" generation]
+      ["[0]" directive {"+" [Handler Bundle]}]
+      ["[0]" phase
        [analysis
-        [".A" type]]
-       ["." generation
+        ["[0]A" type]]
+       ["[0]" generation
         [jvm
          [runtime {"+" [Anchor Definition]}]]]
-       ["." extension
-        ["." bundle]
+       ["[0]" extension
+        ["[0]" bundle]
         [analysis
-         ["." jvm]]
+         ["[0]" jvm]]
         [directive
          ["/" lux]]]]]]
     [type
-     ["." check {"+" [Check]}]]]])
+     ["[0]" check {"+" [Check]}]]]])
 
 (type: Operation
   (directive.Operation Anchor (Bytecode Any) Definition))
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/directive/lux.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/directive/lux.lux
index c1c0ee476..c9a050c6d 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/directive/lux.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/directive/lux.lux
@@ -1,47 +1,47 @@
 (.module:
   [library
    [lux "*"
-    ["." meta]
+    ["[0]" meta]
     [abstract
-     ["." monad {"+" [do]}]]
+     ["[0]" monad {"+" [do]}]]
     [control
      [io {"+" [IO]}]
-     ["." try]
-     ["." exception {"+" [exception:]}]
+     ["[0]" try]
+     ["[0]" exception {"+" [exception:]}]
      ["<>" parser
-      ["<.>" code {"+" [Parser]}]]]
+      ["<[0]>" code {"+" [Parser]}]]]
     [data
-     ["." product]
-     ["." text
+     ["[0]" product]
+     ["[0]" text
       ["%" format {"+" [format]}]]
      [collection
-      ["." dictionary]]]
+      ["[0]" dictionary]]]
     [macro
-     ["." code]]
+     ["[0]" code]]
     [math
      [number
       ["n" nat]]]
-    ["." type {"+" [:sharing]}
-     ["." check]]]]
-  ["." /// {"+" [Extender]}
-   ["#." bundle]
-   ["#." analysis]
-   ["/#" // "_"
+    ["[0]" type {"+" [:sharing]}
+     ["[0]" check]]]]
+  ["[0]" /// {"+" [Extender]}
+   ["[1][0]" bundle]
+   ["[1][0]" analysis]
+   ["/[1]" // "_"
     [analysis
-     ["." module]
-     [".A" type]]
-    ["/#" // "_"
-     ["#." analysis
+     ["[0]" module]
+     ["[0]A" type]]
+    ["/[1]" // "_"
+     ["[1][0]" analysis
       [macro {"+" [Expander]}]
-      ["#/." evaluation]]
-     ["#." synthesis {"+" [Synthesis]}]
-     ["#." generation {"+" [Context]}]
-     ["#." directive {"+" [Import Requirements Phase Operation Handler Bundle]}]
-     ["#." program {"+" [Program]}]
+      ["[1]/[0]" evaluation]]
+     ["[1][0]" synthesis {"+" [Synthesis]}]
+     ["[1][0]" generation {"+" [Context]}]
+     ["[1][0]" directive {"+" [Import Requirements Phase Operation Handler Bundle]}]
+     ["[1][0]" program {"+" [Program]}]
      [///
-      ["." phase]
+      ["[0]" phase]
       [meta
-       ["." archive {"+" [Archive]}]]]]]])
+       ["[0]" archive {"+" [Archive]}]]]]]])
 
 (def: .public (custom [syntax handler])
   (All (_ anchor expression directive s)
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/common_lisp.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/common_lisp.lux
index 0992cd220..269dcfc5d 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/common_lisp.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/common_lisp.lux
@@ -3,10 +3,10 @@
    [lux "*"
     [data
      [collection
-      ["." dictionary]]]]]
-  ["." / "_"
-   ["#." common]
-   ["#." host]
+      ["[0]" dictionary]]]]]
+  ["[0]" / "_"
+   ["[1][0]" common]
+   ["[1][0]" host]
    [////
     [generation
      [common_lisp
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/common_lisp/common.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/common_lisp/common.lux
index e10996079..facb40e7e 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/common_lisp/common.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/common_lisp/common.lux
@@ -2,41 +2,41 @@
   [library
    [lux "*"
     [abstract
-     ["." monad {"+" [do]}]]
+     ["[0]" monad {"+" [do]}]]
     [control
-     ["." function]
-     ["." try]
+     ["[0]" function]
+     ["[0]" try]
      ["<>" parser
       ["<s>" synthesis {"+" [Parser]}]]]
     [data
-     ["." product]
-     ["." text
+     ["[0]" product]
+     ["[0]" text
       ["%" format {"+" [format]}]]
      [collection
-      ["." dictionary]
-      ["." set]
-      ["." list ("#\." functor mix)]]]
+      ["[0]" dictionary]
+      ["[0]" set]
+      ["[0]" list ("[1]\[0]" functor mix)]]]
     [math
      [number
       ["f" frac]]]
     ["@" target
      ["_" common_lisp {"+" [Expression]}]]]]
-  ["." //// "_"
+  ["[0]" //// "_"
    ["/" bundle]
-   ["/#" // "_"
-    ["." extension]
+   ["/[1]" // "_"
+    ["[0]" extension]
     [generation
      [extension {"+" [Nullary Unary Binary Trinary
                       nullary unary binary trinary]}]
-     ["." reference]
+     ["[0]" reference]
      ["//" common_lisp "_"
-      ["#." runtime {"+" [Operation Phase Handler Bundle Generator]}]
-      ["#." case]]]
+      ["[1][0]" runtime {"+" [Operation Phase Handler Bundle Generator]}]
+      ["[1][0]" case]]]
     [//
-     ["." synthesis {"+" [%synthesis]}]
-     ["." generation]
+     ["[0]" synthesis {"+" [%synthesis]}]
+     ["[0]" generation]
      [///
-      ["#" phase]]]]])
+      ["[1]" phase]]]]])
 
 (def: .public (custom [parser handler])
   (All (_ s)
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/common_lisp/host.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/common_lisp/host.lux
index 5a3e8bc9a..6d5f5fdd5 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/common_lisp/host.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/common_lisp/host.lux
@@ -2,36 +2,36 @@
   [library
    [lux "*"
     [abstract
-     ["." monad {"+" [do]}]]
+     ["[0]" monad {"+" [do]}]]
     [control
-     ["." function]
+     ["[0]" function]
      ["<>" parser
       ["<s>" synthesis {"+" [Parser]}]]]
     [data
      [collection
-      ["." dictionary]
-      ["." list]]
+      ["[0]" dictionary]
+      ["[0]" list]]
      [text
       ["%" format {"+" [format]}]]]
     [target
      ["_" common_lisp {"+" [Var Expression]}]]]]
-  ["." // "_"
-   ["#." common {"+" [custom]}]
-   ["//#" /// "_"
+  ["[0]" // "_"
+   ["[1][0]" common {"+" [custom]}]
+   ["//[1]" /// "_"
     ["/" bundle]
-    ["/#" // "_"
-     ["." extension]
+    ["/[1]" // "_"
+     ["[0]" extension]
      [generation
       [extension {"+" [Nullary Unary Binary Trinary
                        nullary unary binary trinary]}]
-      ["." reference]
+      ["[0]" reference]
       ["//" common_lisp "_"
-       ["#." runtime {"+" [Operation Phase Handler Bundle
-                           with_vars]}]]]
-     ["/#" // "_"
-      ["." generation]
-      ["//#" /// "_"
-       ["#." phase]]]]]])
+       ["[1][0]" runtime {"+" [Operation Phase Handler Bundle
+                             with_vars]}]]]
+     ["/[1]" // "_"
+      ["[0]" generation]
+      ["//[1]" /// "_"
+       ["[1][0]" phase]]]]]])
 
 (def: .public bundle
   Bundle
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/js.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/js.lux
index 4f4bb191f..967a2df34 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/js.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/js.lux
@@ -3,10 +3,10 @@
    [lux "*"
     [data
      [collection
-      ["." dictionary]]]]]
-  ["." / "_"
-   ["#." common]
-   ["#." host]
+      ["[0]" dictionary]]]]]
+  ["[0]" / "_"
+   ["[1][0]" common]
+   ["[1][0]" host]
    [////
     [generation
      [js
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/js/common.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/js/common.lux
index 6e910d32c..1072bffe4 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/js/common.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/js/common.lux
@@ -2,41 +2,41 @@
   [library
    [lux "*"
     [abstract
-     ["." monad {"+" [do]}]]
+     ["[0]" monad {"+" [do]}]]
     [control
-     ["." try]
+     ["[0]" try]
      ["<>" parser
       ["<s>" synthesis {"+" [Parser]}]]]
     [data
-     ["." product]
+     ["[0]" product]
      [collection
-      ["." list ("#\." functor)]
-      ["." dictionary]]]
+      ["[0]" list ("[1]\[0]" functor)]
+      ["[0]" dictionary]]]
     [math
      [number
       ["f" frac]]]
     ["@" target
      ["_" js {"+" [Literal Expression Statement]}]]]]
-  ["." //// "_"
+  ["[0]" //// "_"
    ["/" bundle]
-   ["/#" // "_"
-    ["." extension]
+   ["/[1]" // "_"
+    ["[0]" extension]
     [generation
      [extension {"+" [Nullary Unary Binary Trinary
                       nullary unary binary trinary]}]
      ["//" js "_"
-      ["#." runtime {"+" [Operation Phase Phase! Handler Bundle Generator]}]
-      ["#." primitive]
-      ["#." structure]
-      ["#." reference]
-      ["#." case]
-      ["#." loop]
-      ["#." function]]]
+      ["[1][0]" runtime {"+" [Operation Phase Phase! Handler Bundle Generator]}]
+      ["[1][0]" primitive]
+      ["[1][0]" structure]
+      ["[1][0]" reference]
+      ["[1][0]" case]
+      ["[1][0]" loop]
+      ["[1][0]" function]]]
     [//
      [analysis {"+" []}]
-     ["." synthesis {"+" [%synthesis]}]
+     ["[0]" synthesis {"+" [%synthesis]}]
      [///
-      ["#" phase ("#\." monad)]]]]])
+      ["[1]" phase ("[1]\[0]" monad)]]]]])
 
 (def: .public (custom [parser handler])
   (All (_ s)
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/js/host.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/js/host.lux
index a78bfe796..49d99437e 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/js/host.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/js/host.lux
@@ -2,33 +2,33 @@
   [library
    [lux "*"
     [abstract
-     ["." monad {"+" [do]}]]
+     ["[0]" monad {"+" [do]}]]
     [control
-     ["." function]
+     ["[0]" function]
      ["<>" parser
       ["<s>" synthesis {"+" [Parser]}]]]
     [data
      [collection
-      ["." dictionary]
-      ["." list]]]
+      ["[0]" dictionary]
+      ["[0]" list]]]
     [target
      ["_" js {"+" [Var Expression]}]]]]
-  ["." // "_"
-   ["#." common {"+" [custom]}]
-   ["//#" /// "_"
+  ["[0]" // "_"
+   ["[1][0]" common {"+" [custom]}]
+   ["//[1]" /// "_"
     ["/" bundle]
-    ["/#" // "_"
-     ["." extension]
+    ["/[1]" // "_"
+     ["[0]" extension]
      [generation
       [extension {"+" [Nullary Unary Binary Trinary
                        nullary unary binary trinary]}]
       ["//" js "_"
-       ["#." runtime {"+" [Operation Phase Handler Bundle
-                           with_vars]}]]]
-     ["/#" // "_"
-      ["." generation]
-      ["//#" /// "_"
-       ["#." phase]]]]]])
+       ["[1][0]" runtime {"+" [Operation Phase Handler Bundle
+                               with_vars]}]]]
+     ["/[1]" // "_"
+      ["[0]" generation]
+      ["//[1]" /// "_"
+       ["[1][0]" phase]]]]]])
 
 (def: array::new
   (Unary Expression)
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/jvm.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/jvm.lux
index cbd03e12b..77c0d6572 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/jvm.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/jvm.lux
@@ -3,10 +3,10 @@
    [lux "*"
     [data
      [collection
-      ["." dictionary]]]]]
-  ["." / "_"
-   ["#." common]
-   ["#." host]
+      ["[0]" dictionary]]]]]
+  ["[0]" / "_"
+   ["[1][0]" common]
+   ["[1][0]" host]
    [////
     [generation
      [jvm
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/jvm/common.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/jvm/common.lux
index 56daa1075..2ff3fd02a 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/jvm/common.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/jvm/common.lux
@@ -2,43 +2,43 @@
   [library
    [lux {"-" [Type]}
     [abstract
-     ["." monad {"+" [do]}]]
+     ["[0]" monad {"+" [do]}]]
     [control
-     ["." try]
-     ["." exception {"+" [exception:]}]
+     ["[0]" try]
+     ["[0]" exception {"+" [exception:]}]
      ["<>" parser
       ["<s>" synthesis {"+" [Parser]}]]]
     [data
-     ["." product]
+     ["[0]" product]
      [number
-      ["." i32]
+      ["[0]" i32]
       ["f" frac]]
      [collection
-      ["." list ("#\." monad)]
-      ["." dictionary]]]
+      ["[0]" list ("[1]\[0]" monad)]
+      ["[0]" dictionary]]]
     [target
      [jvm
-      ["_" bytecode {"+" [Label Bytecode]} ("#\." monad)]
+      ["_" bytecode {"+" [Label Bytecode]} ("[1]\[0]" monad)]
       [encoding
-       ["." signed {"+" [S4]}]]
-      ["." type {"+" [Type]}
+       ["[0]" signed {"+" [S4]}]]
+      ["[0]" type {"+" [Type]}
        [category {"+" [Primitive Class]}]]]]]]
-  ["." ///// "_"
+  ["[0]" ///// "_"
    [generation
     [extension {"+" [Nullary Unary Binary Trinary Variadic
                      nullary unary binary trinary variadic]}]
     ["///" jvm "_"
-     ["#." value]
-     ["#." runtime {"+" [Operation Phase Bundle Handler]}]
-     ["#." function "_"
-      ["#" abstract]]]]
+     ["[1][0]" value]
+     ["[1][0]" runtime {"+" [Operation Phase Bundle Handler]}]
+     ["[1][0]" function "_"
+      ["[1]" abstract]]]]
    [extension
-    ["#extension" /]
-    ["#." bundle]]
+    ["[1]extension" /]
+    ["[1][0]" bundle]]
    [//
-    ["/#." synthesis {"+" [Synthesis %synthesis]}]
+    ["/[1][0]" synthesis {"+" [Synthesis %synthesis]}]
     [///
-     ["#" phase]
+     ["[1]" phase]
      [meta
       [archive {"+" [Archive]}]]]]])
 
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/jvm/host.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/jvm/host.lux
index 847609d5d..ac5f0fce9 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/jvm/host.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/jvm/host.lux
@@ -2,72 +2,72 @@
   [library
    [lux {"-" [Type]}
     [abstract
-     ["." monad {"+" [do]}]]
+     ["[0]" monad {"+" [do]}]]
     [control
-     ["." maybe]
-     ["." try]
-     ["." exception {"+" [exception:]}]
+     ["[0]" maybe]
+     ["[0]" try]
+     ["[0]" exception {"+" [exception:]}]
      ["<>" parser
       ["<t>" text]
       ["<s>" synthesis {"+" [Parser]}]]]
     [data
-     ["." product]
-     ["." text ("#\." equivalence)
+     ["[0]" product]
+     ["[0]" text ("[1]\[0]" equivalence)
       ["%" format {"+" [format]}]]
      [number
-      ["." i32]]
+      ["[0]" i32]]
      [collection
-      ["." list ("#\." monad)]
-      ["." dictionary {"+" [Dictionary]}]
-      ["." set]
-      ["." row]]
-     ["." format "_"
-      ["#" binary]]]
+      ["[0]" list ("[1]\[0]" monad)]
+      ["[0]" dictionary {"+" [Dictionary]}]
+      ["[0]" set]
+      ["[0]" row]]
+     ["[0]" format "_"
+      ["[1]" binary]]]
     [target
      [jvm
-      ["." version]
-      ["." modifier ("#\." monoid)]
-      ["." method {"+" [Method]}]
-      ["." class {"+" [Class]}]
+      ["[0]" version]
+      ["[0]" modifier ("[1]\[0]" monoid)]
+      ["[0]" method {"+" [Method]}]
+      ["[0]" class {"+" [Class]}]
       [constant
        [pool {"+" [Resource]}]]
       [encoding
-       ["." name]]
-      ["_" bytecode {"+" [Label Bytecode]} ("#\." monad)
+       ["[0]" name]]
+      ["_" bytecode {"+" [Label Bytecode]} ("[1]\[0]" monad)
        ["__" instruction {"+" [Primitive_Array_Type]}]]
-      ["." type {"+" [Type Typed Argument]}
-       ["." category {"+" [Void Value' Value Return' Return Primitive Object Array Var Parameter]}]
-       ["." box]
-       ["." reflection]
-       ["." signature]
-       ["." parser]]]]]]
-  ["." // "_"
+      ["[0]" type {"+" [Type Typed Argument]}
+       ["[0]" category {"+" [Void Value' Value Return' Return Primitive Object Array Var Parameter]}]
+       ["[0]" box]
+       ["[0]" reflection]
+       ["[0]" signature]
+       ["[0]" parser]]]]]]
+  ["[0]" // "_"
    [common {"+" [custom]}]
-   ["///#" //// "_"
+   ["///[1]" //// "_"
     [generation
      [extension {"+" [Nullary Unary Binary Trinary Variadic
                       nullary unary binary trinary variadic]}]
      ["///" jvm
-      ["#." runtime {"+" [Operation Bundle Phase Handler]}]
-      ["#." reference]
+      ["[1][0]" runtime {"+" [Operation Bundle Phase Handler]}]
+      ["[1][0]" reference]
       [function
        [field
         [variable
-         ["." foreign]]]]]]
+         ["[0]" foreign]]]]]]
     [extension
-     ["#." bundle]
+     ["[1][0]" bundle]
      [analysis
       ["/" jvm]]]
-    ["/#" // "_"
+    ["/[1]" // "_"
      [analysis {"+" [Environment]}]
-     ["#." synthesis {"+" [Synthesis Path %synthesis]}]
-     ["#." generation]
+     ["[1][0]" synthesis {"+" [Synthesis Path %synthesis]}]
+     ["[1][0]" generation]
      [///
-      ["#" phase]
+      ["[1]" phase]
       [reference
-       ["#." variable {"+" [Variable]}]]
+       ["[1][0]" variable {"+" [Variable]}]]
       [meta
-       ["." archive {"+" [Archive]}]]]]]])
+       ["[0]" archive {"+" [Archive]}]]]]]])
 
 (template [<name> <0> <1>]
   [(def: <name>
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/lua.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/lua.lux
index 55320a5dd..37a52ca08 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/lua.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/lua.lux
@@ -3,10 +3,10 @@
    [lux "*"
     [data
      [collection
-      ["." dictionary]]]]]
-  ["." / "_"
-   ["#." common]
-   ["#." host]
+      ["[0]" dictionary]]]]]
+  ["[0]" / "_"
+   ["[1][0]" common]
+   ["[1][0]" host]
    [////
     [generation
      [lua
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/lua/common.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/lua/common.lux
index f40334ae1..e71de0758 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/lua/common.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/lua/common.lux
@@ -2,44 +2,44 @@
   [library
    [lux "*"
     [abstract
-     ["." monad {"+" [do]}]]
+     ["[0]" monad {"+" [do]}]]
     [control
-     ["." function]
-     ["." try]
+     ["[0]" function]
+     ["[0]" try]
      ["<>" parser
       ["<s>" synthesis {"+" [Parser]}]]]
     [data
-     ["." product]
-     ["." text
+     ["[0]" product]
+     ["[0]" text
       ["%" format {"+" [format]}]]
      [collection
-      ["." dictionary]
-      ["." list ("#\." functor mix)]]]
+      ["[0]" dictionary]
+      ["[0]" list ("[1]\[0]" functor mix)]]]
     [math
      [number
       ["f" frac]]]
     ["@" target
      ["_" lua {"+" [Expression Statement]}]]]]
-  ["." //// "_"
+  ["[0]" //// "_"
    ["/" bundle]
-   ["/#" // "_"
-    ["." extension]
+   ["/[1]" // "_"
+    ["[0]" extension]
     [generation
      [extension {"+" [Nullary Unary Binary Trinary
                       nullary unary binary trinary]}]
      ["//" lua "_"
-      ["#." runtime {"+" [Operation Phase Phase! Handler Bundle Generator]}]
-      ["#." primitive]
-      ["#." structure]
-      ["#." reference]
-      ["#." case]
-      ["#." loop]
-      ["#." function]]]
+      ["[1][0]" runtime {"+" [Operation Phase Phase! Handler Bundle Generator]}]
+      ["[1][0]" primitive]
+      ["[1][0]" structure]
+      ["[1][0]" reference]
+      ["[1][0]" case]
+      ["[1][0]" loop]
+      ["[1][0]" function]]]
     [//
-     ["." synthesis {"+" [%synthesis]}]
-     ["." generation]
+     ["[0]" synthesis {"+" [%synthesis]}]
+     ["[0]" generation]
      [///
-      ["#" phase ("#\." monad)]]]]])
+      ["[1]" phase ("[1]\[0]" monad)]]]]])
 
 (def: .public (custom [parser handler])
   (All (_ s)
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/lua/host.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/lua/host.lux
index 336736dac..4cbfa5401 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/lua/host.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/lua/host.lux
@@ -2,36 +2,36 @@
   [library
    [lux "*"
     [abstract
-     ["." monad {"+" [do]}]]
+     ["[0]" monad {"+" [do]}]]
     [control
-     ["." function]
+     ["[0]" function]
      ["<>" parser
       ["<s>" synthesis {"+" [Parser]}]]]
     [data
      [collection
-      ["." dictionary]
-      ["." list]]
+      ["[0]" dictionary]
+      ["[0]" list]]
      [text
       ["%" format {"+" [format]}]]]
     [target
      ["_" lua {"+" [Var Expression]}]]]]
-  ["." // "_"
-   ["#." common {"+" [custom]}]
-   ["//#" /// "_"
+  ["[0]" // "_"
+   ["[1][0]" common {"+" [custom]}]
+   ["//[1]" /// "_"
     ["/" bundle]
-    ["/#" // "_"
-     ["." extension]
+    ["/[1]" // "_"
+     ["[0]" extension]
      [generation
       [extension {"+" [Nullary Unary Binary Trinary
                        nullary unary binary trinary]}]
-      ["." reference]
+      ["[0]" reference]
       ["//" lua "_"
-       ["#." runtime {"+" [Operation Phase Handler Bundle
-                           with_vars]}]]]
-     ["/#" // "_"
-      ["." generation]
-      ["//#" /// "_"
-       ["#." phase]]]]]])
+       ["[1][0]" runtime {"+" [Operation Phase Handler Bundle
+                               with_vars]}]]]
+     ["/[1]" // "_"
+      ["[0]" generation]
+      ["//[1]" /// "_"
+       ["[1][0]" phase]]]]]])
 
 (def: array::new
   (Unary Expression)
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/php.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/php.lux
index 1815d08fa..1e07b97ce 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/php.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/php.lux
@@ -3,10 +3,10 @@
    [lux "*"
     [data
      [collection
-      ["." dictionary]]]]]
-  ["." / "_"
-   ["#." common]
-   ["#." host]
+      ["[0]" dictionary]]]]]
+  ["[0]" / "_"
+   ["[1][0]" common]
+   ["[1][0]" host]
    [////
     [generation
      [php
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/php/common.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/php/common.lux
index 9c58243d3..d5f740ed4 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/php/common.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/php/common.lux
@@ -2,41 +2,41 @@
   [library
    [lux "*"
     [abstract
-     ["." monad {"+" [do]}]]
+     ["[0]" monad {"+" [do]}]]
     [control
-     ["." function]
-     ["." try]
+     ["[0]" function]
+     ["[0]" try]
      ["<>" parser
       ["<s>" synthesis {"+" [Parser]}]]]
     [data
-     ["." product]
-     ["." text
+     ["[0]" product]
+     ["[0]" text
       ["%" format {"+" [format]}]]
      [collection
-      ["." dictionary]
-      ["." set]
-      ["." list ("#\." functor mix)]]]
+      ["[0]" dictionary]
+      ["[0]" set]
+      ["[0]" list ("[1]\[0]" functor mix)]]]
     [math
      [number
       ["f" frac]]]
     ["@" target
      ["_" php {"+" [Expression]}]]]]
-  ["." //// "_"
+  ["[0]" //// "_"
    ["/" bundle]
-   ["/#" // "_"
-    ["." extension]
+   ["/[1]" // "_"
+    ["[0]" extension]
     [generation
      [extension {"+" [Nullary Unary Binary Trinary
                       nullary unary binary trinary]}]
-     ["." reference]
+     ["[0]" reference]
      ["//" php "_"
-      ["#." runtime {"+" [Operation Phase Handler Bundle Generator]}]
-      ["#." case]]]
+      ["[1][0]" runtime {"+" [Operation Phase Handler Bundle Generator]}]
+      ["[1][0]" case]]]
     [//
-     ["." synthesis {"+" [%synthesis]}]
-     ["." generation]
+     ["[0]" synthesis {"+" [%synthesis]}]
+     ["[0]" generation]
      [///
-      ["#" phase]]]]])
+      ["[1]" phase]]]]])
 
 (def: .public (custom [parser handler])
   (All (_ s)
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/php/host.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/php/host.lux
index aaff32f29..c13c86c19 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/php/host.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/php/host.lux
@@ -2,36 +2,36 @@
   [library
    [lux "*"
     [abstract
-     ["." monad {"+" [do]}]]
+     ["[0]" monad {"+" [do]}]]
     [control
-     ["." function]
+     ["[0]" function]
      ["<>" parser
       ["<s>" synthesis {"+" [Parser]}]]]
     [data
      [collection
-      ["." dictionary]
-      ["." list]]
+      ["[0]" dictionary]
+      ["[0]" list]]
      [text
       ["%" format {"+" [format]}]]]
     [target
      ["_" php {"+" [Var Expression]}]]]]
-  ["." // "_"
-   ["#." common {"+" [custom]}]
-   ["//#" /// "_"
+  ["[0]" // "_"
+   ["[1][0]" common {"+" [custom]}]
+   ["//[1]" /// "_"
     ["/" bundle]
-    ["/#" // "_"
-     ["." extension]
+    ["/[1]" // "_"
+     ["[0]" extension]
      [generation
       [extension {"+" [Nullary Unary Binary Trinary
                        nullary unary binary trinary]}]
-      ["." reference]
+      ["[0]" reference]
       ["//" php "_"
-       ["#." runtime {"+" [Operation Phase Handler Bundle
-                           with_vars]}]]]
-     ["/#" // "_"
-      ["." generation]
-      ["//#" /// "_"
-       ["#." phase]]]]]])
+       ["[1][0]" runtime {"+" [Operation Phase Handler Bundle
+                               with_vars]}]]]
+     ["/[1]" // "_"
+      ["[0]" generation]
+      ["//[1]" /// "_"
+       ["[1][0]" phase]]]]]])
 
 (def: (array::new size)
   (Unary Expression)
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/python.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/python.lux
index 17c4e2402..54ab164b6 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/python.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/python.lux
@@ -3,10 +3,10 @@
    [lux "*"
     [data
      [collection
-      ["." dictionary]]]]]
-  ["." / "_"
-   ["#." common]
-   ["#." host]
+      ["[0]" dictionary]]]]]
+  ["[0]" / "_"
+   ["[1][0]" common]
+   ["[1][0]" host]
    [////
     [generation
      [python
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/python/common.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/python/common.lux
index b6345fac4..03cb557dc 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/python/common.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/python/common.lux
@@ -2,46 +2,46 @@
   [library
    [lux "*"
     [abstract
-     ["." monad {"+" [do]}]]
+     ["[0]" monad {"+" [do]}]]
     [control
-     ["." function]
-     ["." try]
+     ["[0]" function]
+     ["[0]" try]
      ["<>" parser
-      ["<.>" synthesis {"+" [Parser]}]]]
+      ["<[0]>" synthesis {"+" [Parser]}]]]
     [data
-     ["." product]
-     ["." text
+     ["[0]" product]
+     ["[0]" text
       ["%" format {"+" [format]}]]
      [collection
-      ["." dictionary]
-      ["." list ("#\." functor mix)]]]
+      ["[0]" dictionary]
+      ["[0]" list ("[1]\[0]" functor mix)]]]
     [math
      [number
       ["f" frac]]]
     [target
      ["_" python {"+" [Expression Statement]}]]]]
-  ["." //// "_"
+  ["[0]" //// "_"
    ["/" bundle]
-   ["/#" // "_"
-    ["." extension]
+   ["/[1]" // "_"
+    ["[0]" extension]
     [generation
-     ["." reference]
+     ["[0]" reference]
      [extension {"+" [Nullary Unary Binary Trinary
                       nullary unary binary trinary]}]
      ["//" python "_"
-      ["#." runtime {"+" [Operation Phase Phase! Handler Bundle Generator]}]
-      ["#." primitive]
-      ["#." structure]
-      ["#." reference]
-      ["#." function]
-      ["#." case]
-      ["#." loop]]]
+      ["[1][0]" runtime {"+" [Operation Phase Phase! Handler Bundle Generator]}]
+      ["[1][0]" primitive]
+      ["[1][0]" structure]
+      ["[1][0]" reference]
+      ["[1][0]" function]
+      ["[1][0]" case]
+      ["[1][0]" loop]]]
     [//
      [analysis {"+" []}]
-     ["." synthesis {"+" [%synthesis]}]
-     ["." generation]
+     ["[0]" synthesis {"+" [%synthesis]}]
+     ["[0]" generation]
      [///
-      ["#" phase ("#\." monad)]]]]])
+      ["[1]" phase ("[1]\[0]" monad)]]]]])
 
 (def: .public (statement expression archive synthesis)
   Phase!
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/python/host.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/python/host.lux
index e802fcfe8..422a21b47 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/python/host.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/python/host.lux
@@ -2,33 +2,33 @@
   [library
    [lux "*"
     [abstract
-     ["." monad {"+" [do]}]]
+     ["[0]" monad {"+" [do]}]]
     [control
-     ["." function]
+     ["[0]" function]
      ["<>" parser
       ["<s>" synthesis {"+" [Parser]}]]]
     [data
      [collection
-      ["." dictionary]
-      ["." list]]]
+      ["[0]" dictionary]
+      ["[0]" list]]]
     [target
      ["_" python {"+" [Expression SVar]}]]]]
-  ["." // "_"
-   ["#." common {"+" [custom]}]
-   ["//#" /// "_"
+  ["[0]" // "_"
+   ["[1][0]" common {"+" [custom]}]
+   ["//[1]" /// "_"
     ["/" bundle]
-    ["/#" // "_"
-     ["." extension]
+    ["/[1]" // "_"
+     ["[0]" extension]
      [generation
       [extension {"+" [Nullary Unary Binary Trinary
                        nullary unary binary trinary]}]
       ["//" python "_"
-       ["#." runtime {"+" [Operation Phase Handler Bundle
-                           with_vars]}]]]
-     ["/#" // "_"
-      ["." generation]
-      ["//#" /// "_"
-       ["#." phase]]]]]])
+       ["[1][0]" runtime {"+" [Operation Phase Handler Bundle
+                               with_vars]}]]]
+     ["/[1]" // "_"
+      ["[0]" generation]
+      ["//[1]" /// "_"
+       ["[1][0]" phase]]]]]])
 
 (def: (array::new size)
   (Unary (Expression Any))
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/r.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/r.lux
index 256bca1b1..56a20b22c 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/r.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/r.lux
@@ -3,10 +3,10 @@
    [lux "*"
     [data
      [collection
-      ["." dictionary]]]]]
-  ["." / "_"
-   ["#." common]
-   ["#." host]
+      ["[0]" dictionary]]]]]
+  ["[0]" / "_"
+   ["[1][0]" common]
+   ["[1][0]" host]
    [////
     [generation
      [r
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/r/common.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/r/common.lux
index 8515f321b..68725c83a 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/r/common.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/r/common.lux
@@ -2,41 +2,41 @@
   [library
    [lux "*"
     [abstract
-     ["." monad {"+" [do]}]]
+     ["[0]" monad {"+" [do]}]]
     [control
-     ["." function]
-     ["." try]
+     ["[0]" function]
+     ["[0]" try]
      ["<>" parser
       ["<s>" synthesis {"+" [Parser]}]]]
     [data
-     ["." product]
-     ["." text
+     ["[0]" product]
+     ["[0]" text
       ["%" format {"+" [format]}]]
      [collection
-      ["." dictionary]
-      ["." set]
-      ["." list ("#\." functor mix)]]]
+      ["[0]" dictionary]
+      ["[0]" set]
+      ["[0]" list ("[1]\[0]" functor mix)]]]
     [math
      [number
       ["f" frac]]]
     ["@" target
      ["_" r {"+" [Expression]}]]]]
-  ["." //// "_"
+  ["[0]" //// "_"
    ["/" bundle]
-   ["/#" // "_"
-    ["." extension]
+   ["/[1]" // "_"
+    ["[0]" extension]
     [generation
      [extension {"+" [Nullary Unary Binary Trinary
                       nullary unary binary trinary]}]
-     ["." reference]
+     ["[0]" reference]
      ["//" r "_"
-      ["#." runtime {"+" [Operation Phase Handler Bundle Generator]}]
-      ["#." case]]]
+      ["[1][0]" runtime {"+" [Operation Phase Handler Bundle Generator]}]
+      ["[1][0]" case]]]
     [//
-     ["." synthesis {"+" [%synthesis]}]
-     ["." generation]
+     ["[0]" synthesis {"+" [%synthesis]}]
+     ["[0]" generation]
      [///
-      ["#" phase]]]]])
+      ["[1]" phase]]]]])
 
 (def: .public (custom [parser handler])
   (All (_ s)
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/r/host.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/r/host.lux
index 38613dbe3..38b20cb41 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/r/host.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/r/host.lux
@@ -2,36 +2,36 @@
   [library
    [lux "*"
     [abstract
-     ["." monad {"+" [do]}]]
+     ["[0]" monad {"+" [do]}]]
     [control
-     ["." function]
+     ["[0]" function]
      ["<>" parser
       ["<s>" synthesis {"+" [Parser]}]]]
     [data
      [collection
-      ["." dictionary]
-      ["." list]]
+      ["[0]" dictionary]
+      ["[0]" list]]
      [text
       ["%" format {"+" [format]}]]]
     [target
      ["_" r {"+" [Var Expression]}]]]]
-  ["." // "_"
-   ["#." common {"+" [custom]}]
-   ["//#" /// "_"
+  ["[0]" // "_"
+   ["[1][0]" common {"+" [custom]}]
+   ["//[1]" /// "_"
     ["/" bundle]
-    ["/#" // "_"
-     ["." extension]
+    ["/[1]" // "_"
+     ["[0]" extension]
      [generation
       [extension {"+" [Nullary Unary Binary Trinary
                        nullary unary binary trinary]}]
-      ["." reference]
+      ["[0]" reference]
       ["//" r "_"
-       ["#." runtime {"+" [Operation Phase Handler Bundle
-                           with_vars]}]]]
-     ["/#" // "_"
-      ["." generation]
-      ["//#" /// "_"
-       ["#." phase]]]]]])
+       ["[1][0]" runtime {"+" [Operation Phase Handler Bundle
+                               with_vars]}]]]
+     ["/[1]" // "_"
+      ["[0]" generation]
+      ["//[1]" /// "_"
+       ["[1][0]" phase]]]]]])
 
 (def: .public bundle
   Bundle
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/ruby.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/ruby.lux
index e638baf9e..5c4160d69 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/ruby.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/ruby.lux
@@ -3,10 +3,10 @@
    [lux "*"
     [data
      [collection
-      ["." dictionary]]]]]
-  ["." / "_"
-   ["#." common]
-   ["#." host]
+      ["[0]" dictionary]]]]]
+  ["[0]" / "_"
+   ["[1][0]" common]
+   ["[1][0]" host]
    [////
     [generation
      [ruby
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/ruby/common.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/ruby/common.lux
index b570e2bf9..a253cb8de 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/ruby/common.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/ruby/common.lux
@@ -2,44 +2,44 @@
   [library
    [lux "*"
     [abstract
-     ["." monad {"+" [do]}]]
+     ["[0]" monad {"+" [do]}]]
     [control
-     ["." function]
-     ["." try]
+     ["[0]" function]
+     ["[0]" try]
      ["<>" parser
       ["<s>" synthesis {"+" [Parser]}]]]
     [data
-     ["." product]
-     ["." text
+     ["[0]" product]
+     ["[0]" text
       ["%" format {"+" [format]}]]
      [collection
-      ["." dictionary]
-      ["." list ("#\." functor mix)]]]
+      ["[0]" dictionary]
+      ["[0]" list ("[1]\[0]" functor mix)]]]
     [math
      [number
       ["f" frac]]]
     [target
      ["_" ruby {"+" [Expression Statement]}]]]]
-  ["." //// "_"
+  ["[0]" //// "_"
    ["/" bundle]
-   ["/#" // "_"
-    ["." extension]
+   ["/[1]" // "_"
+    ["[0]" extension]
     [generation
      [extension {"+" [Nullary Unary Binary Trinary
                       nullary unary binary trinary]}]
      ["//" ruby "_"
-      ["#." runtime {"+" [Operation Phase Phase! Handler Bundle Generator]}]
-      ["#." primitive]
-      ["#." structure]
-      ["#." reference]
-      ["#." function]
-      ["#." case]
-      ["#." loop]]]
+      ["[1][0]" runtime {"+" [Operation Phase Phase! Handler Bundle Generator]}]
+      ["[1][0]" primitive]
+      ["[1][0]" structure]
+      ["[1][0]" reference]
+      ["[1][0]" function]
+      ["[1][0]" case]
+      ["[1][0]" loop]]]
     [//
-     ["." synthesis {"+" [%synthesis]}]
-     ["." generation]
+     ["[0]" synthesis {"+" [%synthesis]}]
+     ["[0]" generation]
      [///
-      ["#" phase ("#\." monad)]]]]])
+      ["[1]" phase ("[1]\[0]" monad)]]]]])
 
 (def: .public (custom [parser handler])
   (All (_ s)
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/ruby/host.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/ruby/host.lux
index 1a0c27c4d..f44831709 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/ruby/host.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/ruby/host.lux
@@ -2,36 +2,36 @@
   [library
    [lux "*"
     [abstract
-     ["." monad {"+" [do]}]]
+     ["[0]" monad {"+" [do]}]]
     [control
-     ["." function]
+     ["[0]" function]
      ["<>" parser
       ["<s>" synthesis {"+" [Parser]}]]]
     [data
      [collection
-      ["." dictionary]
-      ["." list]]
+      ["[0]" dictionary]
+      ["[0]" list]]
      [text
       ["%" format {"+" [format]}]]]
     [target
      ["_" ruby {"+" [Var Expression]}]]]]
-  ["." // "_"
-   ["#." common {"+" [custom]}]
-   ["//#" /// "_"
+  ["[0]" // "_"
+   ["[1][0]" common {"+" [custom]}]
+   ["//[1]" /// "_"
     ["/" bundle]
-    ["/#" // "_"
-     ["." extension]
+    ["/[1]" // "_"
+     ["[0]" extension]
      [generation
       [extension {"+" [Nullary Unary Binary Trinary
                        nullary unary binary trinary]}]
-      ["." reference]
+      ["[0]" reference]
       ["//" ruby "_"
-       ["#." runtime {"+" [Operation Phase Handler Bundle
-                           with_vars]}]]]
-     ["/#" // "_"
-      ["." generation]
-      ["//#" /// "_"
-       ["#." phase]]]]]])
+       ["[1][0]" runtime {"+" [Operation Phase Handler Bundle
+                               with_vars]}]]]
+     ["/[1]" // "_"
+      ["[0]" generation]
+      ["//[1]" /// "_"
+       ["[1][0]" phase]]]]]])
 
 (def: (array::new [size])
   (Unary Expression)
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/scheme.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/scheme.lux
index 83b5f4a56..52cafa261 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/scheme.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/scheme.lux
@@ -3,10 +3,10 @@
    [lux "*"
     [data
      [collection
-      ["." dictionary]]]]]
-  ["." / "_"
-   ["#." common]
-   ["#." host]
+      ["[0]" dictionary]]]]]
+  ["[0]" / "_"
+   ["[1][0]" common]
+   ["[1][0]" host]
    [////
     [generation
      [scheme
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/scheme/common.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/scheme/common.lux
index 62edb14aa..bc2ad5cba 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/scheme/common.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/scheme/common.lux
@@ -2,41 +2,41 @@
   [library
    [lux "*"
     [abstract
-     ["." monad {"+" [do]}]]
+     ["[0]" monad {"+" [do]}]]
     [control
-     ["." function]
-     ["." try]
+     ["[0]" function]
+     ["[0]" try]
      ["<>" parser
       ["<s>" synthesis {"+" [Parser]}]]]
     [data
-     ["." product]
-     ["." text
+     ["[0]" product]
+     ["[0]" text
       ["%" format {"+" [format]}]]
      [collection
-      ["." dictionary]
-      ["." set]
-      ["." list ("#\." functor mix)]]]
+      ["[0]" dictionary]
+      ["[0]" set]
+      ["[0]" list ("[1]\[0]" functor mix)]]]
     [math
      [number
       ["f" frac]]]
     ["@" target
      ["_" scheme {"+" [Expression]}]]]]
-  ["." //// "_"
+  ["[0]" //// "_"
    ["/" bundle]
-   ["/#" // "_"
-    ["." extension]
+   ["/[1]" // "_"
+    ["[0]" extension]
     [generation
      [extension {"+" [Nullary Unary Binary Trinary
                       nullary unary binary trinary]}]
-     ["." reference]
+     ["[0]" reference]
      ["//" scheme "_"
-      ["#." runtime {"+" [Operation Phase Handler Bundle Generator]}]
-      ["#." case]]]
+      ["[1][0]" runtime {"+" [Operation Phase Handler Bundle Generator]}]
+      ["[1][0]" case]]]
     [//
-     ["." synthesis {"+" [%synthesis]}]
-     ["." generation]
+     ["[0]" synthesis {"+" [%synthesis]}]
+     ["[0]" generation]
      [///
-      ["#" phase]]]]])
+      ["[1]" phase]]]]])
 
 (def: .public (custom [parser handler])
   (All (_ s)
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/scheme/host.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/scheme/host.lux
index 10992b491..b389f72dd 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/scheme/host.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/scheme/host.lux
@@ -2,36 +2,36 @@
   [library
    [lux "*"
     [abstract
-     ["." monad {"+" [do]}]]
+     ["[0]" monad {"+" [do]}]]
     [control
-     ["." function]
+     ["[0]" function]
      ["<>" parser
       ["<s>" synthesis {"+" [Parser]}]]]
     [data
      [collection
-      ["." dictionary]
-      ["." list]]
+      ["[0]" dictionary]
+      ["[0]" list]]
      [text
       ["%" format {"+" [format]}]]]
     [target
      ["_" scheme {"+" [Var Expression]}]]]]
-  ["." // "_"
-   ["#." common {"+" [custom]}]
-   ["//#" /// "_"
+  ["[0]" // "_"
+   ["[1][0]" common {"+" [custom]}]
+   ["//[1]" /// "_"
     ["/" bundle]
-    ["/#" // "_"
-     ["." extension]
+    ["/[1]" // "_"
+     ["[0]" extension]
      [generation
       [extension {"+" [Nullary Unary Binary Trinary
                        nullary unary binary trinary]}]
-      ["." reference]
+      ["[0]" reference]
       ["//" scheme "_"
-       ["#." runtime {"+" [Operation Phase Handler Bundle
-                           with_vars]}]]]
-     ["/#" // "_"
-      ["." generation]
-      ["//#" /// "_"
-       ["#." phase]]]]]])
+       ["[1][0]" runtime {"+" [Operation Phase Handler Bundle
+                               with_vars]}]]]
+     ["/[1]" // "_"
+      ["[0]" generation]
+      ["//[1]" /// "_"
+       ["[1][0]" phase]]]]]])
 
 (def: (array::new size)
   (Unary Expression)
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/synthesis.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/synthesis.lux
index 69be9bd6e..e68f8b780 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/synthesis.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/synthesis.lux
@@ -2,7 +2,7 @@
   [library
    [lux "*"]]
   [//
-   ["." bundle]
+   ["[0]" bundle]
    [///
     [synthesis {"+" [Bundle]}]]])
 
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp.lux
index 00f493422..1b1f29f46 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp.lux
@@ -3,23 +3,23 @@
    [lux "*"
     [abstract
      [monad {"+" [do]}]]]]
-  ["." / "_"
+  ["[0]" / "_"
    [runtime {"+" [Phase]}]
-   ["#." primitive]
-   ["#." structure]
-   ["#." reference]
-   ["#." case]
-   ["#." loop]
-   ["#." function]
-   ["/#" // "_"
-    ["#." reference]
-    ["/#" // "_"
-     ["#." extension]
-     ["/#" // "_"
+   ["[1][0]" primitive]
+   ["[1][0]" structure]
+   ["[1][0]" reference]
+   ["[1][0]" case]
+   ["[1][0]" loop]
+   ["[1][0]" function]
+   ["/[1]" // "_"
+    ["[1][0]" reference]
+    ["/[1]" // "_"
+     ["[1][0]" extension]
+     ["/[1]" // "_"
       [analysis {"+" []}]
-      ["#." synthesis]
-      ["//#" /// "_"
-       ["#." phase ("#\." monad)]
+      ["[1][0]" synthesis]
+      ["//[1]" /// "_"
+       ["[1][0]" phase ("[1]\[0]" monad)]
        [reference {"+" []}
         [variable {"+" []}]]]]]]])
 
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/case.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/case.lux
index 34208d7f3..90f67a68a 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/case.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/case.lux
@@ -2,36 +2,36 @@
   [library
    [lux {"-" [case let if]}
     [abstract
-     ["." monad {"+" [do]}]]
+     ["[0]" monad {"+" [do]}]]
     [control
-     ["." exception {"+" [exception:]}]]
+     ["[0]" exception {"+" [exception:]}]]
     [data
-     ["." text
+     ["[0]" text
       ["%" format {"+" [format]}]]
      [collection
-      ["." list ("#\." functor mix monoid)]
-      ["." set]]]
+      ["[0]" list ("[1]\[0]" functor mix monoid)]
+      ["[0]" set]]]
     [math
      [number
       ["n" nat]]]
     [target
      ["_" common_lisp {"+" [Expression Var/1]}]]]]
-  ["." // "_"
-   ["#." runtime {"+" [Operation Phase Generator]}]
-   ["#." reference]
-   ["#." primitive]
-   ["/#" // "_"
-    ["#." reference]
-    ["/#" // "_"
-     ["#." synthesis "_"
-      ["#/." case]]
-     ["/#" // "_"
-      ["#." synthesis {"+" [Member Synthesis Path]}]
-      ["#." generation]
-      ["//#" /// "_"
+  ["[0]" // "_"
+   ["[1][0]" runtime {"+" [Operation Phase Generator]}]
+   ["[1][0]" reference]
+   ["[1][0]" primitive]
+   ["/[1]" // "_"
+    ["[1][0]" reference]
+    ["/[1]" // "_"
+     ["[1][0]" synthesis "_"
+      ["[1]/[0]" case]]
+     ["/[1]" // "_"
+      ["[1][0]" synthesis {"+" [Member Synthesis Path]}]
+      ["[1][0]" generation]
+      ["//[1]" /// "_"
        [reference
-        ["#." variable {"+" [Register]}]]
-       ["#." phase ("#\." monad)]
+        ["[1][0]" variable {"+" [Register]}]]
+       ["[1][0]" phase ("[1]\[0]" monad)]
        [meta
         [archive {"+" [Archive]}]]]]]]])
 
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/extension.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/extension.lux
index 6e255664b..ebdd43f89 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/extension.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/extension.lux
@@ -3,11 +3,11 @@
    [lux "*"
     [data
      [collection
-      ["." dictionary]]]]]
+      ["[0]" dictionary]]]]]
   [//
    [runtime {"+" [Bundle]}]]
   [/
-   ["." common]])
+   ["[0]" common]])
 
 (def: .public bundle
   Bundle
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/extension/common.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/extension/common.lux
index ec5baaf7f..6144a74c6 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/extension/common.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/extension/common.lux
@@ -2,26 +2,26 @@
   [library
    [lux "*"
     [abstract
-     ["." monad {"+" [do]}]]
+     ["[0]" monad {"+" [do]}]]
     [control
-     ["." function]]
+     ["[0]" function]]
     [data
-     ["." product]
+     ["[0]" product]
      [number
       ["f" frac]]
      [collection
-      ["." dictionary]]]
+      ["[0]" dictionary]]]
     [target
      ["_" common_lisp {"+" [Expression]}]]]]
-  ["." /// "_"
-   ["#." runtime {"+" [Operation Phase Handler Bundle]}]
-   ["#." primitive]
+  ["[0]" /// "_"
+   ["[1][0]" runtime {"+" [Operation Phase Handler Bundle]}]
+   ["[1][0]" primitive]
    [//
     [extension {"+" [Nullary Unary Binary Trinary
                      nullary unary binary trinary]}]
     [//
      [extension
-      ["." bundle]]]]])
+      ["[0]" bundle]]]]])
 
 (def: lux_procs
   Bundle
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/function.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/function.lux
index 27d017a8a..5f38c7bad 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/function.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/function.lux
@@ -2,30 +2,30 @@
   [library
    [lux {"-" [function]}
     [abstract
-     ["." monad {"+" [do]}]]
+     ["[0]" monad {"+" [do]}]]
     [control
      pipe]
     [data
-     ["." product]
+     ["[0]" product]
      [text
       ["%" format {"+" [format]}]]
      [collection
-      ["." list ("#\." functor)]]]
+      ["[0]" list ("[1]\[0]" functor)]]]
     [target
      ["_" common_lisp {"+" [Expression Var/1]}]]]]
-  ["." // "_"
-   ["#." runtime {"+" [Operation Phase Generator]}]
-   ["#." reference]
-   ["#." case]
-   ["/#" // "_"
-    ["#." reference]
-    ["//#" /// "_"
+  ["[0]" // "_"
+   ["[1][0]" runtime {"+" [Operation Phase Generator]}]
+   ["[1][0]" reference]
+   ["[1][0]" case]
+   ["/[1]" // "_"
+    ["[1][0]" reference]
+    ["//[1]" /// "_"
      [analysis {"+" [Variant Tuple Abstraction Application Analysis]}]
      [synthesis {"+" [Synthesis]}]
-     ["#." generation {"+" [Context]}]
-     ["//#" /// "_"
+     ["[1][0]" generation {"+" [Context]}]
+     ["//[1]" /// "_"
       [arity {"+" [Arity]}]
-      ["#." phase ("#\." monad)]
+      ["[1][0]" phase ("[1]\[0]" monad)]
       [reference
        [variable {"+" [Register Variable]}]]]]]])
 
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/loop.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/loop.lux
index 670fb1b12..bae37c835 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/loop.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/loop.lux
@@ -2,31 +2,31 @@
   [library
    [lux {"-" [Scope]}
     [abstract
-     ["." monad {"+" [do]}]]
+     ["[0]" monad {"+" [do]}]]
     [data
-     ["." product]
+     ["[0]" product]
      [text
       ["%" format {"+" [format]}]]
      [collection
-      ["." list ("#\." functor)]]]
+      ["[0]" list ("[1]\[0]" functor)]]]
     [math
      [number
       ["n" nat]]]
     [target
      ["_" common_lisp {"+" [Expression]}]]]]
-  ["." // "_"
+  ["[0]" // "_"
    [runtime {"+" [Operation Phase Generator]}]
-   ["#." case]
-   ["/#" // "_"
-    ["#." reference]
-    ["/#" // "_"
+   ["[1][0]" case]
+   ["/[1]" // "_"
+    ["[1][0]" reference]
+    ["/[1]" // "_"
      [synthesis
-      ["." case]]
-     ["/#" // "_"
-      ["."synthesis {"+" [Scope Synthesis]}]
-      ["#." generation]
-      ["//#" /// "_"
-       ["#." phase]
+      ["[0]" case]]
+     ["/[1]" // "_"
+      ["[0]"synthesis {"+" [Scope Synthesis]}]
+      ["[1][0]" generation]
+      ["//[1]" /// "_"
+       ["[1][0]" phase]
        [meta
         [archive {"+" [Archive]}]]
        [reference
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/runtime.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/runtime.lux
index 0ee7c1e55..0f7c76ed8 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/runtime.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/runtime.lux
@@ -1,42 +1,42 @@
 (.module:
   [library
    [lux {"-" [Location]}
-    ["." meta]
+    ["[0]" meta]
     [abstract
-     ["." monad {"+" [do]}]]
+     ["[0]" monad {"+" [do]}]]
     [control
-     ["." function]
+     ["[0]" function]
      ["<>" parser
-      ["<.>" code]]]
+      ["<[0]>" code]]]
     [data
-     ["." product]
-     ["." text ("#\." hash)
+     ["[0]" product]
+     ["[0]" text ("[1]\[0]" hash)
       ["%" format {"+" [format]}]
-      ["." encoding]]
+      ["[0]" encoding]]
      [collection
-      ["." list ("#\." functor monoid)]
-      ["." row]]]
-    ["." macro
+      ["[0]" list ("[1]\[0]" functor monoid)]
+      ["[0]" row]]]
+    ["[0]" macro
      [syntax {"+" [syntax:]}]
-     ["." code]]
+     ["[0]" code]]
     [math
      [number {"+" [hex]}
-      ["." i64]]]
+      ["[0]" i64]]]
     ["@" target
      ["_" common_lisp {"+" [Expression Computation Literal]}]]]]
-  ["." /// "_"
-   ["#." reference]
-   ["//#" /// "_"
+  ["[0]" /// "_"
+   ["[1][0]" reference]
+   ["//[1]" /// "_"
     [analysis {"+" [Variant]}]
-    ["#." synthesis {"+" [Synthesis]}]
-    ["#." generation]
-    ["//#" ///
-     ["#." phase]
+    ["[1][0]" synthesis {"+" [Synthesis]}]
+    ["[1][0]" generation]
+    ["//[1]" ///
+     ["[1][0]" phase]
      [reference
       [variable {"+" [Register]}]]
      [meta
       [archive {"+" [Output Archive]}
-       ["." artifact {"+" [Registry]}]]]]]])
+       ["[0]" artifact {"+" [Registry]}]]]]]])
 
 (def: module_id
   0)
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/structure.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/structure.lux
index d370aca6a..eb78e6402 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/structure.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/structure.lux
@@ -2,17 +2,17 @@
   [library
    [lux "*"
     [abstract
-     ["." monad {"+" [do]}]]
+     ["[0]" monad {"+" [do]}]]
     [target
      ["_" common_lisp {"+" [Expression]}]]]]
-  ["." // "_"
-   ["#." runtime {"+" [Operation Phase Generator]}]
-   ["#." primitive]
-   ["///#" //// "_"
+  ["[0]" // "_"
+   ["[1][0]" runtime {"+" [Operation Phase Generator]}]
+   ["[1][0]" primitive]
+   ["///[1]" //// "_"
     [analysis {"+" [Variant Tuple]}]
-    ["#." synthesis {"+" [Synthesis]}]
-    ["//#" /// "_"
-     ["#." phase ("#\." monad)]]]])
+    ["[1][0]" synthesis {"+" [Synthesis]}]
+    ["//[1]" /// "_"
+     ["[1][0]" phase ("[1]\[0]" monad)]]]])
 
 (def: .public (tuple expression archive elemsS+)
   (Generator (Tuple Synthesis))
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/extension.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/extension.lux
index afb6af8a5..962323b3d 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/extension.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/extension.lux
@@ -2,24 +2,24 @@
   [library
    [lux "*"
     [abstract
-     ["." monad {"+" [do]}]]
+     ["[0]" monad {"+" [do]}]]
     [control
      [parser
-      ["<.>" code]]]
+      ["<[0]>" code]]]
     [data
      [collection
-      ["." list ("#\." functor)]]]
-    ["." meta]
-    ["." macro {"+" [with_identifiers]}
-     ["." code]
+      ["[0]" list ("[1]\[0]" functor)]]]
+    ["[0]" meta]
+    ["[0]" macro {"+" [with_identifiers]}
+     ["[0]" code]
      [syntax {"+" [syntax:]}]]]]
-  ["." /// "_"
-   ["#." extension]
+  ["[0]" /// "_"
+   ["[1][0]" extension]
    [//
     [synthesis {"+" [Synthesis]}]
-    ["." generation]
+    ["[0]" generation]
     [///
-     ["#" phase]]]])
+     ["[1]" phase]]]])
 
 (syntax: (Vector [size <code>.nat
                   elemT <code>.any])
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js.lux
index c37946c77..e6aa9cdce 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js.lux
@@ -4,29 +4,29 @@
     [abstract
      [monad {"+" [do]}]]
     [control
-     ["." exception {"+" [exception:]}]]
+     ["[0]" exception {"+" [exception:]}]]
     [target
      ["_" js]]]]
-  ["." / "_"
+  ["[0]" / "_"
    [runtime {"+" [Phase Phase!]}]
-   ["#." primitive]
-   ["#." structure]
-   ["#." reference]
-   ["#." case]
-   ["#." loop]
-   ["#." function]
-   ["/#" // "_"
-    ["#." reference]
-    ["/#" // "_"
-     ["#." extension
+   ["[1][0]" primitive]
+   ["[1][0]" structure]
+   ["[1][0]" reference]
+   ["[1][0]" case]
+   ["[1][0]" loop]
+   ["[1][0]" function]
+   ["/[1]" // "_"
+    ["[1][0]" reference]
+    ["/[1]" // "_"
+     ["[1][0]" extension
       [generation
        [js
-        ["#/." common]]]]
-     ["/#" // "_"
+        ["[1]/[0]" common]]]]
+     ["/[1]" // "_"
       [analysis {"+" []}]
-      ["." synthesis]
-      ["//#" /// "_"
-       ["#." phase ("#\." monad)]
+      ["[0]" synthesis]
+      ["//[1]" /// "_"
+       ["[1][0]" phase ("[1]\[0]" monad)]
        [reference {"+" []}
         [variable {"+" []}]]]]]]])
 
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/case.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/case.lux
index 2ed5094bc..5f634c533 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/case.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/case.lux
@@ -2,33 +2,33 @@
   [library
    [lux {"-" [case let if]}
     [abstract
-     ["." monad {"+" [do]}]]
+     ["[0]" monad {"+" [do]}]]
     [control
-     ["." maybe]]
+     ["[0]" maybe]]
     [data
-     ["." text]
+     ["[0]" text]
      [collection
-      ["." list ("#\." functor mix)]]]
+      ["[0]" list ("[1]\[0]" functor mix)]]]
     [math
      [number
       ["n" nat]]]
     [target
      ["_" js {"+" [Expression Computation Var Statement]}]]]]
-  ["." // "_"
-   ["#." runtime {"+" [Operation Phase Phase! Generator Generator!]}]
-   ["#." reference]
-   ["#." primitive]
-   ["/#" // "_"
-    ["#." reference]
-    ["/#" // "_"
-     ["#." synthesis "_"
-      ["#/." case]]
-     ["/#" // "_"
-      ["#." synthesis {"+" [Member Synthesis Path]}]
-      ["//#" /// "_"
+  ["[0]" // "_"
+   ["[1][0]" runtime {"+" [Operation Phase Phase! Generator Generator!]}]
+   ["[1][0]" reference]
+   ["[1][0]" primitive]
+   ["/[1]" // "_"
+    ["[1][0]" reference]
+    ["/[1]" // "_"
+     ["[1][0]" synthesis "_"
+      ["[1]/[0]" case]]
+     ["/[1]" // "_"
+      ["[1][0]" synthesis {"+" [Member Synthesis Path]}]
+      ["//[1]" /// "_"
        [reference
         [variable {"+" [Register]}]]
-       ["#." phase ("#\." monad)]
+       ["[1][0]" phase ("[1]\[0]" monad)]
        [meta
         [archive {"+" [Archive]}]]]]]]])
 
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/function.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/function.lux
index 44001087c..f9e8d9c10 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/function.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/function.lux
@@ -2,28 +2,28 @@
   [library
    [lux {"-" [Variant Tuple function]}
     [abstract
-     ["." monad {"+" [do]}]]
+     ["[0]" monad {"+" [do]}]]
     [data
-     ["." product]
+     ["[0]" product]
      [text
       ["%" format {"+" [format]}]]
      [collection
-      ["." list ("#\." functor mix)]]]
+      ["[0]" list ("[1]\[0]" functor mix)]]]
     [target
      ["_" js {"+" [Expression Computation Var Statement]}]]]]
-  ["." // "_"
-   ["#." runtime {"+" [Operation Phase Phase! Generator]}]
-   ["#." reference]
-   ["#." case]
-   ["/#" // "_"
-    ["#." reference]
-    ["//#" /// "_"
+  ["[0]" // "_"
+   ["[1][0]" runtime {"+" [Operation Phase Phase! Generator]}]
+   ["[1][0]" reference]
+   ["[1][0]" case]
+   ["/[1]" // "_"
+    ["[1][0]" reference]
+    ["//[1]" /// "_"
      [analysis {"+" [Variant Tuple Abstraction Application Analysis]}]
      [synthesis {"+" [Synthesis]}]
-     ["#." generation {"+" [Context]}]
-     ["//#" /// "_"
+     ["[1][0]" generation {"+" [Context]}]
+     ["//[1]" /// "_"
       [arity {"+" [Arity]}]
-      ["#." phase ("#\." monad)]
+      ["[1][0]" phase ("[1]\[0]" monad)]
       [reference
        [variable {"+" [Register Variable]}]]]]]])
 
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/loop.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/loop.lux
index 461e565b0..52600eaeb 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/loop.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/loop.lux
@@ -2,26 +2,26 @@
   [library
    [lux {"-" [Scope]}
     [abstract
-     ["." monad {"+" [do]}]]
+     ["[0]" monad {"+" [do]}]]
     [data
-     ["." product]
-     ["." text
+     ["[0]" product]
+     ["[0]" text
       ["%" format {"+" [format]}]]
      [collection
-      ["." list ("#\." functor mix)]]]
+      ["[0]" list ("[1]\[0]" functor mix)]]]
     [math
      [number
       ["n" nat]]]
     [target
      ["_" js {"+" [Computation Var Expression Statement]}]]]]
-  ["." // "_"
+  ["[0]" // "_"
    [runtime {"+" [Operation Phase Phase! Generator Generator!]}]
-   ["#." case]
-   ["///#" //// "_"
+   ["[1][0]" case]
+   ["///[1]" //// "_"
     [synthesis {"+" [Scope Synthesis]}]
-    ["#." generation]
-    ["//#" /// "_"
-     ["#." phase]
+    ["[1][0]" generation]
+    ["//[1]" /// "_"
+     ["[1][0]" phase]
      [reference
       [variable {"+" [Register]}]]]]])
 
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/primitive.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/primitive.lux
index ba2d683f0..e8145500a 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/primitive.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/primitive.lux
@@ -3,8 +3,8 @@
    [lux {"-" [i64]}
     [target
      ["_" js {"+" [Computation]}]]]]
-  ["." // "_"
-   ["#." runtime]])
+  ["[0]" // "_"
+   ["[1][0]" runtime]])
 
 (def: .public bit
   _.boolean)
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/runtime.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/runtime.lux
index 08160d998..58bf53a29 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/runtime.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/runtime.lux
@@ -1,28 +1,28 @@
 (.module:
   [library
    [lux {"-" [i64]}
-    ["." meta]
+    ["[0]" meta]
     [abstract
-     ["." monad {"+" [do]}]]
+     ["[0]" monad {"+" [do]}]]
     [control
-     ["." function]
+     ["[0]" function]
      ["<>" parser
-      ["<.>" code]]]
+      ["<[0]>" code]]]
     [data
-     ["." product]
-     ["." text ("#\." hash)
+     ["[0]" product]
+     ["[0]" text ("[1]\[0]" hash)
       ["%" format {"+" [format]}]
       [encoding
-       ["." utf8]]]
+       ["[0]" utf8]]]
      [collection
-      ["." list ("#\." functor)]
-      ["." row]]]
-    ["." macro
+      ["[0]" list ("[1]\[0]" functor)]
+      ["[0]" row]]]
+    ["[0]" macro
      [syntax {"+" [syntax:]}]
-     ["." code]]
+     ["[0]" code]]
     [math
      [number {"+" [hex]}
-      ["." i64]]]
+      ["[0]" i64]]]
     [target
      ["_" js {"+" [Expression Var Computation Statement]}]]
     [tool
@@ -30,18 +30,18 @@
       [language
        [lux
         ["$" version]]]]]]]
-  ["." /// "_"
-   ["#." reference]
-   ["//#" /// "_"
-    ["#." synthesis {"+" [Synthesis]}]
-    ["#." generation]
-    ["//#" ///
-     ["#." phase]
+  ["[0]" /// "_"
+   ["[1][0]" reference]
+   ["//[1]" /// "_"
+    ["[1][0]" synthesis {"+" [Synthesis]}]
+    ["[1][0]" generation]
+    ["//[1]" ///
+     ["[1][0]" phase]
      [reference
       [variable {"+" [Register]}]]
      [meta
       [archive {"+" [Output Archive]}
-       ["." artifact {"+" [Registry]}]]]]]])
+       ["[0]" artifact {"+" [Registry]}]]]]]])
 
 (template [<name> <base>]
   [(type: .public <name>
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/structure.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/structure.lux
index 84af08804..c4284d345 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/structure.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/structure.lux
@@ -2,17 +2,17 @@
   [library
    [lux {"-" [Variant Tuple]}
     [abstract
-     ["." monad {"+" [do]}]]
+     ["[0]" monad {"+" [do]}]]
     [target
      ["_" js {"+" [Expression]}]]]]
-  ["." // "_"
-   ["#." runtime {"+" [Operation Phase Generator]}]
-   ["#." primitive]
-   ["///#" //// "_"
+  ["[0]" // "_"
+   ["[1][0]" runtime {"+" [Operation Phase Generator]}]
+   ["[1][0]" primitive]
+   ["///[1]" //// "_"
     [analysis {"+" [Variant Tuple]}]
-    ["#." synthesis {"+" [Synthesis]}]
-    ["//#" ///
-     ["#." phase ("#\." monad)]]]])
+    ["[1][0]" synthesis {"+" [Synthesis]}]
+    ["//[1]" ///
+     ["[1][0]" phase ("[1]\[0]" monad)]]]])
 
 (def: .public (tuple generate archive elemsS+)
   (Generator (Tuple Synthesis))
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm.lux
index 07045ccdd..c2a125d4a 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm.lux
@@ -3,21 +3,21 @@
    [lux "*"
     [abstract
      [monad {"+" [do]}]]]]
-  ["." / "_"
+  ["[0]" / "_"
    [runtime {"+" [Phase]}]
-   ["#." primitive]
-   ["#." structure]
-   ["#." reference]
-   ["#." function]
-   ["#." case]
-   ["#." loop]
-   ["//#" /// "_"
-    ["#." extension]
+   ["[1][0]" primitive]
+   ["[1][0]" structure]
+   ["[1][0]" reference]
+   ["[1][0]" function]
+   ["[1][0]" case]
+   ["[1][0]" loop]
+   ["//[1]" /// "_"
+    ["[1][0]" extension]
     [//
-     ["." synthesis]
+     ["[0]" synthesis]
      [///
-      ["." reference]
-      ["#" phase ("#\." monad)]]]]])
+      ["[0]" reference]
+      ["[1]" phase ("[1]\[0]" monad)]]]]])
 
 (def: .public (generate archive synthesis)
   Phase
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/case.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/case.lux
index 61f9ce83b..075e8d68a 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/case.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/case.lux
@@ -2,30 +2,30 @@
   [library
    [lux {"-" [Type if let case int]}
     [abstract
-     ["." monad {"+" [do]}]]
+     ["[0]" monad {"+" [do]}]]
     [control
-     ["." function]]
+     ["[0]" function]]
     [data
      [number
-      ["." i32]
+      ["[0]" i32]
       ["n" nat]]
      [collection
-      ["." list ("#\." mix)]]]
+      ["[0]" list ("[1]\[0]" mix)]]]
     [target
      [jvm
-      ["_" bytecode {"+" [Label Bytecode]} ("#\." monad)]
-      ["." type {"+" [Type]}
+      ["_" bytecode {"+" [Label Bytecode]} ("[1]\[0]" monad)]
+      ["[0]" type {"+" [Type]}
        [category {"+" [Method]}]]]]]]
-  ["." // "_"
-   ["#." type]
-   ["#." runtime {"+" [Operation Phase Generator]}]
-   ["#." value]
-   ["#." structure]
+  ["[0]" // "_"
+   ["[1][0]" type]
+   ["[1][0]" runtime {"+" [Operation Phase Generator]}]
+   ["[1][0]" value]
+   ["[1][0]" structure]
    [////
-    ["." synthesis {"+" [Path Synthesis]}]
-    ["." generation]
+    ["[0]" synthesis {"+" [Path Synthesis]}]
+    ["[0]" generation]
     [///
-     ["." phase ("operation\." monad)]
+     ["[0]" phase ("operation\[0]" monad)]
      [reference
       [variable {"+" [Register]}]]]]])
 
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/debug.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/debug.lux
index d4a2c34f4..d1785ac0a 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/debug.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/debug.lux
@@ -4,14 +4,14 @@
     [abstract
      [monad {"+" [do]}]]
     [control
-     ["." io {"+" [IO]}]
-     ["." try {"+" [Try]}]]
+     ["[0]" io {"+" [IO]}]
+     ["[0]" try {"+" [Try]}]]
     [data
      [binary {"+" [Binary]}]
      [text
       ["%" format {"+" [format]}]]]
     [world
-     ["." file {"+" [File]}]]]])
+     ["[0]" file {"+" [File]}]]]])
 
 (def: extension ".class")
 
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function.lux
index d8adc4f60..0aa307c72 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function.lux
@@ -2,59 +2,59 @@
   [library
    [lux {"-" [Type]}
     [abstract
-     ["." monad {"+" [do]}]]
+     ["[0]" monad {"+" [do]}]]
     [data
      [number
-      ["." i32]
+      ["[0]" i32]
       ["n" nat]]
      [collection
-      ["." list ("#\." monoid functor)]
-      ["." row]]
-     ["." format "_"
-      ["#" binary]]]
+      ["[0]" list ("[1]\[0]" monoid functor)]
+      ["[0]" row]]
+     ["[0]" format "_"
+      ["[1]" binary]]]
     [target
      [jvm
-      ["." version]
-      ["." modifier {"+" [Modifier]} ("#\." monoid)]
-      ["." field {"+" [Field]}]
-      ["." method {"+" [Method]}]
-      ["_" bytecode {"+" [Label Bytecode]} ("#\." monad)]
-      ["." class {"+" [Class]}]
-      ["." type {"+" [Type]}
+      ["[0]" version]
+      ["[0]" modifier {"+" [Modifier]} ("[1]\[0]" monoid)]
+      ["[0]" field {"+" [Field]}]
+      ["[0]" method {"+" [Method]}]
+      ["_" bytecode {"+" [Label Bytecode]} ("[1]\[0]" monad)]
+      ["[0]" class {"+" [Class]}]
+      ["[0]" type {"+" [Type]}
        [category {"+" [Return' Value']}]
-       ["." reflection]]
-      ["." constant
+       ["[0]" reflection]]
+      ["[0]" constant
        [pool {"+" [Resource]}]]
       [encoding
-       ["." name {"+" [External Internal]}]
-       ["." unsigned]]]]
+       ["[0]" name {"+" [External Internal]}]
+       ["[0]" unsigned]]]]
     [tool
      [compiler
       [meta
-       ["." archive {"+" [Archive]}]]]]]]
-  ["." / "_"
-   ["#." abstract]
+       ["[0]" archive {"+" [Archive]}]]]]]]
+  ["[0]" / "_"
+   ["[1][0]" abstract]
    [field
     [constant
-     ["#." arity]]
+     ["[1][0]" arity]]
     [variable
-     ["#." foreign]
-     ["#." partial]]]
+     ["[1][0]" foreign]
+     ["[1][0]" partial]]]
    [method
-    ["#." init]
-    ["#." new]
-    ["#." implementation]
-    ["#." reset]
-    ["#." apply]]
-   ["/#" // "_"
-    ["#." runtime {"+" [Operation Phase Generator]}]
+    ["[1][0]" init]
+    ["[1][0]" new]
+    ["[1][0]" implementation]
+    ["[1][0]" reset]
+    ["[1][0]" apply]]
+   ["/[1]" // "_"
+    ["[1][0]" runtime {"+" [Operation Phase Generator]}]
     [////
      [analysis {"+" [Environment]}]
      [synthesis {"+" [Synthesis Abstraction Apply]}]
-     ["." generation]
+     ["[0]" generation]
      [///
-      ["." arity {"+" [Arity]}]
-      ["." phase]
+      ["[0]" arity {"+" [Arity]}]
+      ["[0]" phase]
       [reference
        [variable {"+" [Register]}]]]]]])
 
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/abstract.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/abstract.lux
index 653af8aaf..50f29310f 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/abstract.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/abstract.lux
@@ -6,12 +6,12 @@
       ["%" format]]]
     [target
      [jvm
-      ["." type {"+" [Type]}
+      ["[0]" type {"+" [Type]}
        [category {"+" [Method]}]]]]]]
   [//
    [field
     [constant
-     ["." arity]]]])
+     ["[0]" arity]]]])
 
 (def: .public artifact_id
   1)
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/constant.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/constant.lux
index abbf547d4..510e77552 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/constant.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/constant.lux
@@ -3,11 +3,11 @@
    [lux {"-" [Type type]}
     [data
      [collection
-      ["." row]]]
+      ["[0]" row]]]
     [target
      [jvm
-      ["." field {"+" [Field]}]
-      ["." modifier {"+" [Modifier]} ("#\." monoid)]
+      ["[0]" field {"+" [Field]}]
+      ["[0]" modifier {"+" [Modifier]} ("[1]\[0]" monoid)]
       [type {"+" [Type]}
        [category {"+" [Value]}]]
       [constant
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/constant/arity.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/constant/arity.lux
index 365e68c2c..ede38774c 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/constant/arity.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/constant/arity.lux
@@ -3,11 +3,11 @@
    [lux {"-" [type]}
     [target
      [jvm
-      ["." type]
-      ["." field {"+" [Field]}]
+      ["[0]" type]
+      ["[0]" field {"+" [Field]}]
       [constant
        [pool {"+" [Resource]}]]]]]]
-  ["." //
+  ["[0]" //
    [/////////
     [arity {"+" [Arity]}]]])
 
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/variable.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/variable.lux
index 7a8493260..d62a1f5d3 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/variable.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/variable.lux
@@ -3,20 +3,20 @@
    [lux {"-" [Type type]}
     [data
      [collection
-      ["." list ("#\." functor)]
-      ["." row]]]
+      ["[0]" list ("[1]\[0]" functor)]
+      ["[0]" row]]]
     [target
      [jvm
-      ["." modifier {"+" [Modifier]} ("#\." monoid)]
-      ["." field {"+" [Field]}]
+      ["[0]" modifier {"+" [Modifier]} ("[1]\[0]" monoid)]
+      ["[0]" field {"+" [Field]}]
       ["_" bytecode {"+" [Bytecode]}]
       [type {"+" [Type]}
        [category {"+" [Value Class]}]]
       [constant
        [pool {"+" [Resource]}]]]]]]
-  ["." //// "_"
-   ["#." type]
-   ["#." reference]
+  ["[0]" //// "_"
+   ["[1][0]" type]
+   ["[1][0]" reference]
    [//////
     [reference
      [variable {"+" [Register]}]]]])
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/variable/count.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/variable/count.lux
index f2c1e2189..c21896ac9 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/variable/count.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/variable/count.lux
@@ -2,16 +2,16 @@
   [library
    [lux {"-" [type]}
     [control
-     ["." try]]
+     ["[0]" try]]
     [target
      [jvm
       ["_" bytecode {"+" [Bytecode]}]
-      ["." type]
+      ["[0]" type]
       [encoding
        [name {"+" [External]}]
-       ["." signed]]]]]]
-  ["." //// "_"
-   ["#." abstract]])
+       ["[0]" signed]]]]]]
+  ["[0]" //// "_"
+   ["[1][0]" abstract]])
 
 (def: .public field "partials")
 (def: .public type type.int)
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/variable/foreign.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/variable/foreign.lux
index 53a486d88..f1f03af6c 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/variable/foreign.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/variable/foreign.lux
@@ -3,19 +3,19 @@
    [lux {"-" [Type]}
     [data
      [collection
-      ["." list]
-      ["." row]]]
+      ["[0]" list]
+      ["[0]" row]]]
     [target
      [jvm
       ["_" bytecode {"+" [Bytecode]}]
-      ["." field {"+" [Field]}]
+      ["[0]" field {"+" [Field]}]
       [constant
        [pool {"+" [Resource]}]]
       [type {"+" [Type]}
        [category {"+" [Value Class]}]]]]]]
-  ["." //
-   ["///#" //// "_"
-    ["#." reference]
+  ["[0]" //
+   ["///[1]" //// "_"
+    ["[1][0]" reference]
     [////
      [analysis {"+" [Environment]}]
      [synthesis {"+" [Synthesis]}]
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/variable/partial.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/variable/partial.lux
index 1755ea7df..e2bee647f 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/variable/partial.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/variable/partial.lux
@@ -2,31 +2,31 @@
   [library
    [lux {"-" [Type]}
     [abstract
-     ["." monad]]
+     ["[0]" monad]]
     [data
      [number
       ["n" nat]]
      [collection
-      ["." list ("#\." functor)]
-      ["." row]]]
+      ["[0]" list ("[1]\[0]" functor)]
+      ["[0]" row]]]
     [target
      [jvm
-      ["." field {"+" [Field]}]
-      ["_" bytecode {"+" [Label Bytecode]} ("#\." monad)]
+      ["[0]" field {"+" [Field]}]
+      ["_" bytecode {"+" [Label Bytecode]} ("[1]\[0]" monad)]
       [type {"+" [Type]}
        [category {"+" [Class]}]]
       [constant
        [pool {"+" [Resource]}]]]]]]
-  ["." / "_"
-   ["#." count]
-   ["/#" //
-    ["/#" // "_"
+  ["[0]" / "_"
+   ["[1][0]" count]
+   ["/[1]" //
+    ["/[1]" // "_"
      [constant
-      ["#." arity]]
-     ["//#" /// "_"
-      ["#." reference]
+      ["[1][0]" arity]]
+     ["//[1]" /// "_"
+      ["[1][0]" reference]
       [//////
-       ["." arity {"+" [Arity]}]
+       ["[0]" arity {"+" [Arity]}]
        [reference
         [variable {"+" [Register]}]]]]]]])
 
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method.lux
index 6463a0983..1269972ec 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method.lux
@@ -3,8 +3,8 @@
    [lux "*"
     [target
      [jvm
-      ["." modifier {"+" [Modifier]} ("#\." monoid)]
-      ["." method {"+" [Method]}]]]]])
+      ["[0]" modifier {"+" [Modifier]} ("[1]\[0]" monoid)]
+      ["[0]" method {"+" [Method]}]]]]])
 
 (def: .public modifier
   (Modifier Method)
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/apply.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/apply.lux
index bb78e1b8a..a16c047e7 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/apply.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/apply.lux
@@ -2,43 +2,43 @@
   [library
    [lux {"-" [Type type]}
     [abstract
-     ["." monad {"+" [do]}]]
+     ["[0]" monad {"+" [do]}]]
     [control
-     ["." try]]
+     ["[0]" try]]
     [data
      [number
       ["n" nat]
       ["i" int]
-      ["." i32]]
+      ["[0]" i32]]
      [collection
-      ["." list ("#\." monoid functor)]]]
+      ["[0]" list ("[1]\[0]" monoid functor)]]]
     [target
      [jvm
-      ["_" bytecode {"+" [Label Bytecode]} ("#\." monad)]
-      ["." method {"+" [Method]}]
+      ["_" bytecode {"+" [Label Bytecode]} ("[1]\[0]" monad)]
+      ["[0]" method {"+" [Method]}]
       [constant
        [pool {"+" [Resource]}]]
       [encoding
-       ["." signed]]
-      ["." type {"+" [Type]}
-       ["." category {"+" [Class]}]]]]]]
-  ["." //
-   ["#." reset]
-   ["#." implementation]
-   ["#." init]
-   ["/#" // "_"
-    ["#." abstract]
+       ["[0]" signed]]
+      ["[0]" type {"+" [Type]}
+       ["[0]" category {"+" [Class]}]]]]]]
+  ["[0]" //
+   ["[1][0]" reset]
+   ["[1][0]" implementation]
+   ["[1][0]" init]
+   ["/[1]" // "_"
+    ["[1][0]" abstract]
     [field
      [constant
-      ["#." arity]]
+      ["[1][0]" arity]]
      [variable
-      ["#." partial
-       ["#/." count]]
-      ["#." foreign]]]
-    ["/#" // "_"
-     ["#." runtime]
-     ["#." value]
-     ["#." reference]
+      ["[1][0]" partial
+       ["[1]/[0]" count]]
+      ["[1][0]" foreign]]]
+    ["/[1]" // "_"
+     ["[1][0]" runtime]
+     ["[1][0]" value]
+     ["[1][0]" reference]
      [////
       [analysis {"+" [Environment]}]
       [synthesis {"+" [Synthesis]}]
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/implementation.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/implementation.lux
index 12c181265..ae02754ae 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/implementation.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/implementation.lux
@@ -3,18 +3,18 @@
    [lux {"-" [Type type]}
     [data
      [collection
-      ["." list]]]
+      ["[0]" list]]]
     [target
      [jvm
-      ["." method {"+" [Method]}]
+      ["[0]" method {"+" [Method]}]
       ["_" bytecode {"+" [Label Bytecode]}]
       [constant
        [pool {"+" [Resource]}]]
-      ["." type {"+" [Type]}
-       ["." category]]]]]]
-  ["." //
-   ["//#" /// "_"
-    ["#." type]
+      ["[0]" type {"+" [Type]}
+       ["[0]" category]]]]]]
+  ["[0]" //
+   ["//[1]" /// "_"
+    ["[1][0]" type]
     [//////
      [arity {"+" [Arity]}]]]])
 
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/init.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/init.lux
index 05cb6db7d..e39e582db 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/init.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/init.lux
@@ -2,42 +2,42 @@
   [library
    [lux {"-" [Type type]}
     [abstract
-     ["." monad]]
+     ["[0]" monad]]
     [control
-     ["." try]]
+     ["[0]" try]]
     [data
      [number
       ["n" nat]]
      [collection
-      ["." list ("#\." monoid functor)]]]
+      ["[0]" list ("[1]\[0]" monoid functor)]]]
     [target
      [jvm
       ["_" bytecode {"+" [Bytecode]}]
-      ["." method {"+" [Method]}]
+      ["[0]" method {"+" [Method]}]
       [encoding
-       ["." unsigned]]
+       ["[0]" unsigned]]
       [constant
        [pool {"+" [Resource]}]]
-      ["." type {"+" [Type]}
-       ["." category {"+" [Class Value]}]]]]]]
-  ["." //
-   ["#." implementation]
-   ["/#" // "_"
-    ["#." abstract]
+      ["[0]" type {"+" [Type]}
+       ["[0]" category {"+" [Class Value]}]]]]]]
+  ["[0]" //
+   ["[1][0]" implementation]
+   ["/[1]" // "_"
+    ["[1][0]" abstract]
     [field
      [constant
-      ["#." arity]]
+      ["[1][0]" arity]]
      [variable
-      ["#." foreign]
-      ["#." partial]]]
-    ["/#" // "_"
-     ["#." type]
-     ["#." reference]
+      ["[1][0]" foreign]
+      ["[1][0]" partial]]]
+    ["/[1]" // "_"
+     ["[1][0]" type]
+     ["[1][0]" reference]
      [////
       [analysis {"+" [Environment]}]
       [synthesis {"+" [Synthesis]}]
       [///
-       ["." arity {"+" [Arity]}]
+       ["[0]" arity {"+" [Arity]}]
        [reference
         [variable {"+" [Register]}]]]]]]])
 
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/new.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/new.lux
index 85e19d830..0e8365945 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/new.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/new.lux
@@ -2,45 +2,45 @@
   [library
    [lux {"-" [Type type]}
     [abstract
-     ["." monad {"+" [do]}]]
+     ["[0]" monad {"+" [do]}]]
     [data
      [number
       ["n" nat]]
      [collection
-      ["." list]]]
+      ["[0]" list]]]
     [target
      [jvm
-      ["." field {"+" [Field]}]
-      ["." method {"+" [Method]}]
+      ["[0]" field {"+" [Field]}]
+      ["[0]" method {"+" [Method]}]
       ["_" bytecode {"+" [Bytecode]}]
-      ["." constant
+      ["[0]" constant
        [pool {"+" [Resource]}]]
       [type {"+" [Type]}
-       ["." category {"+" [Class Value Return]}]]]]
+       ["[0]" category {"+" [Class Value Return]}]]]]
     [tool
      [compiler
       [meta
-       ["." archive {"+" [Archive]}]]]]]]
-  ["." //
-   ["#." init]
-   ["#." implementation]
-   ["/#" // "_"
+       ["[0]" archive {"+" [Archive]}]]]]]]
+  ["[0]" //
+   ["[1][0]" init]
+   ["[1][0]" implementation]
+   ["/[1]" // "_"
     [field
      [constant
-      ["#." arity]]
+      ["[1][0]" arity]]
      [variable
-      ["#." foreign]
-      ["#." partial]]]
-    ["/#" // "_"
+      ["[1][0]" foreign]
+      ["[1][0]" partial]]]
+    ["/[1]" // "_"
      [runtime {"+" [Operation Phase]}]
-     ["#." value]
-     ["#." reference]
+     ["[1][0]" value]
+     ["[1][0]" reference]
      [////
       [analysis {"+" [Environment]}]
       [synthesis {"+" [Synthesis]}]
       [///
-       ["." arity {"+" [Arity]}]
-       ["." phase]]]]]])
+       ["[0]" arity {"+" [Arity]}]
+       ["[0]" phase]]]]]])
 
 (def: .public (instance' foreign_setup class environment arity)
   (-> (List (Bytecode Any)) (Type Class) (Environment Synthesis) Arity (Bytecode Any))
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/reset.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/reset.lux
index 502a48fd9..f406c2879 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/reset.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/reset.lux
@@ -3,28 +3,28 @@
    [lux {"-" [Type type]}
     [data
      [collection
-      ["." list ("#\." functor)]]]
+      ["[0]" list ("[1]\[0]" functor)]]]
     [target
      [jvm
-      ["." method {"+" [Method]}]
+      ["[0]" method {"+" [Method]}]
       ["_" bytecode {"+" [Bytecode]}]
       [constant
        [pool {"+" [Resource]}]]
-      ["." type {"+" [Type]}
-       ["." category {"+" [Class]}]]]]]]
-  ["." //
-   ["#." new]
-   ["/#" // "_"
+      ["[0]" type {"+" [Type]}
+       ["[0]" category {"+" [Class]}]]]]]]
+  ["[0]" //
+   ["[1][0]" new]
+   ["/[1]" // "_"
     [field
      [variable
-      ["#." foreign]]]
-    ["/#" // "_"
-     ["#." reference]
+      ["[1][0]" foreign]]]
+    ["/[1]" // "_"
+     ["[1][0]" reference]
      [////
       [analysis {"+" [Environment]}]
       [synthesis {"+" [Synthesis]}]
       [///
-       ["." arity {"+" [Arity]}]]]]]])
+       ["[0]" arity {"+" [Arity]}]]]]]])
 
 (def: .public name "reset")
 
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/host.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/host.lux
index 0a65489d9..df781631c 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/host.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/host.lux
@@ -1,45 +1,45 @@
 (.module:
   [library
    [lux {"-" [Definition]}
-    ["." ffi {"+" [import: do_to object]}]
+    ["[0]" ffi {"+" [import: do_to object]}]
     [abstract
      [monad {"+" [do]}]]
     [control
      pipe
-     ["." try {"+" [Try]}]
-     ["." exception {"+" [exception:]}]
-     ["." io {"+" [IO io]}]
+     ["[0]" try {"+" [Try]}]
+     ["[0]" exception {"+" [exception:]}]
+     ["[0]" io {"+" [IO io]}]
      [concurrency
-      ["." atom {"+" [Atom atom]}]]]
+      ["[0]" atom {"+" [Atom atom]}]]]
     [data
      [binary {"+" [Binary]}]
-     ["." product]
-     ["." text ("#\." hash)
+     ["[0]" product]
+     ["[0]" text ("[1]\[0]" hash)
       ["%" format {"+" [format]}]]
      [collection
-      ["." array]
-      ["." dictionary {"+" [Dictionary]}]
-      ["." row]]
-     ["." format "_"
-      ["#" binary]]]
+      ["[0]" array]
+      ["[0]" dictionary {"+" [Dictionary]}]
+      ["[0]" row]]
+     ["[0]" format "_"
+      ["[1]" binary]]]
     [target
      [jvm
-      ["." loader {"+" [Library]}]
+      ["[0]" loader {"+" [Library]}]
       ["_" bytecode {"+" [Bytecode]}]
-      ["." modifier {"+" [Modifier]} ("#\." monoid)]
-      ["." field {"+" [Field]}]
-      ["." method {"+" [Method]}]
-      ["." version]
-      ["." class {"+" [Class]}]
-      ["." encoding "_"
-       ["#/." name]]
-      ["." type
-       ["." descriptor]]]]
+      ["[0]" modifier {"+" [Modifier]} ("[1]\[0]" monoid)]
+      ["[0]" field {"+" [Field]}]
+      ["[0]" method {"+" [Method]}]
+      ["[0]" version]
+      ["[0]" class {"+" [Class]}]
+      ["[0]" encoding "_"
+       ["[1]/[0]" name]]
+      ["[0]" type
+       ["[0]" descriptor]]]]
     [tool
      [compiler
-      ["." name]]]]]
-  ["." // "_"
-   ["#." runtime {"+" [Definition]}]]
+      ["[0]" name]]]]]
+  ["[0]" // "_"
+   ["[1][0]" runtime {"+" [Definition]}]]
   )
 
 (import: java/lang/reflect/Field
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/loop.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/loop.lux
index d42c88f53..c98f530a2 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/loop.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/loop.lux
@@ -2,26 +2,26 @@
   [library
    [lux "*"
     [abstract
-     ["." monad {"+" [do]}]]
+     ["[0]" monad {"+" [do]}]]
     [control
-     ["." function]]
+     ["[0]" function]]
     [data
-     ["." product]
+     ["[0]" product]
      [number
       ["n" nat]]
      [collection
-      ["." list ("#\." functor)]]]
+      ["[0]" list ("[1]\[0]" functor)]]]
     [target
      [jvm
-      ["_" bytecode {"+" [Label Bytecode]} ("#\." monad)]]]]]
-  ["." // "_"
-   ["#." runtime {"+" [Operation Phase Generator]}]
-   ["#." value]
+      ["_" bytecode {"+" [Label Bytecode]} ("[1]\[0]" monad)]]]]]
+  ["[0]" // "_"
+   ["[1][0]" runtime {"+" [Operation Phase Generator]}]
+   ["[1][0]" value]
    [////
-    ["." synthesis {"+" [Path Synthesis]}]
-    ["." generation]
+    ["[0]" synthesis {"+" [Path Synthesis]}]
+    ["[0]" generation]
     [///
-     ["." phase]
+     ["[0]" phase]
      [reference
       [variable {"+" [Register]}]]]]])
 
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/primitive.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/primitive.lux
index a2019c13c..3edc41c03 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/primitive.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/primitive.lux
@@ -1,17 +1,17 @@
 (.module:
   [library
    [lux {"-" [i64]}
-    ["." ffi {"+" [import:]}]
+    ["[0]" ffi {"+" [import:]}]
     [abstract
      [monad {"+" [do]}]]
     [target
      [jvm
       ["_" bytecode {"+" [Bytecode]}]
-      ["." type]
+      ["[0]" type]
       [encoding
-       ["." signed]]]]]]
-  ["." // "_"
-   ["#." runtime]])
+       ["[0]" signed]]]]]]
+  ["[0]" // "_"
+   ["[1][0]" runtime]])
 
 (def: $Boolean (type.class "java.lang.Boolean" (list)))
 (def: $Long (type.class "java.lang.Long" (list)))
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/program.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/program.lux
index 536b23ca1..8ba5655a1 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/program.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/program.lux
@@ -4,26 +4,26 @@
     [abstract
      [monad {"+" [do]}]]
     [control
-     ["." try]]
+     ["[0]" try]]
     [data
      [collection
-      ["." row]]
-     ["." format "_"
-      ["#" binary]]]
+      ["[0]" row]]
+     ["[0]" format "_"
+      ["[1]" binary]]]
     [target
      [jvm
       ["_" bytecode {"+" [Bytecode]}]
-      ["." modifier {"+" [Modifier]} ("#\." monoid)]
-      ["." method {"+" [Method]}]
-      ["." version]
-      ["." class {"+" [Class]}]
+      ["[0]" modifier {"+" [Modifier]} ("[1]\[0]" monoid)]
+      ["[0]" method {"+" [Method]}]
+      ["[0]" version]
+      ["[0]" class {"+" [Class]}]
       [encoding
-       ["." name]]
-      ["." type
-       ["." reflection]]]]]]
-  ["." //
-   ["#." runtime {"+" [Definition]}]
-   ["#." function/abstract]])
+       ["[0]" name]]
+      ["[0]" type
+       ["[0]" reflection]]]]]]
+  ["[0]" //
+   ["[1][0]" runtime {"+" [Definition]}]
+   ["[1][0]" function/abstract]])
 
 (def: .public class
   "LuxProgram")
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/reference.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/reference.lux
index 85fec6709..931f8fd72 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/reference.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/reference.lux
@@ -9,20 +9,20 @@
     [target
      [jvm
       ["_" bytecode {"+" [Bytecode]}]
-      ["." type]
+      ["[0]" type]
       [encoding
-       ["." unsigned]]]]]]
-  ["." // "_"
-   ["#." runtime {"+" [Operation]}]
-   ["#." value]
-   ["#." type]
-   ["//#" /// "_"
+       ["[0]" unsigned]]]]]]
+  ["[0]" // "_"
+   ["[1][0]" runtime {"+" [Operation]}]
+   ["[1][0]" value]
+   ["[1][0]" type]
+   ["//[1]" /// "_"
     [//
-     ["." generation]
+     ["[0]" generation]
      [///
-      ["#" phase ("operation\." monad)]
+      ["[1]" phase ("operation\[0]" monad)]
       [reference
-       ["." variable {"+" [Register Variable]}]]
+       ["[0]" variable {"+" [Register Variable]}]]
       [meta
        [archive {"+" [Archive]}]]]]]])
 
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/runtime.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/runtime.lux
index 392e36692..ad6166d3f 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/runtime.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/runtime.lux
@@ -2,56 +2,56 @@
   [library
    [lux {"-" [Type Definition Label case false true try]}
     [abstract
-     ["." monad {"+" [do]}]
-     ["." enum]]
+     ["[0]" monad {"+" [do]}]
+     ["[0]" enum]]
     [control
-     ["." try]]
+     ["[0]" try]]
     [data
      [binary {"+" [Binary]}]
      [collection
-      ["." list ("#\." functor)]
-      ["." row]]
-     ["." format "_"
-      ["#" binary]]
+      ["[0]" list ("[1]\[0]" functor)]
+      ["[0]" row]]
+     ["[0]" format "_"
+      ["[1]" binary]]
      [text
       ["%" format {"+" [format]}]]]
     [math
      [number
       ["n" nat]
-      ["." i32]
-      ["." i64]]]
+      ["[0]" i32]
+      ["[0]" i64]]]
     [target
-     ["." jvm "_"
+     ["[0]" jvm "_"
       ["_" bytecode {"+" [Label Bytecode]}]
-      ["." modifier {"+" [Modifier]} ("#\." monoid)]
-      ["." field {"+" [Field]}]
-      ["." method {"+" [Method]}]
-      ["#/." version]
-      ["." class {"+" [Class]}]
-      ["." constant
+      ["[0]" modifier {"+" [Modifier]} ("[1]\[0]" monoid)]
+      ["[0]" field {"+" [Field]}]
+      ["[0]" method {"+" [Method]}]
+      ["[1]/[0]" version]
+      ["[0]" class {"+" [Class]}]
+      ["[0]" constant
        [pool {"+" [Resource]}]]
       [encoding
-       ["." name]]
-      ["." type {"+" [Type]}
-       ["." category {"+" [Return' Value']}]
-       ["." reflection]]]]]]
-  ["." // "_"
-   ["#." type]
-   ["#." value]
-   ["#." function "_"
-    ["#" abstract]
+       ["[0]" name]]
+      ["[0]" type {"+" [Type]}
+       ["[0]" category {"+" [Return' Value']}]
+       ["[0]" reflection]]]]]]
+  ["[0]" // "_"
+   ["[1][0]" type]
+   ["[1][0]" value]
+   ["[1][0]" function "_"
+    ["[1]" abstract]
     [field
      [constant
-      ["#/." arity]]
+      ["[1]/[0]" arity]]
      [variable
-      ["#/." count]]]]
-   ["//#" /// "_"
+      ["[1]/[0]" count]]]]
+   ["//[1]" /// "_"
     [//
-     ["." version]
-     ["." synthesis]
-     ["." generation]
+     ["[0]" version]
+     ["[0]" synthesis]
+     ["[0]" generation]
      [///
-      ["#" phase]
+      ["[1]" phase]
       [arity {"+" [Arity]}]
       [reference
        [variable {"+" [Register]}]]
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/structure.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/structure.lux
index c243107b7..c3bb19132 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/structure.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/structure.lux
@@ -2,26 +2,26 @@
   [library
    [lux "*"
     [abstract
-     ["." monad {"+" [do]}]]
+     ["[0]" monad {"+" [do]}]]
     [data
      [number
-      ["." i32]]
+      ["[0]" i32]]
      [collection
-      ["." list]]]
+      ["[0]" list]]]
     [target
      [jvm
       ["_" bytecode {"+" [Bytecode]}]
-      ["." type]
+      ["[0]" type]
       [encoding
-       ["." signed]]]]]]
-  ["." // "_"
-   ["#." runtime {"+" [Operation Phase Generator]}]
-   ["#." primitive]
-   ["///#" //// "_"
+       ["[0]" signed]]]]]]
+  ["[0]" // "_"
+   ["[1][0]" runtime {"+" [Operation Phase Generator]}]
+   ["[1][0]" primitive]
+   ["///[1]" //// "_"
     [analysis {"+" [Variant Tuple]}]
-    ["#." synthesis {"+" [Synthesis]}]
+    ["[1][0]" synthesis {"+" [Synthesis]}]
     [///
-     ["." phase]]]])
+     ["[0]" phase]]]])
 
 (def: $Object
   (type.class "java.lang.Object" (list)))
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/type.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/type.lux
index 7ad6dffdd..786c52d26 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/type.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/type.lux
@@ -3,7 +3,7 @@
    [lux "*"
     [target
      [jvm
-      ["." type]]]]])
+      ["[0]" type]]]]])
 
 (def: .public frac (type.class "java.lang.Double" (list)))
 (def: .public text (type.class "java.lang.String" (list)))
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/value.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/value.lux
index badc179a7..cec3d3b97 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/value.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/value.lux
@@ -4,9 +4,9 @@
     [target
      [jvm
       ["_" bytecode {"+" [Bytecode]}]
-      ["." type {"+" [Type]} ("#\." equivalence)
+      ["[0]" type {"+" [Type]} ("[1]\[0]" equivalence)
        [category {"+" [Primitive]}]
-       ["." box]]]]]])
+       ["[0]" box]]]]]])
 
 (def: .public field "value")
 
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua.lux
index 363f94d93..7cc28fb4d 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua.lux
@@ -4,29 +4,29 @@
     [abstract
      [monad {"+" [do]}]]
     [control
-     ["." exception {"+" [exception:]}]]
+     ["[0]" exception {"+" [exception:]}]]
     [target
      ["_" lua]]]]
-  ["." / "_"
+  ["[0]" / "_"
    [runtime {"+" [Phase]}]
-   ["#." primitive]
-   ["#." structure]
-   ["#." reference]
-   ["#." case]
-   ["#." loop]
-   ["#." function]
-   ["/#" // "_"
-    ["#." reference]
-    ["/#" // "_"
-     ["#." extension
+   ["[1][0]" primitive]
+   ["[1][0]" structure]
+   ["[1][0]" reference]
+   ["[1][0]" case]
+   ["[1][0]" loop]
+   ["[1][0]" function]
+   ["/[1]" // "_"
+    ["[1][0]" reference]
+    ["/[1]" // "_"
+     ["[1][0]" extension
       [generation
        [lua
-        ["#/." common]]]]
-     ["/#" // "_"
+        ["[1]/[0]" common]]]]
+     ["/[1]" // "_"
       [analysis {"+" []}]
-      ["." synthesis]
-      ["//#" /// "_"
-       ["#." phase ("#\." monad)]
+      ["[0]" synthesis]
+      ["//[1]" /// "_"
+       ["[1][0]" phase ("[1]\[0]" monad)]
        [reference {"+" []}
         [variable {"+" []}]]]]]]])
 
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/case.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/case.lux
index 63ea61d7b..d21406763 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/case.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/case.lux
@@ -2,31 +2,31 @@
   [library
    [lux {"-" [case let if]}
     [abstract
-     ["." monad {"+" [do]}]]
+     ["[0]" monad {"+" [do]}]]
     [data
-     ["." text
+     ["[0]" text
       ["%" format {"+" [format]}]]
      [collection
-      ["." list ("#\." functor mix)]
-      ["." set]]]
+      ["[0]" list ("[1]\[0]" functor mix)]
+      ["[0]" set]]]
     [target
      ["_" lua {"+" [Expression Var Statement]}]]]]
-  ["." // "_"
-   ["#." runtime {"+" [Operation Phase Phase! Generator Generator!]}]
-   ["#." reference]
-   ["#." primitive]
-   ["/#" // "_"
-    ["#." reference]
-    ["/#" // "_"
-     ["#." synthesis "_"
-      ["#/." case]]
-     ["/#" // "_"
-      ["#." synthesis {"+" [Member Synthesis Path]}]
-      ["#." generation]
-      ["//#" /// "_"
+  ["[0]" // "_"
+   ["[1][0]" runtime {"+" [Operation Phase Phase! Generator Generator!]}]
+   ["[1][0]" reference]
+   ["[1][0]" primitive]
+   ["/[1]" // "_"
+    ["[1][0]" reference]
+    ["/[1]" // "_"
+     ["[1][0]" synthesis "_"
+      ["[1]/[0]" case]]
+     ["/[1]" // "_"
+      ["[1][0]" synthesis {"+" [Member Synthesis Path]}]
+      ["[1][0]" generation]
+      ["//[1]" /// "_"
        [reference
-        ["#." variable {"+" [Register]}]]
-       ["#." phase ("#\." monad)]
+        ["[1][0]" variable {"+" [Register]}]]
+       ["[1][0]" phase ("[1]\[0]" monad)]
        [meta
         [archive {"+" [Archive]}]]]]]]])
 
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/function.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/function.lux
index 4f40af927..dbae0c91b 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/function.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/function.lux
@@ -2,30 +2,30 @@
   [library
    [lux {"-" [Tuple Variant function]}
     [abstract
-     ["." monad {"+" [do]}]]
+     ["[0]" monad {"+" [do]}]]
     [control
      pipe]
     [data
-     ["." product]
+     ["[0]" product]
      [text
       ["%" format {"+" [format]}]]
      [collection
-      ["." list ("#\." functor mix)]]]
+      ["[0]" list ("[1]\[0]" functor mix)]]]
     [target
      ["_" lua {"+" [Var Expression Label Statement]}]]]]
-  ["." // "_"
-   ["#." runtime {"+" [Operation Phase Phase! Generator]}]
-   ["#." reference]
-   ["#." case]
-   ["/#" // "_"
-    ["#." reference]
-    ["//#" /// "_"
+  ["[0]" // "_"
+   ["[1][0]" runtime {"+" [Operation Phase Phase! Generator]}]
+   ["[1][0]" reference]
+   ["[1][0]" case]
+   ["/[1]" // "_"
+    ["[1][0]" reference]
+    ["//[1]" /// "_"
      [analysis {"+" [Variant Tuple Abstraction Application Analysis]}]
      [synthesis {"+" [Synthesis]}]
-     ["#." generation {"+" [Context]}]
-     ["//#" /// "_"
+     ["[1][0]" generation {"+" [Context]}]
+     ["//[1]" /// "_"
       [arity {"+" [Arity]}]
-      ["#." phase ("#\." monad)]
+      ["[1][0]" phase ("[1]\[0]" monad)]
       [reference
        [variable {"+" [Register Variable]}]]]]]])
 
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/loop.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/loop.lux
index 83cd08060..57b7261ff 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/loop.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/loop.lux
@@ -2,29 +2,29 @@
   [library
    [lux {"-" [Scope]}
     [abstract
-     ["." monad {"+" [do]}]]
+     ["[0]" monad {"+" [do]}]]
     [data
-     ["." product]
+     ["[0]" product]
      [text
       ["%" format {"+" [format]}]]
      [collection
-      ["." list ("#\." functor)]
-      ["." set]]]
+      ["[0]" list ("[1]\[0]" functor)]
+      ["[0]" set]]]
     [math
      [number
       ["n" nat]]]
     [target
      ["_" lua {"+" [Var Expression Label Statement]}]]]]
-  ["." // "_"
+  ["[0]" // "_"
    [runtime {"+" [Operation Phase Phase! Generator Generator!]}]
-   ["#." case]
-   ["/#" // "_"
-    ["#." reference]
-    ["//#" /// "_"
-     ["."synthesis {"+" [Scope Synthesis]}]
-     ["#." generation]
-     ["//#" /// "_"
-      ["#." phase]
+   ["[1][0]" case]
+   ["/[1]" // "_"
+    ["[1][0]" reference]
+    ["//[1]" /// "_"
+     ["[0]"synthesis {"+" [Scope Synthesis]}]
+     ["[1][0]" generation]
+     ["//[1]" /// "_"
+      ["[1][0]" phase]
       [meta
        [archive {"+" [Archive]}]]
       [reference
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/runtime.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/runtime.lux
index af7eba43a..d2b823b85 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/runtime.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/runtime.lux
@@ -1,42 +1,42 @@
 (.module:
   [library
    [lux {"-" [Location]}
-    ["." meta]
+    ["[0]" meta]
     [abstract
-     ["." monad {"+" [do]}]]
+     ["[0]" monad {"+" [do]}]]
     [control
-     ["." function]
+     ["[0]" function]
      ["<>" parser
-      ["<.>" code]]]
+      ["<[0]>" code]]]
     [data
-     ["." product]
-     ["." text ("#\." hash)
+     ["[0]" product]
+     ["[0]" text ("[1]\[0]" hash)
       ["%" format {"+" [format]}]
       [encoding
-       ["." utf8]]]
+       ["[0]" utf8]]]
      [collection
-      ["." list ("#\." functor)]
-      ["." row]]]
-    ["." macro
+      ["[0]" list ("[1]\[0]" functor)]
+      ["[0]" row]]]
+    ["[0]" macro
      [syntax {"+" [syntax:]}]
-     ["." code]]
+     ["[0]" code]]
     [math
      [number {"+" [hex]}
-      ["." i64]]]
+      ["[0]" i64]]]
     ["@" target
      ["_" lua {"+" [Expression Location Var Computation Literal Label Statement]}]]]]
-  ["." /// "_"
-   ["#." reference]
-   ["//#" /// "_"
-    ["#." synthesis {"+" [Synthesis]}]
-    ["#." generation]
-    ["//#" ///
-     ["#." phase]
+  ["[0]" /// "_"
+   ["[1][0]" reference]
+   ["//[1]" /// "_"
+    ["[1][0]" synthesis {"+" [Synthesis]}]
+    ["[1][0]" generation]
+    ["//[1]" ///
+     ["[1][0]" phase]
      [reference
       [variable {"+" [Register]}]]
      [meta
       [archive {"+" [Output Archive]}
-       ["." artifact {"+" [Registry]}]]]]]])
+       ["[0]" artifact {"+" [Registry]}]]]]]])
 
 (template [<name> <base>]
   [(type: .public <name>
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/structure.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/structure.lux
index 41cf85418..10be9ba18 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/structure.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/structure.lux
@@ -2,17 +2,17 @@
   [library
    [lux {"-" [Tuple Variant]}
     [abstract
-     ["." monad {"+" [do]}]]
+     ["[0]" monad {"+" [do]}]]
     [target
      ["_" lua {"+" [Expression]}]]]]
-  ["." // "_"
-   ["#." runtime {"+" [Operation Phase Generator]}]
-   ["#." primitive]
-   ["///#" //// "_"
+  ["[0]" // "_"
+   ["[1][0]" runtime {"+" [Operation Phase Generator]}]
+   ["[1][0]" primitive]
+   ["///[1]" //// "_"
     [analysis {"+" [Variant Tuple]}]
-    ["#." synthesis {"+" [Synthesis]}]
-    ["//#" /// "_"
-     ["#." phase ("#\." monad)]]]])
+    ["[1][0]" synthesis {"+" [Synthesis]}]
+    ["//[1]" /// "_"
+     ["[1][0]" phase ("[1]\[0]" monad)]]]])
 
 (def: .public (tuple generate archive elemsS+)
   (Generator (Tuple Synthesis))
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php.lux
index c6b0decce..fae8d8d61 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php.lux
@@ -4,26 +4,26 @@
     [abstract
      [monad {"+" [do]}]]
     [control
-     ["." exception {"+" [exception:]}]]
+     ["[0]" exception {"+" [exception:]}]]
     [target
      ["_" php]]]]
-  ["." / "_"
+  ["[0]" / "_"
    [runtime {"+" [Phase Phase!]}]
-   ["#." primitive]
-   ["#." structure]
-   ["#." reference]
-   ["#." case]
-   ["#." loop]
-   ["#." function]
-   ["/#" // "_"
-    ["#." reference]
-    ["/#" // "_"
-     ["#." extension]
-     ["/#" // "_"
+   ["[1][0]" primitive]
+   ["[1][0]" structure]
+   ["[1][0]" reference]
+   ["[1][0]" case]
+   ["[1][0]" loop]
+   ["[1][0]" function]
+   ["/[1]" // "_"
+    ["[1][0]" reference]
+    ["/[1]" // "_"
+     ["[1][0]" extension]
+     ["/[1]" // "_"
       [analysis {"+" []}]
-      ["#." synthesis]
-      ["//#" /// "_"
-       ["#." phase ("#\." monad)]
+      ["[1][0]" synthesis]
+      ["//[1]" /// "_"
+       ["[1][0]" phase ("[1]\[0]" monad)]
        [reference {"+" []}
         [variable {"+" []}]]]]]]])
 
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/case.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/case.lux
index b3db682aa..295d24457 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/case.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/case.lux
@@ -2,35 +2,35 @@
   [library
    [lux {"-" [case let if]}
     [abstract
-     ["." monad {"+" [do]}]]
+     ["[0]" monad {"+" [do]}]]
     [data
-     ["." product]
-     ["." text
+     ["[0]" product]
+     ["[0]" text
       ["%" format {"+" [format]}]]
      [collection
-      ["." list ("#\." functor mix)]
-      ["." set]]]
+      ["[0]" list ("[1]\[0]" functor mix)]
+      ["[0]" set]]]
     [math
      [number
       ["i" int]]]
     [target
      ["_" php {"+" [Expression Var Statement]}]]]]
-  ["." // "_"
-   ["#." runtime {"+" [Operation Phase Phase! Generator Generator!]}]
-   ["#." reference]
-   ["#." primitive]
-   ["/#" // "_"
-    ["#." reference]
-    ["/#" // "_"
-     ["#." synthesis "_"
-      ["#/." case]]
-     ["/#" // "_"
-      ["#." synthesis {"+" [Member Synthesis Path]}]
-      ["#." generation]
-      ["//#" /// "_"
+  ["[0]" // "_"
+   ["[1][0]" runtime {"+" [Operation Phase Phase! Generator Generator!]}]
+   ["[1][0]" reference]
+   ["[1][0]" primitive]
+   ["/[1]" // "_"
+    ["[1][0]" reference]
+    ["/[1]" // "_"
+     ["[1][0]" synthesis "_"
+      ["[1]/[0]" case]]
+     ["/[1]" // "_"
+      ["[1][0]" synthesis {"+" [Member Synthesis Path]}]
+      ["[1][0]" generation]
+      ["//[1]" /// "_"
        [reference
-        ["#." variable {"+" [Register]}]]
-       ["#." phase ("#\." monad)]
+        ["[1][0]" variable {"+" [Register]}]]
+       ["[1][0]" phase ("[1]\[0]" monad)]
        [meta
         [archive {"+" [Archive]}]]]]]]])
 
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/extension.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/extension.lux
index 6e255664b..ebdd43f89 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/extension.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/extension.lux
@@ -3,11 +3,11 @@
    [lux "*"
     [data
      [collection
-      ["." dictionary]]]]]
+      ["[0]" dictionary]]]]]
   [//
    [runtime {"+" [Bundle]}]]
   [/
-   ["." common]])
+   ["[0]" common]])
 
 (def: .public bundle
   Bundle
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/extension/common.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/extension/common.lux
index 07a9c41ab..2a821d617 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/extension/common.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/extension/common.lux
@@ -2,27 +2,27 @@
   [library
    [lux "*"
     [abstract
-     ["." monad {"+" [do]}]]
+     ["[0]" monad {"+" [do]}]]
     [control
-     ["." function]]
+     ["[0]" function]]
     [data
-     ["." product]
-     ["." text]
+     ["[0]" product]
+     ["[0]" text]
      [number
       ["f" frac]]
      [collection
-      ["." dictionary]]]
+      ["[0]" dictionary]]]
     [target
      ["_" php {"+" [Expression]}]]]]
-  ["." /// "_"
-   ["#." runtime {"+" [Operation Phase Handler Bundle]}]
-   ["#." primitive]
+  ["[0]" /// "_"
+   ["[1][0]" runtime {"+" [Operation Phase Handler Bundle]}]
+   ["[1][0]" primitive]
    [//
     [extension {"+" [Nullary Unary Binary Trinary
                      nullary unary binary trinary]}]
     [//
      [extension
-      ["." bundle]]]]])
+      ["[0]" bundle]]]]])
 
 (def: lux_procs
   Bundle
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/function.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/function.lux
index c5febd5c4..f630ec274 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/function.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/function.lux
@@ -2,30 +2,30 @@
   [library
    [lux {"-" [Global function]}
     [abstract
-     ["." monad {"+" [do]}]]
+     ["[0]" monad {"+" [do]}]]
     [control
      pipe]
     [data
-     ["." product]
-     ["." text
+     ["[0]" product]
+     ["[0]" text
       ["%" format {"+" [format]}]]
      [collection
-      ["." list ("#\." functor mix)]]]
+      ["[0]" list ("[1]\[0]" functor mix)]]]
     [target
      ["_" php {"+" [Var Global Expression Argument Label Statement]}]]]]
-  ["." // "_"
-   ["#." runtime {"+" [Operation Phase Phase! Generator]}]
-   ["#." reference]
-   ["#." case]
-   ["/#" // "_"
-    ["#." reference]
-    ["//#" /// "_"
+  ["[0]" // "_"
+   ["[1][0]" runtime {"+" [Operation Phase Phase! Generator]}]
+   ["[1][0]" reference]
+   ["[1][0]" case]
+   ["/[1]" // "_"
+    ["[1][0]" reference]
+    ["//[1]" /// "_"
      [analysis {"+" [Variant Tuple Abstraction Application Analysis]}]
      [synthesis {"+" [Synthesis]}]
-     ["#." generation {"+" [Context]}]
-     ["//#" /// "_"
+     ["[1][0]" generation {"+" [Context]}]
+     ["//[1]" /// "_"
       [arity {"+" [Arity]}]
-      ["#." phase ("#\." monad)]
+      ["[1][0]" phase ("[1]\[0]" monad)]
       [reference
        [variable {"+" [Register Variable]}]]]]]])
 
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/loop.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/loop.lux
index 307bb9718..055e107e0 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/loop.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/loop.lux
@@ -2,32 +2,32 @@
   [library
    [lux {"-" [Scope]}
     [abstract
-     ["." monad {"+" [do]}]]
+     ["[0]" monad {"+" [do]}]]
     [data
-     ["." product]
-     ["." text
+     ["[0]" product]
+     ["[0]" text
       ["%" format {"+" [format]}]]
      [collection
-      ["." list ("#\." functor mix)]
-      ["." set {"+" [Set]}]]]
+      ["[0]" list ("[1]\[0]" functor mix)]
+      ["[0]" set {"+" [Set]}]]]
     [math
      [number
       ["n" nat]]]
     [target
      ["_" php {"+" [Var Expression Label Statement]}]]]]
-  ["." // "_"
+  ["[0]" // "_"
    [runtime {"+" [Operation Phase Phase! Generator Generator!]}]
-   ["#." case]
-   ["/#" // "_"
-    ["#." reference]
-    ["/#" // "_"
+   ["[1][0]" case]
+   ["/[1]" // "_"
+    ["[1][0]" reference]
+    ["/[1]" // "_"
      [synthesis
-      ["." case]]
-     ["/#" // "_"
-      ["."synthesis {"+" [Scope Synthesis]}]
-      ["#." generation]
-      ["//#" /// "_"
-       ["#." phase]
+      ["[0]" case]]
+     ["/[1]" // "_"
+      ["[0]"synthesis {"+" [Scope Synthesis]}]
+      ["[1][0]" generation]
+      ["//[1]" /// "_"
+       ["[1][0]" phase]
        [meta
         [archive {"+" [Archive]}]]
        [reference
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/primitive.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/primitive.lux
index 1b5d3138d..d70ccee56 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/primitive.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/primitive.lux
@@ -5,11 +5,11 @@
      [pipe {"+" [cond> new>]}]]
     [math
      [number
-      ["." frac]]]
+      ["[0]" frac]]]
     [target
      ["_" php {"+" [Literal Expression]}]]]]
-  ["." // "_"
-   ["#." runtime]])
+  ["[0]" // "_"
+   ["[1][0]" runtime]])
 
 (def: .public bit
   (-> Bit Literal)
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/runtime.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/runtime.lux
index e91f6a919..0fe181b78 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/runtime.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/runtime.lux
@@ -1,42 +1,42 @@
 (.module:
   [library
    [lux {"-" [Location]}
-    ["." meta]
+    ["[0]" meta]
     [abstract
-     ["." monad {"+" [do]}]]
+     ["[0]" monad {"+" [do]}]]
     [control
-     ["." function]
+     ["[0]" function]
      ["<>" parser
-      ["<.>" code]]]
+      ["<[0]>" code]]]
     [data
-     ["." product]
-     ["." text ("#\." hash)
+     ["[0]" product]
+     ["[0]" text ("[1]\[0]" hash)
       ["%" format {"+" [format]}]
       [encoding
-       ["." utf8]]]
+       ["[0]" utf8]]]
      [collection
-      ["." list ("#\." functor)]
-      ["." row]]]
-    ["." macro
+      ["[0]" list ("[1]\[0]" functor)]
+      ["[0]" row]]]
+    ["[0]" macro
      [syntax {"+" [syntax:]}]
-     ["." code]]
+     ["[0]" code]]
     [math
      [number {"+" [hex]}
-      ["." i64]]]
+      ["[0]" i64]]]
     ["@" target
      ["_" php {"+" [Expression Label Constant Var Computation Literal Statement]}]]]]
-  ["." /// "_"
-   ["#." reference]
-   ["//#" /// "_"
-    ["#." synthesis {"+" [Synthesis]}]
-    ["#." generation]
-    ["//#" ///
-     ["#." phase]
+  ["[0]" /// "_"
+   ["[1][0]" reference]
+   ["//[1]" /// "_"
+    ["[1][0]" synthesis {"+" [Synthesis]}]
+    ["[1][0]" generation]
+    ["//[1]" ///
+     ["[1][0]" phase]
      [reference
       [variable {"+" [Register]}]]
      [meta
       [archive {"+" [Output Archive]}
-       ["." artifact {"+" [Registry]}]]]]]])
+       ["[0]" artifact {"+" [Registry]}]]]]]])
 
 (template [<name> <base>]
   [(type: .public <name>
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/structure.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/structure.lux
index 5fa169955..69f687713 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/structure.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/structure.lux
@@ -2,20 +2,20 @@
   [library
    [lux "*"
     [abstract
-     ["." monad {"+" [do]}]]
+     ["[0]" monad {"+" [do]}]]
     [data
      [collection
-      ["." list]]]
+      ["[0]" list]]]
     [target
      ["_" php {"+" [Expression]}]]]]
-  ["." // "_"
-   ["#." runtime {"+" [Operation Phase Generator]}]
-   ["#." primitive]
-   ["///#" //// "_"
+  ["[0]" // "_"
+   ["[1][0]" runtime {"+" [Operation Phase Generator]}]
+   ["[1][0]" primitive]
+   ["///[1]" //// "_"
     [analysis {"+" [Variant Tuple]}]
-    ["#." synthesis {"+" [Synthesis]}]
-    ["//#" /// "_"
-     ["#." phase ("#\." monad)]]]])
+    ["[1][0]" synthesis {"+" [Synthesis]}]
+    ["//[1]" /// "_"
+     ["[1][0]" phase ("[1]\[0]" monad)]]]])
 
 (def: .public (tuple expression archive elemsS+)
   (Generator (Tuple Synthesis))
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python.lux
index 6140dbc57..86433d927 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python.lux
@@ -4,29 +4,29 @@
     [abstract
      [monad {"+" [do]}]]
     [control
-     ["." exception {"+" [exception:]}]]
+     ["[0]" exception {"+" [exception:]}]]
     [target
      ["_" python]]]]
-  ["." / "_"
+  ["[0]" / "_"
    [runtime {"+" [Phase]}]
-   ["#." primitive]
-   ["#." structure]
-   ["#." reference]
-   ["#." function]
-   ["#." case]
-   ["#." loop]
-   ["/#" // "_"
-    ["#." reference]
-    ["/#" // "_"
-     ["#." extension
+   ["[1][0]" primitive]
+   ["[1][0]" structure]
+   ["[1][0]" reference]
+   ["[1][0]" function]
+   ["[1][0]" case]
+   ["[1][0]" loop]
+   ["/[1]" // "_"
+    ["[1][0]" reference]
+    ["/[1]" // "_"
+     ["[1][0]" extension
       [generation
        [python
-        ["#/." common]]]]
-     ["/#" // "_"
+        ["[1]/[0]" common]]]]
+     ["/[1]" // "_"
       [analysis {"+" []}]
-      ["#." synthesis]
-      ["//#" /// "_"
-       ["#." phase ("#\." monad)]
+      ["[1][0]" synthesis]
+      ["//[1]" /// "_"
+       ["[1][0]" phase ("[1]\[0]" monad)]
        [reference {"+" []}
         [variable {"+" []}]]]]]]])
 
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/case.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/case.lux
index b9b2b1eba..c4f914d01 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/case.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/case.lux
@@ -2,35 +2,35 @@
   [library
    [lux {"-" [case let if]}
     [abstract
-     ["." monad {"+" [do]}]]
+     ["[0]" monad {"+" [do]}]]
     [data
-     ["." text
+     ["[0]" text
       ["%" format {"+" [format]}]]
      [collection
-      ["." list ("#\." functor mix)]
-      ["." set]]]
+      ["[0]" list ("[1]\[0]" functor mix)]
+      ["[0]" set]]]
     [math
      [number
       ["n" nat]
       ["i" int]]]
     [target
      ["_" python {"+" [Expression SVar Statement]}]]]]
-  ["." // "_"
-   ["#." runtime {"+" [Operation Phase Generator Phase! Generator!]}]
-   ["#." reference]
-   ["#." primitive]
-   ["/#" // "_"
-    ["#." reference]
-    ["/#" // "_"
+  ["[0]" // "_"
+   ["[1][0]" runtime {"+" [Operation Phase Generator Phase! Generator!]}]
+   ["[1][0]" reference]
+   ["[1][0]" primitive]
+   ["/[1]" // "_"
+    ["[1][0]" reference]
+    ["/[1]" // "_"
      [synthesis
-      ["." case]]
-     ["/#" // "_"
-      ["#." synthesis {"+" [Member Synthesis Path]}]
-      ["#." generation]
-      ["//#" /// "_"
+      ["[0]" case]]
+     ["/[1]" // "_"
+      ["[1][0]" synthesis {"+" [Member Synthesis Path]}]
+      ["[1][0]" generation]
+      ["//[1]" /// "_"
        [reference
-        ["#." variable {"+" [Register]}]]
-       ["#." phase ("#\." monad)]
+        ["[1][0]" variable {"+" [Register]}]]
+       ["[1][0]" phase ("[1]\[0]" monad)]
        [meta
         [archive {"+" [Archive]}]]]]]]])
 
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/function.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/function.lux
index 7e7197047..fa9fc1656 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/function.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/function.lux
@@ -2,34 +2,34 @@
   [library
    [lux {"-" [function]}
     [abstract
-     ["." monad {"+" [do]}]]
+     ["[0]" monad {"+" [do]}]]
     [data
-     ["." product]
+     ["[0]" product]
      [text
       ["%" format {"+" [format]}]]
      [collection
-      ["." list ("#\." functor mix)]]]
+      ["[0]" list ("[1]\[0]" functor mix)]]]
     [target
      ["_" python {"+" [SVar Expression Statement]}]]]]
-  ["." // "_"
+  ["[0]" // "_"
    [runtime {"+" [Operation Phase Generator Phase! Generator!]}]
-   ["#." reference]
-   ["#." case]
-   ["#." loop]
-   ["/#" // "_"
-    ["#." reference]
-    ["//#" /// "_"
+   ["[1][0]" reference]
+   ["[1][0]" case]
+   ["[1][0]" loop]
+   ["/[1]" // "_"
+    ["[1][0]" reference]
+    ["//[1]" /// "_"
      [analysis {"+" [Environment Abstraction Application Analysis]}]
      [synthesis {"+" [Synthesis]}]
-     ["#." generation {"+" [Context]}]
-     ["//#" /// "_"
+     ["[1][0]" generation {"+" [Context]}]
+     ["//[1]" /// "_"
       [arity {"+" [Arity]}]
-      ["#." phase]
+      ["[1][0]" phase]
       [reference
        [variable {"+" [Register Variable]}]]
       [meta
        [archive {"+" [Archive]}
-        ["." artifact]]]]]]])
+        ["[0]" artifact]]]]]]])
 
 (def: .public (apply expression archive [functionS argsS+])
   (Generator (Application Synthesis))
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/loop.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/loop.lux
index 8f3496364..b84826a26 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/loop.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/loop.lux
@@ -2,34 +2,34 @@
   [library
    [lux {"-" [Scope]}
     [abstract
-     ["." monad {"+" [do]}]]
+     ["[0]" monad {"+" [do]}]]
     [data
-     ["." product]
+     ["[0]" product]
      [text
       ["%" format {"+" [format]}]]
      [collection
-      ["." list ("#\." functor mix)]
-      ["." set]]]
+      ["[0]" list ("[1]\[0]" functor mix)]
+      ["[0]" set]]]
     [math
      [number
       ["n" nat]]]
     [target
      ["_" python {"+" [Expression SVar Statement]}]]]]
-  ["." // "_"
+  ["[0]" // "_"
    [runtime {"+" [Operation Phase Generator Phase! Generator!]}]
-   ["#." case]
-   ["/#" // "_"
-    ["#." reference]
-    ["/#" // "_"
+   ["[1][0]" case]
+   ["/[1]" // "_"
+    ["[1][0]" reference]
+    ["/[1]" // "_"
      [synthesis
-      ["." case]]
-     ["/#" // "_"
-      ["." synthesis {"+" [Scope Synthesis]}]
-      ["#." generation]
-      ["//#" /// "_"
-       ["#." phase]
+      ["[0]" case]]
+     ["/[1]" // "_"
+      ["[0]" synthesis {"+" [Scope Synthesis]}]
+      ["[1][0]" generation]
+      ["//[1]" /// "_"
+       ["[1][0]" phase]
        [reference
-        ["#." variable {"+" [Register]}]]]]]]])
+        ["[1][0]" variable {"+" [Register]}]]]]]]])
 
 (def: (setup offset bindings body)
   (-> Register (List (Expression Any)) (Statement Any) (Statement Any))
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/primitive.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/primitive.lux
index c9c505798..7ba155bbd 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/primitive.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/primitive.lux
@@ -3,8 +3,8 @@
    [lux {"-" [i64]}
     [target
      ["_" python {"+" [Expression]}]]]]
-  ["." // "_"
-   ["#." runtime]])
+  ["[0]" // "_"
+   ["[1][0]" runtime]])
 
 (template [<type> <name> <implementation>]
   [(def: .public <name>
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/runtime.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/runtime.lux
index e71d26058..bfdf279fa 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/runtime.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/runtime.lux
@@ -1,44 +1,44 @@
 (.module:
   [library
    [lux {"-" [++]}
-    ["." meta]
+    ["[0]" meta]
     [abstract
-     ["." monad {"+" [do]}]]
+     ["[0]" monad {"+" [do]}]]
     [control
-     ["." function]
+     ["[0]" function]
      ["<>" parser
-      ["<.>" code]]]
+      ["<[0]>" code]]]
     [data
-     ["." product]
-     ["." text ("#\." hash)
+     ["[0]" product]
+     ["[0]" text ("[1]\[0]" hash)
       ["%" format {"+" [format]}]
       [encoding
-       ["." utf8]]]
+       ["[0]" utf8]]]
      [collection
-      ["." list ("#\." functor)]
-      ["." row]]]
-    ["." macro
+      ["[0]" list ("[1]\[0]" functor)]
+      ["[0]" row]]]
+    ["[0]" macro
      [syntax {"+" [syntax:]}]
-     ["." code]]
+     ["[0]" code]]
     [math
      [number {"+" [hex]}
       ["f" frac]
-      ["." i64]]]
+      ["[0]" i64]]]
     ["@" target
      ["_" python {"+" [Expression SVar Computation Literal Statement]}]]]]
-  ["." /// "_"
-   ["#." reference]
-   ["//#" /// "_"
+  ["[0]" /// "_"
+   ["[1][0]" reference]
+   ["//[1]" /// "_"
     ["$" version]
-    ["#." synthesis {"+" [Synthesis]}]
-    ["#." generation]
-    ["//#" ///
-     ["#." phase]
+    ["[1][0]" synthesis {"+" [Synthesis]}]
+    ["[1][0]" generation]
+    ["//[1]" ///
+     ["[1][0]" phase]
      [reference
       [variable {"+" [Register]}]]
      [meta
       [archive {"+" [Output Archive]}
-       ["." artifact {"+" [Registry]}]]]]]])
+       ["[0]" artifact {"+" [Registry]}]]]]]])
 
 (template [<name> <base>]
   [(type: .public <name>
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/structure.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/structure.lux
index 4ecbea30f..3d0903731 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/structure.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/structure.lux
@@ -2,17 +2,17 @@
   [library
    [lux {"-" [Variant Tuple]}
     [abstract
-     ["." monad {"+" [do]}]]
+     ["[0]" monad {"+" [do]}]]
     [target
      ["_" python {"+" [Expression]}]]]]
-  ["." // "_"
-   ["#." runtime {"+" [Operation Phase Generator]}]
-   ["#." primitive]
-   ["///#" //// "_"
+  ["[0]" // "_"
+   ["[1][0]" runtime {"+" [Operation Phase Generator]}]
+   ["[1][0]" primitive]
+   ["///[1]" //// "_"
     [analysis {"+" [Variant Tuple]}]
-    ["#." synthesis {"+" [Synthesis]}]
-    ["//#" /// "_"
-     ["#." phase ("#\." monad)]]]])
+    ["[1][0]" synthesis {"+" [Synthesis]}]
+    ["//[1]" /// "_"
+     ["[1][0]" phase ("[1]\[0]" monad)]]]])
 
 (def: .public (tuple generate archive elemsS+)
   (Generator (Tuple Synthesis))
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r.lux
index 36950ea53..4a6d95239 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r.lux
@@ -5,23 +5,23 @@
      [monad {"+" [do]}]]
     [target
      ["_" r]]]]
-  ["." / "_"
+  ["[0]" / "_"
    [runtime {"+" [Phase]}]
-   ["#." primitive]
-   ["#." structure]
-   ["#." reference]
-   ["#." case]
-   ["#." loop]
-   ["#." function]
-   ["/#" // "_"
-    ["#." reference]
-    ["/#" // "_"
-     ["#." extension]
-     ["/#" // "_"
+   ["[1][0]" primitive]
+   ["[1][0]" structure]
+   ["[1][0]" reference]
+   ["[1][0]" case]
+   ["[1][0]" loop]
+   ["[1][0]" function]
+   ["/[1]" // "_"
+    ["[1][0]" reference]
+    ["/[1]" // "_"
+     ["[1][0]" extension]
+     ["/[1]" // "_"
       [analysis {"+" []}]
-      ["#." synthesis]
-      ["//#" /// "_"
-       ["#." phase ("#\." monad)]
+      ["[1][0]" synthesis]
+      ["//[1]" /// "_"
+       ["[1][0]" phase ("[1]\[0]" monad)]
        [reference {"+" []}
         [variable {"+" []}]]]]]]])
 
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/case.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/case.lux
index 298daa8f7..83859e8be 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/case.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/case.lux
@@ -2,37 +2,37 @@
   [library
    [lux {"-" [case let if]}
     [abstract
-     ["." monad {"+" [do]}]]
+     ["[0]" monad {"+" [do]}]]
     [data
-     ["." product]
-     ["." text
+     ["[0]" product]
+     ["[0]" text
       ["%" format {"+" [format]}]]
      [collection
-      ["." list ("#\." functor mix)]
-      ["." set]]]
+      ["[0]" list ("[1]\[0]" functor mix)]
+      ["[0]" set]]]
     [macro
-     ["." template]]
+     ["[0]" template]]
     [math
      [number
       ["i" int]]]
     [target
      ["_" r {"+" [Expression SVar]}]]]]
-  ["." // "_"
-   ["#." runtime {"+" [Operation Phase Generator]}]
-   ["#." reference]
-   ["#." primitive]
-   ["/#" // "_"
-    ["#." reference]
-    ["/#" // "_"
-     ["#." synthesis "_"
-      ["#/." case]]
-     ["/#" // "_"
-      ["#." synthesis {"+" [Member Synthesis Path]}]
-      ["#." generation]
-      ["//#" /// "_"
+  ["[0]" // "_"
+   ["[1][0]" runtime {"+" [Operation Phase Generator]}]
+   ["[1][0]" reference]
+   ["[1][0]" primitive]
+   ["/[1]" // "_"
+    ["[1][0]" reference]
+    ["/[1]" // "_"
+     ["[1][0]" synthesis "_"
+      ["[1]/[0]" case]]
+     ["/[1]" // "_"
+      ["[1][0]" synthesis {"+" [Member Synthesis Path]}]
+      ["[1][0]" generation]
+      ["//[1]" /// "_"
        [reference
-        ["#." variable {"+" [Register]}]]
-       ["#." phase ("#\." monad)]
+        ["[1][0]" variable {"+" [Register]}]]
+       ["[1][0]" phase ("[1]\[0]" monad)]
        [meta
         [archive {"+" [Archive]}]]]]]]])
 
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/function.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/function.lux
index c14be2795..87487db01 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/function.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/function.lux
@@ -2,35 +2,35 @@
   [library
    [lux {"-" [function]}
     [abstract
-     ["." monad {"+" [do]}]]
+     ["[0]" monad {"+" [do]}]]
     [control
      pipe]
     [data
-     ["." product]
-     ["." text
+     ["[0]" product]
+     ["[0]" text
       ["%" format {"+" [format]}]]
      [collection
-      ["." list ("#\." functor mix)]]]
+      ["[0]" list ("[1]\[0]" functor mix)]]]
     [target
      ["_" r {"+" [Expression SVar]}]]]]
-  ["." // "_"
-   ["#." runtime {"+" [Operation Phase Generator]}]
-   ["#." reference]
-   ["#." case]
-   ["/#" // "_"
-    ["#." reference]
-    ["//#" /// "_"
+  ["[0]" // "_"
+   ["[1][0]" runtime {"+" [Operation Phase Generator]}]
+   ["[1][0]" reference]
+   ["[1][0]" case]
+   ["/[1]" // "_"
+    ["[1][0]" reference]
+    ["//[1]" /// "_"
      [analysis {"+" [Variant Tuple Abstraction Application Analysis]}]
      [synthesis {"+" [Synthesis]}]
-     ["#." generation {"+" [Context]}]
-     ["//#" /// "_"
+     ["[1][0]" generation {"+" [Context]}]
+     ["//[1]" /// "_"
       [arity {"+" [Arity]}]
-      ["#." phase ("#\." monad)]
+      ["[1][0]" phase ("[1]\[0]" monad)]
       [reference
        [variable {"+" [Register Variable]}]]
       [meta
        [archive
-        ["." artifact]]]]]]])
+        ["[0]" artifact]]]]]]])
 
 (def: .public (apply expression archive [functionS argsS+])
   (Generator (Application Synthesis))
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/loop.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/loop.lux
index ce3face36..02d6712ec 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/loop.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/loop.lux
@@ -2,32 +2,32 @@
   [library
    [lux {"-" [Scope]}
     [abstract
-     ["." monad {"+" [do]}]]
+     ["[0]" monad {"+" [do]}]]
     [data
-     ["." product]
-     ["." text
+     ["[0]" product]
+     ["[0]" text
       ["%" format {"+" [format]}]]
      [collection
-      ["." list ("#\." functor)]
-      ["." set {"+" [Set]}]]]
+      ["[0]" list ("[1]\[0]" functor)]
+      ["[0]" set {"+" [Set]}]]]
     [math
      [number
       ["n" nat]]]
     [target
      ["_" r]]]]
-  ["." // "_"
+  ["[0]" // "_"
    [runtime {"+" [Operation Phase Generator]}]
-   ["#." case]
-   ["/#" // "_"
-    ["#." reference]
-    ["/#" // "_"
+   ["[1][0]" case]
+   ["/[1]" // "_"
+    ["[1][0]" reference]
+    ["/[1]" // "_"
      [synthesis
-      ["." case]]
-     ["/#" // "_"
-      ["."synthesis {"+" [Scope Synthesis]}]
-      ["#." generation]
-      ["//#" /// "_"
-       ["#." phase]
+      ["[0]" case]]
+     ["/[1]" // "_"
+      ["[0]"synthesis {"+" [Scope Synthesis]}]
+      ["[1][0]" generation]
+      ["//[1]" /// "_"
+       ["[1][0]" phase]
        [meta
         [archive {"+" [Archive]}]]
        [reference
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/primitive.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/primitive.lux
index 5d4361b81..2aa8b7645 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/primitive.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/primitive.lux
@@ -3,8 +3,8 @@
    [lux {"-" [i64]}
     [target
      ["_" r {"+" [Expression]}]]]]
-  ["." // "_"
-   ["#." runtime]])
+  ["[0]" // "_"
+   ["[1][0]" runtime]])
 
 (template [<name> <type> <code>]
   [(def: .public <name>
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/procedure/common.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/procedure/common.lux
index 94f19f5a0..3b820934f 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/procedure/common.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/procedure/common.lux
@@ -19,10 +19,10 @@
               ["ls" synthesis]
               (host [r {"+" [Expression]}])))
   [///]
-  (/// [".T" runtime]
-       [".T" case]
-       [".T" function]
-       [".T" loop]))
+  (/// ["[0]T" runtime]
+       ["[0]T" case]
+       ["[0]T" function]
+       ["[0]T" loop]))
 
 ... [Types]
 (type: .public Translator
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/procedure/host.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/procedure/host.lux
index 416560b36..ea6f59abd 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/procedure/host.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/procedure/host.lux
@@ -12,7 +12,7 @@
               ["ls" synthesis]
               (host [ruby {"+" [Ruby Expression Statement]}])))
   [///]
-  (/// [".T" runtime])
+  (/// ["[0]T" runtime])
   (// ["@" common]))
 
 ... (template [<name> <lua>]
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/runtime.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/runtime.lux
index 361552285..e7d794d5e 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/runtime.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/runtime.lux
@@ -1,45 +1,45 @@
 (.module:
   [library
    [lux {"-" [Location ++ i64]}
-    ["." meta]
+    ["[0]" meta]
     [abstract
-     ["." monad {"+" [do]}]]
+     ["[0]" monad {"+" [do]}]]
     [control
-     ["." function]
+     ["[0]" function]
      ["<>" parser
-      ["<.>" code]]]
+      ["<[0]>" code]]]
     [data
-     ["." product]
-     ["." text ("#\." hash)
+     ["[0]" product]
+     ["[0]" text ("[1]\[0]" hash)
       ["%" format {"+" [format]}]
       [encoding
-       ["." utf8]]]
+       ["[0]" utf8]]]
      [collection
-      ["." list ("#\." functor)]
-      ["." row]]]
-    ["." macro
+      ["[0]" list ("[1]\[0]" functor)]
+      ["[0]" row]]]
+    ["[0]" macro
      [syntax {"+" [syntax:]}]
-     ["." code]]
+     ["[0]" code]]
     [math
      [number {"+" [hex]}
       ["n" nat]
-      ["i" int ("#\." interval)]
-      ["." i64]]]
+      ["i" int ("[1]\[0]" interval)]
+      ["[0]" i64]]]
     ["@" target
      ["_" r {"+" [SVar Expression]}]]]]
-  ["." /// "_"
-   ["#." reference]
-   ["//#" /// "_"
+  ["[0]" /// "_"
+   ["[1][0]" reference]
+   ["//[1]" /// "_"
     [analysis {"+" [Variant]}]
-    ["#." synthesis {"+" [Synthesis]}]
-    ["#." generation]
-    ["//#" ///
-     ["#." phase]
+    ["[1][0]" synthesis {"+" [Synthesis]}]
+    ["[1][0]" generation]
+    ["//[1]" ///
+     ["[1][0]" phase]
      [reference
       [variable {"+" [Register]}]]
      [meta
       [archive {"+" [Output Archive]}
-       ["." artifact {"+" [Registry]}]]]]]])
+       ["[0]" artifact {"+" [Registry]}]]]]]])
 
 (def: module_id
   0)
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/structure.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/structure.lux
index bbe263ee8..4d6562a4f 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/structure.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/structure.lux
@@ -2,20 +2,20 @@
   [library
    [lux "*"
     [abstract
-     ["." monad {"+" [do]}]]
+     ["[0]" monad {"+" [do]}]]
     [data
      [collection
-      ["." list]]]
+      ["[0]" list]]]
     [target
      ["_" r {"+" [Expression]}]]]]
-  ["." // "_"
-   ["#." runtime {"+" [Operation Phase Generator]}]
-   ["#." primitive]
-   ["///#" //// "_"
+  ["[0]" // "_"
+   ["[1][0]" runtime {"+" [Operation Phase Generator]}]
+   ["[1][0]" primitive]
+   ["///[1]" //// "_"
     [analysis {"+" [Variant Tuple]}]
-    ["#." synthesis {"+" [Synthesis]}]
-    ["//#" /// "_"
-     ["#." phase ("#\." monad)]]]])
+    ["[1][0]" synthesis {"+" [Synthesis]}]
+    ["//[1]" /// "_"
+     ["[1][0]" phase ("[1]\[0]" monad)]]]])
 
 (def: .public (tuple expression archive elemsS+)
   (Generator (Tuple Synthesis))
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/reference.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/reference.lux
index 5ccc49977..b256823f5 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/reference.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/reference.lux
@@ -5,13 +5,13 @@
     [data
      [text
       ["%" format {"+" [format]}]]]]]
-  ["." //// "_"
-   ["." version]
-   ["#." generation {"+" [Context]}]
-   ["//#" /// "_"
-    ["." reference {"+" [Reference]}
-     ["." variable {"+" [Register Variable]}]]
-    ["." phase ("#\." monad)]
+  ["[0]" //// "_"
+   ["[0]" version]
+   ["[1][0]" generation {"+" [Context]}]
+   ["//[1]" /// "_"
+    ["[0]" reference {"+" [Reference]}
+     ["[0]" variable {"+" [Register Variable]}]]
+    ["[0]" phase ("[1]\[0]" monad)]
     [meta
      [archive {"+" [Archive]}]]]])
 
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby.lux
index e0df52b0d..9202b75d3 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby.lux
@@ -4,29 +4,29 @@
     [abstract
      [monad {"+" [do]}]]
     [control
-     ["." exception {"+" [exception:]}]]
+     ["[0]" exception {"+" [exception:]}]]
     [target
      ["_" ruby]]]]
-  ["." / "_"
+  ["[0]" / "_"
    [runtime {"+" [Phase Phase!]}]
-   ["#." primitive]
-   ["#." structure]
-   ["#." reference]
-   ["#." function]
-   ["#." case]
-   ["#." loop]
-   ["/#" // "_"
-    ["#." reference]
-    ["/#" // "_"
-     ["#." extension
+   ["[1][0]" primitive]
+   ["[1][0]" structure]
+   ["[1][0]" reference]
+   ["[1][0]" function]
+   ["[1][0]" case]
+   ["[1][0]" loop]
+   ["/[1]" // "_"
+    ["[1][0]" reference]
+    ["/[1]" // "_"
+     ["[1][0]" extension
       [generation
        [ruby
-        ["#/." common]]]]
-     ["/#" // "_"
+        ["[1]/[0]" common]]]]
+     ["/[1]" // "_"
       [analysis {"+" []}]
-      ["#." synthesis]
-      ["//#" /// "_"
-       ["#." phase ("#\." monad)]
+      ["[1][0]" synthesis]
+      ["//[1]" /// "_"
+       ["[1][0]" phase ("[1]\[0]" monad)]
        [reference {"+" []}
         [variable {"+" []}]]]]]]])
 
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/case.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/case.lux
index 1954b88e9..8d19caff8 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/case.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/case.lux
@@ -2,37 +2,37 @@
   [library
    [lux {"-" [case let if]}
     [abstract
-     ["." monad {"+" [do]}]]
+     ["[0]" monad {"+" [do]}]]
     [control
      [exception {"+" [exception:]}]]
     [data
-     ["." text
+     ["[0]" text
       ["%" format {"+" [format]}]]
      [collection
-      ["." list ("#\." functor mix)]
-      ["." set]]]
+      ["[0]" list ("[1]\[0]" functor mix)]
+      ["[0]" set]]]
     [math
      [number
       ["n" nat]
       ["i" int]]]
     [target
      ["_" ruby {"+" [Expression LVar Statement]}]]]]
-  ["." // "_"
-   ["#." runtime {"+" [Operation Phase Generator Phase! Generator!]}]
-   ["#." reference]
-   ["#." primitive]
-   ["/#" // "_"
-    ["#." reference]
-    ["/#" // "_"
+  ["[0]" // "_"
+   ["[1][0]" runtime {"+" [Operation Phase Generator Phase! Generator!]}]
+   ["[1][0]" reference]
+   ["[1][0]" primitive]
+   ["/[1]" // "_"
+    ["[1][0]" reference]
+    ["/[1]" // "_"
      [synthesis
-      ["." case]]
-     ["/#" // "_"
-      ["#." synthesis {"+" [Member Synthesis Path]}]
-      ["#." generation]
-      ["//#" /// "_"
+      ["[0]" case]]
+     ["/[1]" // "_"
+      ["[1][0]" synthesis {"+" [Member Synthesis Path]}]
+      ["[1][0]" generation]
+      ["//[1]" /// "_"
        [reference
-        ["#." variable {"+" [Register]}]]
-       ["#." phase ("#\." monad)]
+        ["[1][0]" variable {"+" [Register]}]]
+       ["[1][0]" phase ("[1]\[0]" monad)]
        [meta
         [archive {"+" [Archive]}]]]]]]])
 
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/function.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/function.lux
index 022b449f0..108f98020 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/function.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/function.lux
@@ -2,34 +2,34 @@
   [library
    [lux {"-" [Variant Tuple function]}
     [abstract
-     ["." monad {"+" [do]}]]
+     ["[0]" monad {"+" [do]}]]
     [data
-     ["." product]
+     ["[0]" product]
      [text
       ["%" format {"+" [format]}]]
      [collection
-      ["." list ("#\." functor mix)]]]
+      ["[0]" list ("[1]\[0]" functor mix)]]]
     [target
      ["_" ruby {"+" [LVar GVar Expression Statement]}]]]]
-  ["." // "_"
+  ["[0]" // "_"
    [runtime {"+" [Operation Phase Generator Phase! Generator!]}]
-   ["#." reference]
-   ["#." case]
-   ["#." loop]
-   ["/#" // "_"
-    ["#." reference]
-    ["//#" /// "_"
+   ["[1][0]" reference]
+   ["[1][0]" case]
+   ["[1][0]" loop]
+   ["/[1]" // "_"
+    ["[1][0]" reference]
+    ["//[1]" /// "_"
      [analysis {"+" [Variant Tuple Environment Abstraction Application Analysis]}]
      [synthesis {"+" [Synthesis]}]
-     ["#." generation {"+" [Context]}]
-     ["//#" /// "_"
+     ["[1][0]" generation {"+" [Context]}]
+     ["//[1]" /// "_"
       [arity {"+" [Arity]}]
-      ["#." phase]
+      ["[1][0]" phase]
       [reference
        [variable {"+" [Register Variable]}]]
       [meta
        [archive {"+" [Archive]}
-        ["." artifact]]]]]]])
+        ["[0]" artifact]]]]]]])
 
 (def: .public (apply expression archive [functionS argsS+])
   (Generator (Application Synthesis))
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/loop.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/loop.lux
index b28c4683e..1aa61c2bc 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/loop.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/loop.lux
@@ -2,34 +2,34 @@
   [library
    [lux {"-" [Scope]}
     [abstract
-     ["." monad {"+" [do]}]]
+     ["[0]" monad {"+" [do]}]]
     [data
-     ["." product]
-     ["." text
+     ["[0]" product]
+     ["[0]" text
       ["%" format {"+" [format]}]]
      [collection
-      ["." list ("#\." functor mix)]
-      ["." set]]]
+      ["[0]" list ("[1]\[0]" functor mix)]
+      ["[0]" set]]]
     [math
      [number
       ["n" nat]]]
     [target
      ["_" ruby {"+" [Expression LVar Statement]}]]]]
-  ["." // "_"
+  ["[0]" // "_"
    [runtime {"+" [Operation Phase Generator Phase! Generator!]}]
-   ["#." case]
-   ["/#" // "_"
-    ["#." reference]
-    ["/#" // "_"
+   ["[1][0]" case]
+   ["/[1]" // "_"
+    ["[1][0]" reference]
+    ["/[1]" // "_"
      [synthesis
-      ["." case]]
-     ["/#" // "_"
-      ["." synthesis {"+" [Scope Synthesis]}]
-      ["#." generation]
-      ["//#" /// "_"
-       ["#." phase]
+      ["[0]" case]]
+     ["/[1]" // "_"
+      ["[0]" synthesis {"+" [Scope Synthesis]}]
+      ["[1][0]" generation]
+      ["//[1]" /// "_"
+       ["[1][0]" phase]
        [reference
-        ["#." variable {"+" [Register]}]]]]]]])
+        ["[1][0]" variable {"+" [Register]}]]]]]]])
 
 (def: (setup offset bindings body)
   (-> Register (List Expression) Statement Statement)
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/runtime.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/runtime.lux
index b683c967f..c5f424373 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/runtime.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/runtime.lux
@@ -1,43 +1,43 @@
 (.module:
   [library
    [lux "*"
-    ["." meta]
+    ["[0]" meta]
     [abstract
-     ["." monad {"+" [do]}]]
+     ["[0]" monad {"+" [do]}]]
     [control
-     ["." function]
+     ["[0]" function]
      ["<>" parser
-      ["<.>" code]]]
+      ["<[0]>" code]]]
     [data
-     ["." product]
-     ["." text ("#\." hash)
+     ["[0]" product]
+     ["[0]" text ("[1]\[0]" hash)
       ["%" format {"+" [format]}]
       [encoding
-       ["." utf8]]]
+       ["[0]" utf8]]]
      [collection
-      ["." list ("#\." functor)]
-      ["." row]]]
-    ["." macro
+      ["[0]" list ("[1]\[0]" functor)]
+      ["[0]" row]]]
+    ["[0]" macro
      [syntax {"+" [syntax:]}]
-     ["." code]]
+     ["[0]" code]]
     [math
      [number {"+" [hex]}
-      ["." i64]]]
+      ["[0]" i64]]]
     ["@" target
      ["_" ruby {"+" [Expression LVar Computation Literal Statement]}]]]]
-  ["." /// "_"
-   ["#." reference]
-   ["//#" /// "_"
+  ["[0]" /// "_"
+   ["[1][0]" reference]
+   ["//[1]" /// "_"
     ["$" version]
-    ["#." synthesis {"+" [Synthesis]}]
-    ["#." generation]
-    ["//#" ///
-     ["#." phase]
+    ["[1][0]" synthesis {"+" [Synthesis]}]
+    ["[1][0]" generation]
+    ["//[1]" ///
+     ["[1][0]" phase]
      [reference
       [variable {"+" [Register]}]]
      [meta
       [archive {"+" [Output Archive]}
-       ["." artifact {"+" [Registry]}]]]]]])
+       ["[0]" artifact {"+" [Registry]}]]]]]])
 
 (template [<name> <base>]
   [(type: .public <name>
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/structure.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/structure.lux
index e66199340..a93fba45e 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/structure.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/structure.lux
@@ -2,17 +2,17 @@
   [library
    [lux {"-" [Variant Tuple]}
     [abstract
-     ["." monad {"+" [do]}]]
+     ["[0]" monad {"+" [do]}]]
     [target
      ["_" ruby {"+" [Expression]}]]]]
-  ["." // "_"
-   ["#." runtime {"+" [Operation Phase Generator]}]
-   ["#." primitive]
-   ["///#" //// "_"
+  ["[0]" // "_"
+   ["[1][0]" runtime {"+" [Operation Phase Generator]}]
+   ["[1][0]" primitive]
+   ["///[1]" //// "_"
     [analysis {"+" [Variant Tuple]}]
-    ["#." synthesis {"+" [Synthesis]}]
-    ["//#" /// "_"
-     ["#." phase ("#\." monad)]]]])
+    ["[1][0]" synthesis {"+" [Synthesis]}]
+    ["//[1]" /// "_"
+     ["[1][0]" phase ("[1]\[0]" monad)]]]])
 
 (def: .public (tuple generate archive elemsS+)
   (Generator (Tuple Synthesis))
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme.lux
index c1ec7c339..079ef448c 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme.lux
@@ -5,23 +5,23 @@
      [monad {"+" [do]}]]
     [target
      ["_" scheme]]]]
-  ["." / "_"
+  ["[0]" / "_"
    [runtime {"+" [Phase]}]
-   ["#." primitive]
-   ["#." structure]
-   ["#." reference]
-   ["#." case]
-   ["#." loop]
-   ["#." function]
-   ["/#" // "_"
-    ["#." reference]
-    ["/#" // "_"
-     ["#." extension]
-     ["/#" // "_"
+   ["[1][0]" primitive]
+   ["[1][0]" structure]
+   ["[1][0]" reference]
+   ["[1][0]" case]
+   ["[1][0]" loop]
+   ["[1][0]" function]
+   ["/[1]" // "_"
+    ["[1][0]" reference]
+    ["/[1]" // "_"
+     ["[1][0]" extension]
+     ["/[1]" // "_"
       [analysis {"+" []}]
-      ["#." synthesis]
-      ["//#" /// "_"
-       ["#." phase ("#\." monad)]
+      ["[1][0]" synthesis]
+      ["//[1]" /// "_"
+       ["[1][0]" phase ("[1]\[0]" monad)]
        [reference {"+" []}
         [variable {"+" []}]]]]]]])
 
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/case.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/case.lux
index 887614298..16a00e907 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/case.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/case.lux
@@ -2,37 +2,37 @@
   [library
    [lux {"-" [case let if]}
     [abstract
-     ["." monad {"+" [do]}]]
+     ["[0]" monad {"+" [do]}]]
     [data
-     ["." product]
-     ["." text
+     ["[0]" product]
+     ["[0]" text
       ["%" format {"+" [format]}]]
      [collection
-      ["." list ("#\." functor mix)]
-      ["." set]]]
+      ["[0]" list ("[1]\[0]" functor mix)]
+      ["[0]" set]]]
     [macro
-     ["." template]]
+     ["[0]" template]]
     [math
      [number
       ["i" int]]]
     [target
      ["_" scheme {"+" [Expression Computation Var]}]]]]
-  ["." // "_"
-   ["#." runtime {"+" [Operation Phase Generator]}]
-   ["#." reference]
-   ["#." primitive]
-   ["/#" // "_"
-    ["#." reference]
-    ["/#" // "_"
-     ["#." synthesis "_"
-      ["#/." case]]
-     ["/#" // "_"
-      ["#." synthesis {"+" [Member Synthesis Path]}]
-      ["#." generation]
-      ["//#" /// "_"
+  ["[0]" // "_"
+   ["[1][0]" runtime {"+" [Operation Phase Generator]}]
+   ["[1][0]" reference]
+   ["[1][0]" primitive]
+   ["/[1]" // "_"
+    ["[1][0]" reference]
+    ["/[1]" // "_"
+     ["[1][0]" synthesis "_"
+      ["[1]/[0]" case]]
+     ["/[1]" // "_"
+      ["[1][0]" synthesis {"+" [Member Synthesis Path]}]
+      ["[1][0]" generation]
+      ["//[1]" /// "_"
        [reference
-        ["#." variable {"+" [Register]}]]
-       ["#." phase ("#\." monad)]
+        ["[1][0]" variable {"+" [Register]}]]
+       ["[1][0]" phase ("[1]\[0]" monad)]
        [meta
         [archive {"+" [Archive]}]]]]]]])
 
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/extension.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/extension.lux
index 6e255664b..ebdd43f89 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/extension.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/extension.lux
@@ -3,11 +3,11 @@
    [lux "*"
     [data
      [collection
-      ["." dictionary]]]]]
+      ["[0]" dictionary]]]]]
   [//
    [runtime {"+" [Bundle]}]]
   [/
-   ["." common]])
+   ["[0]" common]])
 
 (def: .public bundle
   Bundle
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/extension/common.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/extension/common.lux
index 380b59265..27ca252f9 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/extension/common.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/extension/common.lux
@@ -2,31 +2,31 @@
   [library
    [lux "*"
     [abstract
-     ["." monad {"+" [do]}]]
+     ["[0]" monad {"+" [do]}]]
     [control
      ["ex" exception {"+" [exception:]}]
      [parser
-      ["<.>" code]]]
+      ["<[0]>" code]]]
     [data
-     ["." product]
-     ["." text]
+     ["[0]" product]
+     ["[0]" text]
      [number {"+" [hex]}
       ["f" frac]]
      [collection
-      ["." list ("#\." functor)]
+      ["[0]" list ("[1]\[0]" functor)]
       ["dict" dictionary {"+" [Dictionary]}]]]
-    ["." macro {"+" [with_identifiers]}
-     ["." code]
+    ["[0]" macro {"+" [with_identifiers]}
+     ["[0]" code]
      [syntax {"+" [syntax:]}]]
     [target
      ["_" scheme {"+" [Expression Computation]}]]]]
-  ["." /// "_"
-   ["#." runtime {"+" [Operation Phase Handler Bundle]}]
-   ["#//" ///
-    ["#." extension
-     ["." bundle]]
-    ["#/" // "_"
-     ["#." synthesis {"+" [Synthesis]}]]]])
+  ["[0]" /// "_"
+   ["[1][0]" runtime {"+" [Operation Phase Handler Bundle]}]
+   ["[1]//" ///
+    ["[1][0]" extension
+     ["[0]" bundle]]
+    ["[1]/" // "_"
+     ["[1][0]" synthesis {"+" [Synthesis]}]]]])
 
 (syntax: (Vector [size <code>.nat
                   elemT <code>.any])
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/function.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/function.lux
index 1985f5101..d18881c4d 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/function.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/function.lux
@@ -2,30 +2,30 @@
   [library
    [lux {"-" [function]}
     [abstract
-     ["." monad {"+" [do]}]]
+     ["[0]" monad {"+" [do]}]]
     [control
      pipe]
     [data
-     ["." product]
-     ["." text
+     ["[0]" product]
+     ["[0]" text
       ["%" format {"+" [format]}]]
      [collection
-      ["." list ("#\." functor)]]]
+      ["[0]" list ("[1]\[0]" functor)]]]
     [target
      ["_" scheme {"+" [Expression Computation Var]}]]]]
-  ["." // "_"
-   ["#." runtime {"+" [Operation Phase Generator]}]
-   ["#." reference]
-   ["#." case]
-   ["/#" // "_"
-    ["#." reference]
-    ["//#" /// "_"
+  ["[0]" // "_"
+   ["[1][0]" runtime {"+" [Operation Phase Generator]}]
+   ["[1][0]" reference]
+   ["[1][0]" case]
+   ["/[1]" // "_"
+    ["[1][0]" reference]
+    ["//[1]" /// "_"
      [analysis {"+" [Variant Tuple Abstraction Application Analysis]}]
      [synthesis {"+" [Synthesis]}]
-     ["#." generation {"+" [Context]}]
-     ["//#" /// "_"
+     ["[1][0]" generation {"+" [Context]}]
+     ["//[1]" /// "_"
       [arity {"+" [Arity]}]
-      ["#." phase ("#\." monad)]
+      ["[1][0]" phase ("[1]\[0]" monad)]
       [reference
        [variable {"+" [Register Variable]}]]]]]])
 
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/loop.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/loop.lux
index 301679a58..c5e6b5e0e 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/loop.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/loop.lux
@@ -2,32 +2,32 @@
   [library
    [lux {"-" [Scope]}
     [abstract
-     ["." monad {"+" [do]}]]
+     ["[0]" monad {"+" [do]}]]
     [data
-     ["." product]
-     ["." text
+     ["[0]" product]
+     ["[0]" text
       ["%" format {"+" [format]}]]
      [collection
-      ["." list ("#\." functor)]
-      ["." set {"+" [Set]}]]]
+      ["[0]" list ("[1]\[0]" functor)]
+      ["[0]" set {"+" [Set]}]]]
     [math
      [number
       ["n" nat]]]
     [target
      ["_" scheme]]]]
-  ["." // "_"
+  ["[0]" // "_"
    [runtime {"+" [Operation Phase Generator]}]
-   ["#." case]
-   ["/#" // "_"
-    ["#." reference]
-    ["/#" // "_"
+   ["[1][0]" case]
+   ["/[1]" // "_"
+    ["[1][0]" reference]
+    ["/[1]" // "_"
      [synthesis
-      ["." case]]
-     ["/#" // "_"
-      ["."synthesis {"+" [Scope Synthesis]}]
-      ["#." generation]
-      ["//#" /// "_"
-       ["#." phase]
+      ["[0]" case]]
+     ["/[1]" // "_"
+      ["[0]"synthesis {"+" [Scope Synthesis]}]
+      ["[1][0]" generation]
+      ["//[1]" /// "_"
+       ["[1][0]" phase]
        [meta
         [archive {"+" [Archive]}]]
        [reference
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/runtime.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/runtime.lux
index 9da1f2a8f..996f552b1 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/runtime.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/runtime.lux
@@ -1,43 +1,43 @@
 (.module:
   [library
    [lux {"-" [Location]}
-    ["." meta]
+    ["[0]" meta]
     [abstract
-     ["." monad {"+" [do]}]]
+     ["[0]" monad {"+" [do]}]]
     [control
-     ["." function]
+     ["[0]" function]
      ["<>" parser
-      ["<.>" code]]]
+      ["<[0]>" code]]]
     [data
-     ["." product]
-     ["." text ("#\." hash)
+     ["[0]" product]
+     ["[0]" text ("[1]\[0]" hash)
       ["%" format {"+" [format]}]
       [encoding
-       ["." utf8]]]
+       ["[0]" utf8]]]
      [collection
-      ["." list ("#\." functor)]
-      ["." row]]]
-    ["." macro
+      ["[0]" list ("[1]\[0]" functor)]
+      ["[0]" row]]]
+    ["[0]" macro
      [syntax {"+" [syntax:]}]
-     ["." code]]
+     ["[0]" code]]
     [math
      [number {"+" [hex]}
-      ["." i64]]]
+      ["[0]" i64]]]
     ["@" target
      ["_" scheme {"+" [Expression Computation Var]}]]]]
-  ["." /// "_"
-   ["#." reference]
-   ["//#" /// "_"
+  ["[0]" /// "_"
+   ["[1][0]" reference]
+   ["//[1]" /// "_"
     [analysis {"+" [Variant]}]
-    ["#." synthesis {"+" [Synthesis]}]
-    ["#." generation]
-    ["//#" ///
-     ["#." phase]
+    ["[1][0]" synthesis {"+" [Synthesis]}]
+    ["[1][0]" generation]
+    ["//[1]" ///
+     ["[1][0]" phase]
      [reference
       [variable {"+" [Register]}]]
      [meta
       [archive {"+" [Output Archive]}
-       ["." artifact {"+" [Registry]}]]]]]])
+       ["[0]" artifact {"+" [Registry]}]]]]]])
 
 (def: module_id
   0)
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/structure.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/structure.lux
index a0cf0e8d6..ad071de02 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/structure.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/structure.lux
@@ -2,20 +2,20 @@
   [library
    [lux "*"
     [abstract
-     ["." monad {"+" [do]}]]
+     ["[0]" monad {"+" [do]}]]
     [data
      [collection
-      ["." list]]]
+      ["[0]" list]]]
     [target
      ["_" scheme {"+" [Expression]}]]]]
-  ["." // "_"
-   ["#." runtime {"+" [Operation Phase Generator]}]
-   ["#." primitive]
-   ["///#" //// "_"
+  ["[0]" // "_"
+   ["[1][0]" runtime {"+" [Operation Phase Generator]}]
+   ["[1][0]" primitive]
+   ["///[1]" //// "_"
     [analysis {"+" [Variant Tuple]}]
-    ["#." synthesis {"+" [Synthesis]}]
-    ["//#" /// "_"
-     ["#." phase ("#\." monad)]]]])
+    ["[1][0]" synthesis {"+" [Synthesis]}]
+    ["//[1]" /// "_"
+     ["[1][0]" phase ("[1]\[0]" monad)]]]])
 
 (def: .public (tuple expression archive elemsS+)
   (Generator (Tuple Synthesis))
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis.lux
index 65ba177f3..5b5403a37 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis.lux
@@ -2,25 +2,25 @@
   [library
    [lux {"-" [primitive]}
     [abstract
-     ["." monad {"+" [do]}]]
+     ["[0]" monad {"+" [do]}]]
     [control
      [pipe {"+" [case>]}]
-     ["." try]]
+     ["[0]" try]]
     [data
      [collection
-      ["." list ("#\." functor)]
-      ["." dictionary {"+" [Dictionary]}]]]]]
-  ["." / "_"
-   ["#." function]
-   ["#." case]
-   ["#." variable]
-   ["/#" // "_"
-    ["#." extension]
-    ["/#" // "_"
-     ["#." analysis {"+" [Analysis]}]
+      ["[0]" list ("[1]\[0]" functor)]
+      ["[0]" dictionary {"+" [Dictionary]}]]]]]
+  ["[0]" / "_"
+   ["[1][0]" function]
+   ["[1][0]" case]
+   ["[1][0]" variable]
+   ["/[1]" // "_"
+    ["[1][0]" extension]
+    ["/[1]" // "_"
+     ["[1][0]" analysis {"+" [Analysis]}]
      ["/" synthesis {"+" [Synthesis Phase]}]
      [///
-      ["." phase ("#\." monad)]
+      ["[0]" phase ("[1]\[0]" monad)]
       [reference {"+" []}
        [variable {"+" []}]]]]]])
 
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/case.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/case.lux
index b92c07953..d42f0da7e 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/case.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/case.lux
@@ -3,29 +3,29 @@
    [lux "*"
     [abstract
      [equivalence {"+" [Equivalence]}]
-     ["." monad {"+" [do]}]]
+     ["[0]" monad {"+" [do]}]]
     [control
      [pipe {"+" [when> new> case>]}]]
     [data
-     ["." product]
-     ["." bit ("#\." equivalence)]
-     ["." text ("#\." equivalence)]
+     ["[0]" product]
+     ["[0]" bit ("[1]\[0]" equivalence)]
+     ["[0]" text ("[1]\[0]" equivalence)]
      [collection
-      ["." list ("#\." functor mix monoid)]
-      ["." set {"+" [Set]}]]]
+      ["[0]" list ("[1]\[0]" functor mix monoid)]
+      ["[0]" set {"+" [Set]}]]]
     [math
      [number
       ["n" nat]
-      ["." i64]
-      ["." frac ("#\." equivalence)]]]]]
-  ["." /// "_"
+      ["[0]" i64]
+      ["[0]" frac ("[1]\[0]" equivalence)]]]]]
+  ["[0]" /// "_"
    [//
-    ["#." analysis {"+" [Pattern Match Analysis]}]
+    ["[1][0]" analysis {"+" [Pattern Match Analysis]}]
     ["/" synthesis {"+" [Path Synthesis Operation Phase]}]
     [///
-     ["#" phase ("#\." monad)]
-     ["#." reference
-      ["#/." variable {"+" [Register Variable]}]]
+     ["[1]" phase ("[1]\[0]" monad)]
+     ["[1][0]" reference
+      ["[1]/[0]" variable {"+" [Register Variable]}]]
      [meta
       [archive {"+" [Archive]}]]]]])
 
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/function.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/function.lux
index ca9a467de..316a1bed0 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/function.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/function.lux
@@ -2,30 +2,30 @@
   [library
    [lux "*"
     [abstract
-     ["." monad {"+" [do]}]
-     ["." enum]]
+     ["[0]" monad {"+" [do]}]
+     ["[0]" enum]]
     [control
      [pipe {"+" [case>]}]
-     ["." maybe ("#\." functor)]
-     ["." exception {"+" [exception:]}]]
+     ["[0]" maybe ("[1]\[0]" functor)]
+     ["[0]" exception {"+" [exception:]}]]
     [data
-     ["." text
+     ["[0]" text
       ["%" format {"+" [format]}]]
      [collection
-      ["." list ("#\." functor monoid)]]]
+      ["[0]" list ("[1]\[0]" functor monoid)]]]
     [math
      [number
       ["n" nat]]]]]
-  ["." // "_"
-   ["#." loop {"+" [Transform]}]
-   ["//#" /// "_"
-    ["#." analysis {"+" [Environment Analysis]}]
+  ["[0]" // "_"
+   ["[1][0]" loop {"+" [Transform]}]
+   ["//[1]" /// "_"
+    ["[1][0]" analysis {"+" [Environment Analysis]}]
     ["/" synthesis {"+" [Path Abstraction Synthesis Operation Phase]}]
     [///
      [arity {"+" [Arity]}]
-     ["#." reference
-      ["#/." variable {"+" [Register Variable]}]]
-     ["." phase ("#\." monad)]]]])
+     ["[1][0]" reference
+      ["[1]/[0]" variable {"+" [Register Variable]}]]
+     ["[0]" phase ("[1]\[0]" monad)]]]])
 
 (exception: .public (cannot_find_foreign_variable_in_environment {foreign Register} {environment (Environment Synthesis)})
   (exception.report
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/loop.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/loop.lux
index 614a0e998..3b9d37fdd 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/loop.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/loop.lux
@@ -2,22 +2,22 @@
   [library
    [lux "*"
     [abstract
-     ["." monad {"+" [do]}]]
+     ["[0]" monad {"+" [do]}]]
     [control
-     ["." maybe ("#\." monad)]]
+     ["[0]" maybe ("[1]\[0]" monad)]]
     [data
      [collection
-      ["." list]]]
+      ["[0]" list]]]
     [math
      [number
       ["n" nat]]]]]
   [////
-   ["." analysis {"+" [Environment]}]
+   ["[0]" analysis {"+" [Environment]}]
    ["/" synthesis {"+" [Path Abstraction Synthesis]}]
    [///
     [arity {"+" [Arity]}]
-    ["." reference
-     ["." variable {"+" [Register Variable]}]]]])
+    ["[0]" reference
+     ["[0]" variable {"+" [Register Variable]}]]]])
 
 (type: .public (Transform a)
   (-> a (Maybe a)))
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/variable.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/variable.lux
index 225cf2ad5..afa30d83c 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/variable.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/variable.lux
@@ -2,29 +2,29 @@
   [library
    [lux "*"
     [abstract
-     ["." monad {"+" [do]}]]
+     ["[0]" monad {"+" [do]}]]
     [control
-     ["." maybe ("#\." functor)]
-     ["." try {"+" [Try]}]
-     ["." exception {"+" [exception:]}]]
+     ["[0]" maybe ("[1]\[0]" functor)]
+     ["[0]" try {"+" [Try]}]
+     ["[0]" exception {"+" [exception:]}]]
     [data
-     ["." product]
-     ["." text
+     ["[0]" product]
+     ["[0]" text
       ["%" format]]
      [collection
-      ["." dictionary {"+" [Dictionary]}]
-      ["." list ("#\." functor mix)]
-      ["." set]]]
+      ["[0]" dictionary {"+" [Dictionary]}]
+      ["[0]" list ("[1]\[0]" functor mix)]
+      ["[0]" set]]]
     [math
      [number
       ["n" nat]]]]]
   [////
    ["/" synthesis {"+" [Path Synthesis]}]
-   ["." analysis]
+   ["[0]" analysis]
    [///
     [arity {"+" [Arity]}]
-    ["." reference
-     ["." variable {"+" [Register Variable]}]]]])
+    ["[0]" reference
+     ["[0]" variable {"+" [Register Variable]}]]]])
 
 (def: (prune redundant register)
   (-> Register Register Register)
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/program.lux b/stdlib/source/library/lux/tool/compiler/language/lux/program.lux
index 297721289..ecafe7615 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/program.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/program.lux
@@ -2,24 +2,24 @@
   [library
    [lux {"-" [Module]}
     [abstract
-     ["." monad {"+" [do]}]]
+     ["[0]" monad {"+" [do]}]]
     [control
-     ["." maybe]
-     ["." try {"+" [Try]}]
-     ["." exception {"+" [exception:]}]]
+     ["[0]" maybe]
+     ["[0]" try {"+" [Try]}]
+     ["[0]" exception {"+" [exception:]}]]
     [data
-     ["." product]
+     ["[0]" product]
      [text
       ["%" format {"+" [format]}]]
      [collection
-      ["." list ("#\." functor)]]]]]
+      ["[0]" list ("[1]\[0]" functor)]]]]]
   [//
    [generation {"+" [Context]}]
    [///
     [meta
-     ["." archive {"+" [Archive]}
-      ["." descriptor {"+" [Module]}]
-      ["." artifact]]]]])
+     ["[0]" archive {"+" [Archive]}
+      ["[0]" descriptor {"+" [Module]}]
+      ["[0]" artifact]]]]])
 
 (type: .public (Program expression directive)
   (-> Context expression directive))
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/syntax.lux b/stdlib/source/library/lux/tool/compiler/language/lux/syntax.lux
index 08bff3cbf..a04571b5b 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/syntax.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/syntax.lux
@@ -31,24 +31,24 @@
     [abstract
      monad]
     [control
-     ["." maybe]
-     ["." exception {"+" [exception:]}]
+     ["[0]" maybe]
+     ["[0]" exception {"+" [exception:]}]
      [parser
       [text {"+" [Offset]}]]]
     [data
-     ["." text
+     ["[0]" text
       ["%" format {"+" [format]}]]
      [collection
-      ["." list]
-      ["." dictionary {"+" [Dictionary]}]]]
+      ["[0]" list]
+      ["[0]" dictionary {"+" [Dictionary]}]]]
     [macro
-     ["." template]]
+     ["[0]" template]]
     [math
      [number
       ["n" nat]
-      ["." int]
-      ["." rev]
-      ["." frac]]]]])
+      ["[0]" int]
+      ["[0]" rev]
+      ["[0]" frac]]]]])
 
 (template: (inline: <declaration> <type> <body>)
   [(for {@.python (def: <declaration> <type> <body>)}
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/synthesis.lux b/stdlib/source/library/lux/tool/compiler/language/lux/synthesis.lux
index 3d1067415..2209cdcce 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/synthesis.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/synthesis.lux
@@ -7,32 +7,32 @@
      [hash {"+" [Hash]}]]
     [control
      [pipe {"+" [case>]}]
-     ["." maybe]
-     ["." exception {"+" [exception:]}]]
+     ["[0]" maybe]
+     ["[0]" exception {"+" [exception:]}]]
     [data
-     ["." sum]
-     ["." product]
-     ["." bit ("#\." equivalence)]
-     ["." text ("#\." equivalence)
+     ["[0]" sum]
+     ["[0]" product]
+     ["[0]" bit ("[1]\[0]" equivalence)]
+     ["[0]" text ("[1]\[0]" equivalence)
       ["%" format {"+" [Format format]}]]
      [collection
-      ["." list ("#\." functor)]
-      ["." dictionary {"+" [Dictionary]}]]]
+      ["[0]" list ("[1]\[0]" functor)]
+      ["[0]" dictionary {"+" [Dictionary]}]]]
     [math
      [number
-      ["." i64]
+      ["[0]" i64]
       ["n" nat]
       ["i" int]
       ["f" frac]]]]]
   [//
-   ["." analysis {"+" [Environment Composite Analysis]}]
+   ["[0]" analysis {"+" [Environment Composite Analysis]}]
    [phase
-    ["." extension {"+" [Extension]}]]
+    ["[0]" extension {"+" [Extension]}]]
    [///
     [arity {"+" [Arity]}]
-    ["." phase]
-    ["." reference {"+" [Reference]}
-     ["." variable {"+" [Register Variable]}]]]])
+    ["[0]" phase]
+    ["[0]" reference {"+" [Reference]}
+     ["[0]" variable {"+" [Register Variable]}]]]])
 
 (type: .public Resolver
   (Dictionary Variable Variable))
@@ -588,7 +588,7 @@
       (n.* 29 (\ super hash body))
       )))
 
-(implementation: (branch_equivalence (^open "\."))
+(implementation: (branch_equivalence (^open "\[0]"))
   (All (_ a) (-> (Equivalence a) (Equivalence (Branch a))))
 
   (def: (= reference sample)
@@ -649,7 +649,7 @@
           (\ (..path'_hash super) hash path))
       )))
 
-(implementation: (loop_equivalence (^open "\."))
+(implementation: (loop_equivalence (^open "\[0]"))
   (All (_ a) (-> (Equivalence a) (Equivalence (Loop a))))
 
   (def: (= reference sample)
@@ -685,7 +685,7 @@
           (\ (list.hash super) hash resets))
       )))
 
-(implementation: (function_equivalence (^open "\."))
+(implementation: (function_equivalence (^open "\[0]"))
   (All (_ a) (-> (Equivalence a) (Equivalence (Function a))))
 
   (def: (= reference sample)
@@ -724,7 +724,7 @@
           (\ (list.hash super) hash arguments))
       )))
 
-(implementation: (control_equivalence (^open "\."))
+(implementation: (control_equivalence (^open "\[0]"))
   (All (_ a) (-> (Equivalence a) (Equivalence (Control a))))
 
   (def: (= reference sample)
diff --git a/stdlib/source/library/lux/tool/compiler/meta/archive.lux b/stdlib/source/library/lux/tool/compiler/meta/archive.lux
index 55f1bd5c0..96a8683de 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/archive.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/archive.lux
@@ -2,39 +2,39 @@
   [library
    [lux {"-" [Module]}
     [abstract
-     ["." equivalence {"+" [Equivalence]}]
-     ["." monad {"+" [do]}]]
+     ["[0]" equivalence {"+" [Equivalence]}]
+     ["[0]" monad {"+" [do]}]]
     [control
-     ["." try {"+" [Try]}]
-     ["." exception {"+" [exception:]}]
-     ["." function]
+     ["[0]" try {"+" [Try]}]
+     ["[0]" exception {"+" [exception:]}]
+     ["[0]" function]
      ["<>" parser
-      ["<.>" binary {"+" [Parser]}]]]
+      ["<[0]>" binary {"+" [Parser]}]]]
     [data
      [binary {"+" [Binary]}]
-     ["." bit]
-     ["." product]
-     ["." name]
-     ["." text
+     ["[0]" bit]
+     ["[0]" product]
+     ["[0]" name]
+     ["[0]" text
       ["%" format {"+" [format]}]]
      [format
-      ["." binary {"+" [Writer]}]]
+      ["[0]" binary {"+" [Writer]}]]
      [collection
-      ["." list ("#\." functor mix)]
-      ["." dictionary {"+" [Dictionary]}]
-      ["." set]
-      ["." row {"+" [Row]}]]]
+      ["[0]" list ("[1]\[0]" functor mix)]
+      ["[0]" dictionary {"+" [Dictionary]}]
+      ["[0]" set]
+      ["[0]" row {"+" [Row]}]]]
     [math
      [number
-      ["n" nat ("#\." equivalence)]]]
+      ["n" nat ("[1]\[0]" equivalence)]]]
     [type
      abstract]]]
   [/
-   ["." artifact]
-   ["." signature {"+" [Signature]}]
-   ["." key {"+" [Key]}]
-   ["." descriptor {"+" [Module Descriptor]}]
-   ["." document {"+" [Document]}]
+   ["[0]" artifact]
+   ["[0]" signature {"+" [Signature]}]
+   ["[0]" key {"+" [Key]}]
+   ["[0]" descriptor {"+" [Module Descriptor]}]
+   ["[0]" document {"+" [Document]}]
    [///
     [version {"+" [Version]}]]])
 
diff --git a/stdlib/source/library/lux/tool/compiler/meta/archive/artifact.lux b/stdlib/source/library/lux/tool/compiler/meta/archive/artifact.lux
index 37a3109c0..e0bb8536f 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/archive/artifact.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/archive/artifact.lux
@@ -5,19 +5,19 @@
      [monad {"+" [do]}]]
     [control
      [pipe {"+" [case>]}]
-     ["." exception {"+" [exception:]}]
+     ["[0]" exception {"+" [exception:]}]
      ["<>" parser
-      ["<.>" binary {"+" [Parser]}]]]
+      ["<[0]>" binary {"+" [Parser]}]]]
     [data
-     ["." product]
-     ["." text
+     ["[0]" product]
+     ["[0]" text
       ["%" format {"+" [format]}]]
      [collection
-      ["." list]
-      ["." row {"+" [Row]} ("#\." functor mix)]
-      ["." dictionary {"+" [Dictionary]}]]
+      ["[0]" list]
+      ["[0]" row {"+" [Row]} ("[1]\[0]" functor mix)]
+      ["[0]" dictionary {"+" [Dictionary]}]]
      [format
-      ["." binary {"+" [Writer]}]]]
+      ["[0]" binary {"+" [Writer]}]]]
     [type
      abstract]]])
 
diff --git a/stdlib/source/library/lux/tool/compiler/meta/archive/descriptor.lux b/stdlib/source/library/lux/tool/compiler/meta/archive/descriptor.lux
index 28fedf1b7..e45c69fa2 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/archive/descriptor.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/archive/descriptor.lux
@@ -5,15 +5,15 @@
      ["<>" parser
       ["<b>" binary {"+" [Parser]}]]]
     [data
-     ["." text]
+     ["[0]" text]
      [collection
       [set {"+" [Set]}]]
      [format
-      ["." binary {"+" [Writer]}]]]
+      ["[0]" binary {"+" [Writer]}]]]
     [world
      [file {"+" [Path]}]]]]
   [//
-   ["." artifact {"+" [Registry]}]])
+   ["[0]" artifact {"+" [Registry]}]])
 
 (type: .public Module
   Text)
diff --git a/stdlib/source/library/lux/tool/compiler/meta/archive/document.lux b/stdlib/source/library/lux/tool/compiler/meta/archive/document.lux
index ce7ebd327..6e56f7f8b 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/archive/document.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/archive/document.lux
@@ -4,20 +4,20 @@
     [abstract
      [monad {"+" [do]}]]
     [control
-     ["." try {"+" [Try]}]
-     ["." exception {"+" [exception:]}]
+     ["[0]" try {"+" [Try]}]
+     ["[0]" exception {"+" [exception:]}]
      ["<>" parser
       [binary {"+" [Parser]}]]]
     [data
      [collection
-      ["." dictionary {"+" [Dictionary]}]]
+      ["[0]" dictionary {"+" [Dictionary]}]]
      [format
-      ["." binary {"+" [Writer]}]]]
+      ["[0]" binary {"+" [Writer]}]]]
     [type {"+" [:sharing]}
      abstract]]]
   [//
-   ["." signature {"+" [Signature]}]
-   ["." key {"+" [Key]}]
+   ["[0]" signature {"+" [Signature]}]
+   ["[0]" key {"+" [Key]}]
    [descriptor {"+" [Module]}]])
 
 (exception: .public (invalid_signature {expected Signature} {actual Signature})
diff --git a/stdlib/source/library/lux/tool/compiler/meta/archive/signature.lux b/stdlib/source/library/lux/tool/compiler/meta/archive/signature.lux
index acfedec58..2ad3b7b96 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/archive/signature.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/archive/signature.lux
@@ -7,15 +7,15 @@
      ["<>" parser
       ["<b>" binary {"+" [Parser]}]]]
     [data
-     ["." product]
-     ["." name]
-     ["." text
+     ["[0]" product]
+     ["[0]" name]
+     ["[0]" text
       ["%" format {"+" [format]}]]
      [format
-      ["." binary {"+" [Writer]}]]]
+      ["[0]" binary {"+" [Writer]}]]]
     [math
      [number
-      ["." nat]]]]]
+      ["[0]" nat]]]]]
   [////
    [version {"+" [Version]}]])
 
diff --git a/stdlib/source/library/lux/tool/compiler/meta/cache/dependency.lux b/stdlib/source/library/lux/tool/compiler/meta/cache/dependency.lux
index fa4e2af3d..e839651e4 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/cache/dependency.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/cache/dependency.lux
@@ -2,25 +2,25 @@
   [library
    [lux {"-" [Module]}
     [abstract
-     ["." monad {"+" [do]}]]
+     ["[0]" monad {"+" [do]}]]
     [control
-     ["." maybe ("#\." functor)]
-     ["." try {"+" [Try]}]
-     ["." state]
-     ["." function
-      ["." memo {"+" [Memo]}]]]
+     ["[0]" maybe ("[1]\[0]" functor)]
+     ["[0]" try {"+" [Try]}]
+     ["[0]" state]
+     ["[0]" function
+      ["[0]" memo {"+" [Memo]}]]]
     [data
-     ["." text
+     ["[0]" text
       ["%" format {"+" [format]}]]
      [collection
-      ["." list ("#\." functor mix)]
-      ["." dictionary {"+" [Dictionary]}]
-      ["." set {"+" [Set]}]]]]]
+      ["[0]" list ("[1]\[0]" functor mix)]
+      ["[0]" dictionary {"+" [Dictionary]}]
+      ["[0]" set {"+" [Set]}]]]]]
   [///
-   ["." archive {"+" [Output Archive]}
+   ["[0]" archive {"+" [Output Archive]}
     [key {"+" [Key]}]
-    ["." descriptor {"+" [Module Descriptor]}]
-    ["." document {"+" [Document]}]]])
+    ["[0]" descriptor {"+" [Module Descriptor]}]
+    ["[0]" document {"+" [Document]}]]])
 
 (type: Ancestry
   (Set Module))
diff --git a/stdlib/source/library/lux/tool/compiler/meta/io.lux b/stdlib/source/library/lux/tool/compiler/meta/io.lux
index 25a77d0af..0d7ab9698 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/io.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/io.lux
@@ -2,7 +2,7 @@
   [library
    [lux {"-" [Code]}
     [data
-     ["." text]]
+     ["[0]" text]]
     [world
      [file {"+" [Path System]}]]]])
 
diff --git a/stdlib/source/library/lux/tool/compiler/meta/io/archive.lux b/stdlib/source/library/lux/tool/compiler/meta/io/archive.lux
index 41710dfb8..cdd999306 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/io/archive.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/io/archive.lux
@@ -4,52 +4,52 @@
     [target {"+" [Target]}]
     [abstract
      [predicate {"+" [Predicate]}]
-     ["." monad {"+" [do]}]]
+     ["[0]" monad {"+" [do]}]]
     [control
      [pipe {"+" [case>]}]
-     ["." try {"+" [Try]}]
-     ["." exception {"+" [exception:]}]
+     ["[0]" try {"+" [Try]}]
+     ["[0]" exception {"+" [exception:]}]
      [concurrency
-      ["." async {"+" [Async]} ("#\." monad)]]
+      ["[0]" async {"+" [Async]} ("[1]\[0]" monad)]]
      ["<>" parser
-      ["<.>" binary {"+" [Parser]}]]]
+      ["<[0]>" binary {"+" [Parser]}]]]
     [data
      [binary {"+" [Binary]}]
-     ["." product]
-     ["." text ("#\." equivalence)
+     ["[0]" product]
+     ["[0]" text ("[1]\[0]" equivalence)
       ["%" format {"+" [format]}]]
      [collection
-      ["." list ("#\." functor mix)]
-      ["." dictionary {"+" [Dictionary]}]
-      ["." row {"+" [Row]}]
-      ["." set]]]
+      ["[0]" list ("[1]\[0]" functor mix)]
+      ["[0]" dictionary {"+" [Dictionary]}]
+      ["[0]" row {"+" [Row]}]
+      ["[0]" set]]]
     [math
      [number
       ["n" nat]]]
     [world
-     ["." file]]]]
+     ["[0]" file]]]]
   [program
    [compositor
     [import {"+" [Import]}]
-    ["." static {"+" [Static]}]]]
-  ["." // {"+" [Context]}
-   ["#." context]
-   ["/#" //
-    ["." archive {"+" [Output Archive]}
-     ["." artifact {"+" [Artifact]}]
-     ["." descriptor {"+" [Module Descriptor]}]
-     ["." document {"+" [Document]}]]
+    ["[0]" static {"+" [Static]}]]]
+  ["[0]" // {"+" [Context]}
+   ["[1][0]" context]
+   ["/[1]" //
+    ["[0]" archive {"+" [Output Archive]}
+     ["[0]" artifact {"+" [Artifact]}]
+     ["[0]" descriptor {"+" [Module Descriptor]}]
+     ["[0]" document {"+" [Document]}]]
     [cache
-     ["." dependency]]
-    ["/#" // {"+" [Input]}
+     ["[0]" dependency]]
+    ["/[1]" // {"+" [Input]}
      [language
       ["$" lux
-       ["." version]
-       ["." analysis]
-       ["." synthesis]
-       ["." generation]
-       ["." directive]
-       ["#/." program]]]]]])
+       ["[0]" version]
+       ["[0]" analysis]
+       ["[0]" synthesis]
+       ["[0]" generation]
+       ["[0]" directive]
+       ["[1]/[0]" program]]]]]])
 
 (exception: .public (cannot_prepare {archive file.Path}
                                     {module_id archive.ID}
diff --git a/stdlib/source/library/lux/tool/compiler/meta/io/context.lux b/stdlib/source/library/lux/tool/compiler/meta/io/context.lux
index 5331608b7..177f552e3 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/io/context.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/io/context.lux
@@ -4,32 +4,32 @@
     ["@" target]
     [abstract
      [predicate {"+" [Predicate]}]
-     ["." monad {"+" [Monad do]}]]
+     ["[0]" monad {"+" [Monad do]}]]
     [control
-     ["." maybe]
-     ["." try {"+" [Try]}]
-     ["." exception {"+" [exception:]}]
+     ["[0]" maybe]
+     ["[0]" try {"+" [Try]}]
+     ["[0]" exception {"+" [exception:]}]
      [concurrency
-      ["." async {"+" [Async]} ("#\." monad)]]]
+      ["[0]" async {"+" [Async]} ("[1]\[0]" monad)]]]
     [data
      [binary {"+" [Binary]}]
-     ["." text ("#\." hash)
+     ["[0]" text ("[1]\[0]" hash)
       ["%" format {"+" [format]}]
       [encoding
-       ["." utf8]]]
+       ["[0]" utf8]]]
      [collection
-      ["." dictionary {"+" [Dictionary]}]
-      ["." list]]]
+      ["[0]" dictionary {"+" [Dictionary]}]
+      ["[0]" list]]]
     [world
-     ["." file]]]]
+     ["[0]" file]]]]
   [program
    [compositor
     [import {"+" [Import]}]]]
-  ["." // {"+" [Context Code]}
-   ["/#" // "_"
+  ["[0]" // {"+" [Context Code]}
+   ["/[1]" // "_"
     [archive
      [descriptor {"+" [Module]}]]
-    ["/#" // {"+" [Input]}]]])
+    ["/[1]" // {"+" [Input]}]]])
 
 (exception: .public (cannot_find_module {importer Module} {module Module})
   (exception.report
diff --git a/stdlib/source/library/lux/tool/compiler/meta/packager.lux b/stdlib/source/library/lux/tool/compiler/meta/packager.lux
index 5a4a7ea1f..e9224a8d0 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/packager.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/packager.lux
@@ -7,16 +7,16 @@
      [binary {"+" [Binary]}]
      [collection
       [dictionary {"+" [Dictionary]}]
-      ["." row]
-      ["." list ("#\." functor)]]]
+      ["[0]" row]
+      ["[0]" list ("[1]\[0]" functor)]]]
     [world
-     ["." file]]]]
+     ["[0]" file]]]]
   [//
    [cache
-    ["." dependency]]
-   ["." archive {"+" [Archive]}
-    ["." descriptor]
-    ["." artifact]]
+    ["[0]" dependency]]
+   ["[0]" archive {"+" [Archive]}
+    ["[0]" descriptor]
+    ["[0]" artifact]]
    [//
     [language
      [lux
diff --git a/stdlib/source/library/lux/tool/compiler/meta/packager/jvm.lux b/stdlib/source/library/lux/tool/compiler/meta/packager/jvm.lux
index 1bd4e94a9..f8bb67b70 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/packager/jvm.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/packager/jvm.lux
@@ -1,21 +1,21 @@
 (.module:
   [library
    [lux {"-" [Module Definition]}
-    ["." ffi {"+" [import: do_to]}]
+    ["[0]" ffi {"+" [import: do_to]}]
     [abstract
-     ["." monad {"+" [Monad do]}]]
+     ["[0]" monad {"+" [Monad do]}]]
     [control
-     ["." maybe ("#\." functor)]
-     ["." try {"+" [Try]}]]
+     ["[0]" maybe ("[1]\[0]" functor)]
+     ["[0]" try {"+" [Try]}]]
     [data
-     ["." binary {"+" [Binary]}]
-     ["." text
+     ["[0]" binary {"+" [Binary]}]
+     ["[0]" text
       ["%" format {"+" [format]}]]
      [collection
-      ["." row]
-      ["." list ("#\." functor)]
-      ["." dictionary]
-      ["." set {"+" [Set]}]]]
+      ["[0]" row]
+      ["[0]" list ("[1]\[0]" functor)]
+      ["[0]" dictionary]
+      ["[0]" set {"+" [Set]}]]]
     [math
      [number
       ["n" nat]
@@ -23,21 +23,21 @@
     [target
      [jvm
       [encoding
-       ["." name]]]]
+       ["[0]" name]]]]
     [world
-     ["." file]]]]
+     ["[0]" file]]]]
   [program
    [compositor
-    ["." static {"+" [Static]}]]]
-  ["." // {"+" [Packager]}
+    ["[0]" static {"+" [Static]}]]]
+  ["[0]" // {"+" [Packager]}
    [//
-    ["." archive {"+" [Output]}
-     ["." descriptor {"+" [Module]}]
-     ["." artifact]]
+    ["[0]" archive {"+" [Output]}
+     ["[0]" descriptor {"+" [Module]}]
+     ["[0]" artifact]]
     [cache
-     ["." dependency]]
-    ["." io "_"
-     ["#" archive]]
+     ["[0]" dependency]]
+    ["[0]" io "_"
+     ["[1]" archive]]
     [//
      [language
       ["$" lux
@@ -45,73 +45,73 @@
        [phase
         [generation
          [jvm
-          ["." runtime {"+" [Definition]}]]]]]]]]])
+          ["[0]" runtime {"+" [Definition]}]]]]]]]]])
 
 (import: java/lang/Object)
 
 (import: java/lang/String)
 
 (import: java/util/jar/Attributes
-  ["#::."
+  ["[1]::[0]"
    (put [java/lang/Object java/lang/Object] "?" java/lang/Object)])
 
 (import: java/util/jar/Attributes$Name
-  ["#::."
+  ["[1]::[0]"
    ("static" MAIN_CLASS java/util/jar/Attributes$Name)
    ("static" MANIFEST_VERSION java/util/jar/Attributes$Name)])
 
 (import: java/util/jar/Manifest
-  ["#::."
+  ["[1]::[0]"
    (new [])
    (getMainAttributes [] java/util/jar/Attributes)])
 
 (import: java/io/Flushable
-  ["#::."
+  ["[1]::[0]"
    (flush [] void)])
 
 (import: java/io/Closeable
-  ["#::."
+  ["[1]::[0]"
    (close [] void)])
 
 (import: java/io/OutputStream
-  ["#::."
+  ["[1]::[0]"
    (write [[byte] int int] void)])
 
 (import: java/io/ByteArrayOutputStream
-  ["#::."
+  ["[1]::[0]"
    (new [int])
    (toByteArray [] [byte])])
 
 (import: java/util/zip/ZipEntry
-  ["#::."
+  ["[1]::[0]"
    (getName [] java/lang/String)
    (isDirectory [] boolean)
    (getSize [] long)])
 
 (import: java/util/zip/ZipOutputStream
-  ["#::."
+  ["[1]::[0]"
    (write [[byte] int int] void)
    (closeEntry [] void)])
 
 (import: java/util/jar/JarEntry
-  ["#::."
+  ["[1]::[0]"
    (new [java/lang/String])])
 
 (import: java/util/jar/JarOutputStream
-  ["#::."
+  ["[1]::[0]"
    (new [java/io/OutputStream java/util/jar/Manifest])
    (putNextEntry [java/util/zip/ZipEntry] "try" void)])
 
 (import: java/io/ByteArrayInputStream
-  ["#::."
+  ["[1]::[0]"
    (new [[byte]])])
 
 (import: java/io/InputStream
-  ["#::."
+  ["[1]::[0]"
    (read [[byte] int int] int)])
 
 (import: java/util/jar/JarInputStream
-  ["#::."
+  ["[1]::[0]"
    (new [java/io/InputStream])
    (getNextJarEntry [] "try" "?" java/util/jar/JarEntry)])
 
diff --git a/stdlib/source/library/lux/tool/compiler/meta/packager/scheme.lux b/stdlib/source/library/lux/tool/compiler/meta/packager/scheme.lux
index 21e2bc7b4..b471a30f5 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/packager/scheme.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/packager/scheme.lux
@@ -3,42 +3,42 @@
    [lux {"-" [Module]}
     [type {"+" [:sharing]}]
     [abstract
-     ["." monad {"+" [do]}]]
+     ["[0]" monad {"+" [do]}]]
     [control
-     ["." try {"+" [Try]}]]
+     ["[0]" try {"+" [Try]}]]
     [data
      [binary {"+" [Binary]}]
-     ["." product]
-     ["." text
+     ["[0]" product]
+     ["[0]" text
       ["%" format {"+" [format]}]
-      ["." encoding]]
+      ["[0]" encoding]]
      [collection
-      ["." row]
-      ["." list ("#\." functor mix)]
-      ["." dictionary {"+" [Dictionary]}]
-      ["." set]]
+      ["[0]" row]
+      ["[0]" list ("[1]\[0]" functor mix)]
+      ["[0]" dictionary {"+" [Dictionary]}]
+      ["[0]" set]]
      [format
-      ["." tar]
-      ["." binary]]]
+      ["[0]" tar]
+      ["[0]" binary]]]
     [target
      ["_" scheme]]
     [time
-     ["." instant {"+" [Instant]}]]
+     ["[0]" instant {"+" [Instant]}]]
     [world
-     ["." file]]]]
+     ["[0]" file]]]]
   [program
    [compositor
-    ["." static {"+" [Static]}]]]
-  ["." // {"+" [Packager]}
+    ["[0]" static {"+" [Static]}]]]
+  ["[0]" // {"+" [Packager]}
    [//
-    ["." archive {"+" [Output]}
-     ["." descriptor {"+" [Module Descriptor]}]
-     ["." artifact]
-     ["." document {"+" [Document]}]]
+    ["[0]" archive {"+" [Output]}
+     ["[0]" descriptor {"+" [Module Descriptor]}]
+     ["[0]" artifact]
+     ["[0]" document {"+" [Document]}]]
     [cache
-     ["." dependency]]
-    ["." io "_"
-     ["#" archive]]
+     ["[0]" dependency]]
+    ["[0]" io "_"
+     ["[1]" archive]]
     [//
      [language
       ["$" lux
diff --git a/stdlib/source/library/lux/tool/compiler/meta/packager/script.lux b/stdlib/source/library/lux/tool/compiler/meta/packager/script.lux
index 43ba5c04a..aa79bf5b5 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/packager/script.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/packager/script.lux
@@ -3,31 +3,31 @@
    [lux "*"
     [type {"+" [:sharing]}]
     [abstract
-     ["." monad {"+" [Monad do]}]]
+     ["[0]" monad {"+" [Monad do]}]]
     [control
-     ["." try {"+" [Try]}]]
+     ["[0]" try {"+" [Try]}]]
     [data
      [binary {"+" [Binary]}]
-     ["." product]
+     ["[0]" product]
      [text
       ["%" format {"+" [format]}]
       [encoding 
-       ["." utf8]]]
+       ["[0]" utf8]]]
      [collection
-      ["." row]
-      ["." list ("#\." functor)]]]]]
+      ["[0]" row]
+      ["[0]" list ("[1]\[0]" functor)]]]]]
   [program
    [compositor
-    ["." static {"+" [Static]}]]]
-  ["." // {"+" [Packager]}
+    ["[0]" static {"+" [Static]}]]]
+  ["[0]" // {"+" [Packager]}
    [//
-    ["." archive {"+" [Output]}
-     ["." descriptor]
-     ["." artifact]]
+    ["[0]" archive {"+" [Output]}
+     ["[0]" descriptor]
+     ["[0]" artifact]]
     [cache
-     ["." dependency]]
-    ["." io "_"
-     ["#" archive]]
+     ["[0]" dependency]]
+    ["[0]" io "_"
+     ["[1]" archive]]
     [//
      [language
       ["$" lux
diff --git a/stdlib/source/library/lux/tool/compiler/phase.lux b/stdlib/source/library/lux/tool/compiler/phase.lux
index 80dfdb208..3f6caddbf 100644
--- a/stdlib/source/library/lux/tool/compiler/phase.lux
+++ b/stdlib/source/library/lux/tool/compiler/phase.lux
@@ -1,23 +1,23 @@
 (.module:
   [library
    [lux "*"
-    ["." debug]
+    ["[0]" debug]
     [abstract
      [monad {"+" [Monad do]}]]
     [control
-     ["." state]
-     ["." try {"+" [Try]} ("#\." functor)]
+     ["[0]" state]
+     ["[0]" try {"+" [Try]} ("[1]\[0]" functor)]
      ["ex" exception {"+" [Exception exception:]}]
-     ["." io]
+     ["[0]" io]
      [parser
-      ["<.>" code]]]
+      ["<[0]>" code]]]
     [data
-     ["." product]
-     ["." text
+     ["[0]" product]
+     ["[0]" text
       ["%" format {"+" [format]}]]]
     [time
-     ["." instant]
-     ["." duration]]
+     ["[0]" instant]
+     ["[0]" duration]]
     [macro
      [syntax {"+" [syntax:]}]]]]
   [//
diff --git a/stdlib/source/library/lux/tool/compiler/reference.lux b/stdlib/source/library/lux/tool/compiler/reference.lux
index b3e804abb..4e48f1db9 100644
--- a/stdlib/source/library/lux/tool/compiler/reference.lux
+++ b/stdlib/source/library/lux/tool/compiler/reference.lux
@@ -7,14 +7,14 @@
     [control
      [pipe {"+" [case>]}]]
     [data
-     ["." name]
+     ["[0]" name]
      [text
       ["%" format {"+" [Format]}]]]
     [math
      [number
       ["n" nat]]]]]
-  ["." / "_"
-   ["#." variable {"+" [Variable]}]])
+  ["[0]" / "_"
+   ["[1][0]" variable {"+" [Variable]}]])
 
 (type: .public Constant
   Name)