De-taggification | part 4

46 files changed, 653 insertions, 653 deletions

diff --git a/stdlib/source/test/aedifex/artifact.lux b/stdlib/source/test/aedifex/artifact.lux
index d1ecac072..51281e4a8 100644
--- a/stdlib/source/test/aedifex/artifact.lux
+++ b/stdlib/source/test/aedifex/artifact.lux
@@ -6,25 +6,25 @@
      [monad {"+" [do]}]
      [hash {"+" [Hash]}]
      [\\specification
-      ["$." equivalence]
-      ["$." order]
-      ["$." hash]]]
+      ["$[0]" equivalence]
+      ["$[0]" order]
+      ["$[0]" hash]]]
     [data
-     ["." text ("#\." equivalence)]]
+     ["[0]" text ("[1]\[0]" equivalence)]]
     [math
-     ["." random {"+" [Random]}]]
+     ["[0]" random {"+" [Random]}]]
     [world
-     ["." file]
+     ["[0]" file]
      [net
-      ["." uri]]]]]
-  ["." / "_"
-   ["#." extension]
-   ["#." snapshot]
-   ["#." time]
-   ["#." type]
-   ["#." versioning]]
+      ["[0]" uri]]]]]
+  ["[0]" / "_"
+   ["[1][0]" extension]
+   ["[1][0]" snapshot]
+   ["[1][0]" time]
+   ["[1][0]" type]
+   ["[1][0]" versioning]]
   [\\program
-   ["." /]])
+   ["[0]" /]])
 
 (def: .public random
   (Random /.Artifact)
diff --git a/stdlib/source/test/aedifex/artifact/extension.lux b/stdlib/source/test/aedifex/artifact/extension.lux
index 4a99544db..e9ecafe17 100644
--- a/stdlib/source/test/aedifex/artifact/extension.lux
+++ b/stdlib/source/test/aedifex/artifact/extension.lux
@@ -5,18 +5,18 @@
     [abstract
      [monad {"+" [do]}]]
     [data
-     ["." text ("#\." equivalence)]
+     ["[0]" text ("[1]\[0]" equivalence)]
      [collection
-      ["." set]
-      ["." list]]]
+      ["[0]" set]
+      ["[0]" list]]]
     [math
-     ["." random {"+" [Random]}]
+     ["[0]" random {"+" [Random]}]
      [number
       ["n" nat]]]]]
   [\\program
-   ["." /
-    ["/#" // "_"
-     ["#" type]]]])
+   ["[0]" /
+    ["/[1]" // "_"
+     ["[1]" type]]]])
 
 (def: .public test
   Test
diff --git a/stdlib/source/test/aedifex/artifact/snapshot.lux b/stdlib/source/test/aedifex/artifact/snapshot.lux
index e04b49e71..b411f425c 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot.lux
@@ -5,20 +5,20 @@
     [abstract
      [monad {"+" [do]}]
      [\\specification
-      ["$." equivalence]]]
+      ["$[0]" equivalence]]]
     [control
-     ["." try ("#\." functor)]
+     ["[0]" try ("[1]\[0]" functor)]
      [parser
-      ["<.>" xml]]]
+      ["<[0]>" xml]]]
     [math
-     ["." random {"+" [Random]} ("#\." monad)]]]]
-  ["$." / "_"
-   ["#." build]
-   ["#." stamp]
-   ["#." time]
-   ["#." version]]
+     ["[0]" random {"+" [Random]} ("[1]\[0]" monad)]]]]
+  ["$[0]" / "_"
+   ["[1][0]" build]
+   ["[1][0]" stamp]
+   ["[1][0]" time]
+   ["[1][0]" version]]
   [\\program
-   ["." /]])
+   ["[0]" /]])
 
 (def: .public random
   (Random /.Snapshot)
diff --git a/stdlib/source/test/aedifex/artifact/snapshot/build.lux b/stdlib/source/test/aedifex/artifact/snapshot/build.lux
index e3e0c62cd..24f6ee539 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot/build.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot/build.lux
@@ -5,15 +5,15 @@
     [abstract
      [monad {"+" [do]}]
      [\\specification
-      ["$." equivalence]]]
+      ["$[0]" equivalence]]]
     [control
-     ["." try ("#\." functor)]
+     ["[0]" try ("[1]\[0]" functor)]
      [parser
-      ["<.>" xml]]]
+      ["<[0]>" xml]]]
     [math
-     ["." random {"+" [Random]}]]]]
+     ["[0]" random {"+" [Random]}]]]]
   [\\program
-   ["." /]])
+   ["[0]" /]])
 
 (def: .public random
   (Random /.Build)
diff --git a/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux b/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux
index 82217bd62..0ece8e264 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux
@@ -5,20 +5,20 @@
     [abstract
      [monad {"+" [do]}]
      [\\specification
-      ["$." equivalence]]]
+      ["$[0]" equivalence]]]
     [control
-     ["." try ("#\." functor)]
+     ["[0]" try ("[1]\[0]" functor)]
      [parser
-      ["<.>" xml]]]
+      ["<[0]>" xml]]]
     [math
-     ["." random {"+" [Random]}]]
+     ["[0]" random {"+" [Random]}]]
     [time
-     ["." instant]]]]
+     ["[0]" instant]]]]
   [\\program
-   ["." /]]
-  ["$." // "_"
-   ["#." time]
-   ["#." build]])
+   ["[0]" /]]
+  ["$[0]" // "_"
+   ["[1][0]" time]
+   ["[1][0]" build]])
 
 (def: .public random
   (Random /.Stamp)
diff --git a/stdlib/source/test/aedifex/artifact/snapshot/time.lux b/stdlib/source/test/aedifex/artifact/snapshot/time.lux
index f11fe6f12..50fbbbf49 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot/time.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot/time.lux
@@ -5,17 +5,17 @@
     [abstract
      [monad {"+" [do]}]
      [\\specification
-      ["$." equivalence]]]
+      ["$[0]" equivalence]]]
     [control
-     ["." try ("#\." functor)]
+     ["[0]" try ("[1]\[0]" functor)]
      [parser
-      ["<.>" text]]]
+      ["<[0]>" text]]]
     [math
-     ["." random {"+" [Random]}]]]]
+     ["[0]" random {"+" [Random]}]]]]
   [\\program
-   ["." /]]
-  ["$." /// "_"
-   ["#." time]])
+   ["[0]" /]]
+  ["$[0]" /// "_"
+   ["[1][0]" time]])
 
 (def: .public random
   (Random /.Time)
diff --git a/stdlib/source/test/aedifex/artifact/snapshot/version.lux b/stdlib/source/test/aedifex/artifact/snapshot/version.lux
index 162b05348..238a0d2a3 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot/version.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot/version.lux
@@ -5,20 +5,20 @@
     [abstract
      [monad {"+" [do]}]
      [\\specification
-      ["$." equivalence]]]
+      ["$[0]" equivalence]]]
     [control
-     ["." try ("#\." functor)]
+     ["[0]" try ("[1]\[0]" functor)]
      [parser
-      ["<.>" xml]]]
+      ["<[0]>" xml]]]
     [math
-     ["." random {"+" [Random]}]]]]
+     ["[0]" random {"+" [Random]}]]]]
   [\\program
-   ["." /]]
-  ["." / "_"
-   ["#." value]]
-  ["$." /// "_"
-   ["#." type]
-   ["#." time]])
+   ["[0]" /]]
+  ["[0]" / "_"
+   ["[1][0]" value]]
+  ["$[0]" /// "_"
+   ["[1][0]" type]
+   ["[1][0]" time]])
 
 (def: .public random
   (Random /.Version)
diff --git a/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux b/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux
index e63453f84..bccd76fac 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux
@@ -5,28 +5,28 @@
     [abstract
      [monad {"+" [do]}]
      [\\specification
-      ["$." equivalence]]]
+      ["$[0]" equivalence]]]
     [control
-     ["." try ("#\." functor)]
+     ["[0]" try ("[1]\[0]" functor)]
      [parser
-      ["<.>" text]]]
+      ["<[0]>" text]]]
     [data
-     ["." text ("#\." equivalence)
+     ["[0]" text ("[1]\[0]" equivalence)
       ["%" format {"+" [format]}]]]
     [math
-     ["." random {"+" [Random]} ("#\." monad)]
+     ["[0]" random {"+" [Random]} ("[1]\[0]" monad)]
      [number
       ["n" nat]
       ["i" int]]]
     [time
-     ["." instant]]]]
-  ["$." /// "_"
-   ["#." stamp]]
+     ["[0]" instant]]]]
+  ["$[0]" /// "_"
+   ["[1][0]" stamp]]
   [\\program
-   ["." /
-    ["//#" ///
-     ["#." stamp]
-     ["#." time]]]])
+   ["[0]" /
+    ["//[1]" ///
+     ["[1][0]" stamp]
+     ["[1][0]" time]]]])
 
 (def: .public random
   (Random /.Value)
diff --git a/stdlib/source/test/aedifex/artifact/time.lux b/stdlib/source/test/aedifex/artifact/time.lux
index a7d3f1463..9cfefe6f6 100644
--- a/stdlib/source/test/aedifex/artifact/time.lux
+++ b/stdlib/source/test/aedifex/artifact/time.lux
@@ -5,22 +5,22 @@
     [abstract
      [monad {"+" [do]}]
      [\\specification
-      ["$." equivalence]]]
+      ["$[0]" equivalence]]]
     [control
-     ["." try ("#\." functor)]
+     ["[0]" try ("[1]\[0]" functor)]
      [parser
-      ["<.>" text]]]
+      ["<[0]>" text]]]
     [time
-     ["." instant ("#\." equivalence)]]
+     ["[0]" instant ("[1]\[0]" equivalence)]]
     [math
-     ["." random {"+" [Random]}]
+     ["[0]" random {"+" [Random]}]
      [number
       ["i" int]]]]]
   [\\program
-   ["." /]]
-  ["." / "_"
-   ["#." date]
-   ["#." time]])
+   ["[0]" /]]
+  ["[0]" / "_"
+   ["[1][0]" date]
+   ["[1][0]" time]])
 
 (def: .public random
   (Random /.Time)
diff --git a/stdlib/source/test/aedifex/artifact/time/date.lux b/stdlib/source/test/aedifex/artifact/time/date.lux
index 6762ed541..e76cf4259 100644
--- a/stdlib/source/test/aedifex/artifact/time/date.lux
+++ b/stdlib/source/test/aedifex/artifact/time/date.lux
@@ -5,22 +5,22 @@
     [abstract
      [monad {"+" [do]}]
      [\\specification
-      ["$." equivalence]]]
+      ["$[0]" equivalence]]]
     [control
-     ["." try ("#\." functor)]
-     ["." exception]
+     ["[0]" try ("[1]\[0]" functor)]
+     ["[0]" exception]
      [parser
-      ["<.>" text]]]
+      ["<[0]>" text]]]
     [math
-     ["." random {"+" [Random]}]
+     ["[0]" random {"+" [Random]}]
      [number
       ["n" nat]
       ["i" int]]]
     [time
-     ["." date ("#\." equivalence)]
-     ["." year]]]]
+     ["[0]" date ("[1]\[0]" equivalence)]
+     ["[0]" year]]]]
   [\\program
-   ["." /]])
+   ["[0]" /]])
 
 (def: .public random
   (Random /.Date)
diff --git a/stdlib/source/test/aedifex/artifact/time/time.lux b/stdlib/source/test/aedifex/artifact/time/time.lux
index d156d5f03..6351eca60 100644
--- a/stdlib/source/test/aedifex/artifact/time/time.lux
+++ b/stdlib/source/test/aedifex/artifact/time/time.lux
@@ -2,20 +2,20 @@
   [library
    [lux "*"
     ["_" test {"+" [Test]}]
-    ["." time]
+    ["[0]" time]
     [abstract
      [monad {"+" [do]}]]
     [control
-     ["." try ("#\." functor)]
+     ["[0]" try ("[1]\[0]" functor)]
      [parser
-      ["<.>" text]]]
+      ["<[0]>" text]]]
     [math
-     ["." random {"+" [Random]}]
+     ["[0]" random {"+" [Random]}]
      [number
       ["n" nat]
       ["i" int]]]]]
   [\\program
-   ["." /]])
+   ["[0]" /]])
 
 (def: .public random
   (Random /.Time)
diff --git a/stdlib/source/test/aedifex/artifact/type.lux b/stdlib/source/test/aedifex/artifact/type.lux
index e0d537c1b..00b483a75 100644
--- a/stdlib/source/test/aedifex/artifact/type.lux
+++ b/stdlib/source/test/aedifex/artifact/type.lux
@@ -5,16 +5,16 @@
     [abstract
      [monad {"+" [do]}]]
     [data
-     ["." text]
+     ["[0]" text]
      [collection
-      ["." set]
-      ["." list]]]
+      ["[0]" set]
+      ["[0]" list]]]
     [math
-     ["." random {"+" [Random]} ("#\." monad)]
+     ["[0]" random {"+" [Random]} ("[1]\[0]" monad)]
      [number
       ["n" nat]]]]]
   [\\program
-   ["." /]])
+   ["[0]" /]])
 
 (def: .public random
   (Random /.Type)
diff --git a/stdlib/source/test/aedifex/artifact/versioning.lux b/stdlib/source/test/aedifex/artifact/versioning.lux
index a9ef8d07b..3d489eb38 100644
--- a/stdlib/source/test/aedifex/artifact/versioning.lux
+++ b/stdlib/source/test/aedifex/artifact/versioning.lux
@@ -5,19 +5,19 @@
     [abstract
      [monad {"+" [do]}]
      [\\specification
-      ["$." equivalence]]]
+      ["$[0]" equivalence]]]
     [control
-     ["." try ("#\." functor)]
+     ["[0]" try ("[1]\[0]" functor)]
      [parser
-      ["<.>" xml]]]
+      ["<[0]>" xml]]]
     [math
-     ["." random {"+" [Random]}]]]]
+     ["[0]" random {"+" [Random]}]]]]
   [\\program
-   ["." /]]
-  ["$." // "_"
-   ["#." time]
-   ["#." snapshot
-    ["#/." version]]])
+   ["[0]" /]]
+  ["$[0]" // "_"
+   ["[1][0]" time]
+   ["[1][0]" snapshot
+    ["[1]/[0]" version]]])
 
 (def: .public random
   (Random /.Versioning)
diff --git a/stdlib/source/test/aedifex/cache.lux b/stdlib/source/test/aedifex/cache.lux
index 7bd36499b..fc5efcf8f 100644
--- a/stdlib/source/test/aedifex/cache.lux
+++ b/stdlib/source/test/aedifex/cache.lux
@@ -3,47 +3,47 @@
    [lux {"-" [Type type]}
     ["_" test {"+" [Test]}]
     [abstract
-     ["." monad {"+" [do]}]]
+     ["[0]" monad {"+" [do]}]]
     [control
-     ["." try]
+     ["[0]" try]
      [concurrency
-      ["." async {"+" [Async]}]]
+      ["[0]" async {"+" [Async]}]]
      [parser
-      ["." environment]]]
+      ["[0]" environment]]]
     [data
      [binary {"+" [Binary]}]
-     ["." text]
+     ["[0]" text]
      [format
       [xml {"+" [XML]}]]
      [collection
-      ["." set]
-      ["." dictionary]]]
+      ["[0]" set]
+      ["[0]" dictionary]]]
     [math
-     ["." random {"+" [Random]} ("#\." monad)]
+     ["[0]" random {"+" [Random]} ("[1]\[0]" monad)]
      [number
       ["n" nat]]]
     [world
-     ["." file]
-     ["." program]]]]
+     ["[0]" file]
+     ["[0]" program]]]]
   [//
-   ["@." profile]
-   ["@." artifact]
+   ["@[0]" profile]
+   ["@[0]" artifact]
    [//
     [lux
      [data
-      ["_." binary]]]]]
+      ["_[0]" binary]]]]]
   [\\program
-   ["." /
-    ["/#" // "_"
-     ["#" profile {"+" [Profile]}]
-     ["#." package {"+" [Package]}]
-     ["#." pom]
-     ["#." dependency {"+" [Dependency]}
-      ["#/." resolution {"+" [Resolution]}]]
-     ["#." artifact {"+" [Artifact]}
-      ["#/." type {"+" [Type]}]]
-     ["#." repository "_"
-      ["#/." origin]]]]])
+   ["[0]" /
+    ["/[1]" // "_"
+     ["[1]" profile {"+" [Profile]}]
+     ["[1][0]" package {"+" [Package]}]
+     ["[1][0]" pom]
+     ["[1][0]" dependency {"+" [Dependency]}
+      ["[1]/[0]" resolution {"+" [Resolution]}]]
+     ["[1][0]" artifact {"+" [Artifact]}
+      ["[1]/[0]" type {"+" [Type]}]]
+     ["[1][0]" repository "_"
+      ["[1]/[0]" origin]]]]])
 
 (def: type
   (Random Type)
diff --git a/stdlib/source/test/aedifex/cli.lux b/stdlib/source/test/aedifex/cli.lux
index 8a51928af..9cc55fd2c 100644
--- a/stdlib/source/test/aedifex/cli.lux
+++ b/stdlib/source/test/aedifex/cli.lux
@@ -5,22 +5,22 @@
     [abstract
      [monad {"+" [do]}]
      [\\specification
-      ["$." equivalence]]]
+      ["$[0]" equivalence]]]
     [control
      [pipe {"+" [case>]}]
-     ["." try]
+     ["[0]" try]
      [parser
-      ["." cli]]]
+      ["[0]" cli]]]
     [data
-     ["." text]
+     ["[0]" text]
      [collection
-      ["." list]]]
+      ["[0]" list]]]
     [math
-     ["." random {"+" [Random]} ("#\." monad)]]]]
+     ["[0]" random {"+" [Random]} ("[1]\[0]" monad)]]]]
   [\\program
-   ["." /
-    ["/#" // "_"
-     ["#" profile]]]])
+   ["[0]" /
+    ["/[1]" // "_"
+     ["[1]" profile]]]])
 
 (def: compilation
   (Random /.Compilation)
diff --git a/stdlib/source/test/aedifex/command.lux b/stdlib/source/test/aedifex/command.lux
index 704376f9c..5cefcb033 100644
--- a/stdlib/source/test/aedifex/command.lux
+++ b/stdlib/source/test/aedifex/command.lux
@@ -2,21 +2,21 @@
   [library
    [lux "*"
     ["_" test {"+" [Test]}]]]
-  ["." / "_"
-   ["#." version]
-   ["#." pom]
+  ["[0]" / "_"
+   ["[1][0]" version]
+   ["[1][0]" pom]
 
-   ["#." clean]
-   ["#." install]
+   ["[1][0]" clean]
+   ["[1][0]" install]
 
-   ["#." deps]
-   ["#." deploy]
+   ["[1][0]" deps]
+   ["[1][0]" deploy]
 
-   ["#." build]
-   ["#." test]
-   ["#." auto]]
+   ["[1][0]" build]
+   ["[1][0]" test]
+   ["[1][0]" auto]]
   [\\program
-   ["." /]])
+   ["[0]" /]])
 
 (def: .public test
   Test
diff --git a/stdlib/source/test/aedifex/command/auto.lux b/stdlib/source/test/aedifex/command/auto.lux
index 71608e83d..4511d8a03 100644
--- a/stdlib/source/test/aedifex/command/auto.lux
+++ b/stdlib/source/test/aedifex/command/auto.lux
@@ -6,41 +6,41 @@
      [monad {"+" [do]}]]
     [control
      [pipe {"+" [case>]}]
-     ["." try]
+     ["[0]" try]
      [parser
-      ["." environment]]
+      ["[0]" environment]]
      [concurrency
-      ["." atom {"+" [Atom]}]
-      ["." async {"+" [Async]}]]]
+      ["[0]" atom {"+" [Atom]}]
+      ["[0]" async {"+" [Async]}]]]
     [data
-     ["." binary]
-     ["." text
+     ["[0]" binary]
+     ["[0]" text
       ["%" format {"+" [format]}]
       [encoding
-       ["." utf8]]]
+       ["[0]" utf8]]]
      [collection
-      ["." set]]]
+      ["[0]" set]]]
     [math
-     ["." random]
+     ["[0]" random]
      [number
       ["n" nat]]]
     [time
-     ["." instant]]
+     ["[0]" instant]]
     [world
      [console {"+" [Console]}]
-     ["." shell {"+" [Exit Shell]}]
-     ["." program {"+" [Program]}]
-     ["." file
-      ["." watch]]]]]
-  ["." // "_"
-   ["$." version]
-   ["$." build]]
+     ["[0]" shell {"+" [Exit Shell]}]
+     ["[0]" program {"+" [Program]}]
+     ["[0]" file
+      ["[0]" watch]]]]]
+  ["[0]" // "_"
+   ["$[0]" version]
+   ["$[0]" build]]
   [\\program
-   ["." /
-    ["//#" /// "_"
+   ["[0]" /
+    ["//[1]" /// "_"
      [command {"+" [Command]}]
-     ["#" profile {"+" [Profile]}]
-     ["#." action]
+     ["[1]" profile {"+" [Profile]}]
+     ["[1][0]" action]
      [dependency
       [resolution {"+" [Resolution]}]]]]])
 
diff --git a/stdlib/source/test/aedifex/command/build.lux b/stdlib/source/test/aedifex/command/build.lux
index cbdfdc929..c856b11f5 100644
--- a/stdlib/source/test/aedifex/command/build.lux
+++ b/stdlib/source/test/aedifex/command/build.lux
@@ -7,35 +7,35 @@
     [control
      [pipe {"+" [case>]}]
      [io {"+" [IO]}]
-     ["." try]
-     ["." exception]
+     ["[0]" try]
+     ["[0]" exception]
      [concurrency
-      ["." async {"+" [Async]}]]
+      ["[0]" async {"+" [Async]}]]
      [parser
-      ["." environment]]]
+      ["[0]" environment]]]
     [data
-     ["." text ("#\." equivalence)]
+     ["[0]" text ("[1]\[0]" equivalence)]
      [collection
-      ["." dictionary]]]
+      ["[0]" dictionary]]]
     [math
-     ["." random {"+" [Random]}]]
+     ["[0]" random {"+" [Random]}]]
     [world
-     ["." file]
-     ["." shell {"+" [Shell]}]
-     ["." program]]]]
-  ["." // "_"
-   ["@." version]
-   ["$/#" // "_"
-    ["#." package]]]
+     ["[0]" file]
+     ["[0]" shell {"+" [Shell]}]
+     ["[0]" program]]]]
+  ["[0]" // "_"
+   ["@[0]" version]
+   ["$/[1]" // "_"
+    ["[1][0]" package]]]
   [\\program
-   ["." /
-    ["//#" /// "_"
-     ["#" profile {"+" [Profile]}]
-     ["#." action]
-     ["#." artifact
-      ["#/." type]]
-     ["#." dependency {"+" [Dependency]}
-      ["#/." resolution {"+" [Resolution]}]]]]])
+   ["[0]" /
+    ["//[1]" /// "_"
+     ["[1]" profile {"+" [Profile]}]
+     ["[1][0]" action]
+     ["[1][0]" artifact
+      ["[1]/[0]" type]]
+     ["[1][0]" dependency {"+" [Dependency]}
+      ["[1]/[0]" resolution {"+" [Resolution]}]]]]])
 
 (def: .public good_shell
   (-> Any (Shell IO))
diff --git a/stdlib/source/test/aedifex/command/clean.lux b/stdlib/source/test/aedifex/command/clean.lux
index c59b75719..83c3e5a80 100644
--- a/stdlib/source/test/aedifex/command/clean.lux
+++ b/stdlib/source/test/aedifex/command/clean.lux
@@ -3,38 +3,38 @@
    [lux "*"
     ["_" test {"+" [Test]}]
     [abstract
-     ["." monad {"+" [do]}]]
+     ["[0]" monad {"+" [do]}]]
     [control
-     ["." try {"+" [Try]}]
+     ["[0]" try {"+" [Try]}]
      [concurrency
-      ["." async {"+" [Async]}]]]
+      ["[0]" async {"+" [Async]}]]]
     [data
      [binary {"+" [Binary]}]
-     ["." product]
-     ["." text ("#\." equivalence)
+     ["[0]" product]
+     ["[0]" text ("[1]\[0]" equivalence)
       ["%" format {"+" [format]}]]
      [collection
-      ["." list ("#\." functor)]
-      ["." set]]]
+      ["[0]" list ("[1]\[0]" functor)]
+      ["[0]" set]]]
     [math
-     ["." random {"+" [Random]}]
+     ["[0]" random {"+" [Random]}]
      [number
       ["n" nat]]]
     [world
-     ["." file {"+" [Path]}]]]]
+     ["[0]" file {"+" [Path]}]]]]
   [//
-   ["@." version]
+   ["@[0]" version]
    [//
-    ["@." profile]
+    ["@[0]" profile]
     [//
      [lux
       [data
-       ["$." binary]]]]]]
+       ["$[0]" binary]]]]]]
   [\\program
-   ["." /
-    ["//#" /// "_"
-     ["#" profile]
-     ["#." action {"+" [Action]}]]]])
+   ["[0]" /
+    ["//[1]" /// "_"
+     ["[1]" profile]
+     ["[1][0]" action {"+" [Action]}]]]])
 
 (def: node_name
   (Random Text)
diff --git a/stdlib/source/test/aedifex/command/deploy.lux b/stdlib/source/test/aedifex/command/deploy.lux
index 93bf3de79..219a2931b 100644
--- a/stdlib/source/test/aedifex/command/deploy.lux
+++ b/stdlib/source/test/aedifex/command/deploy.lux
@@ -5,49 +5,49 @@
     [abstract
      [monad {"+" [do]}]]
     [control
-     ["." maybe]
-     ["." try {"+" [Try]}]
+     ["[0]" maybe]
+     ["[0]" try {"+" [Try]}]
      [concurrency
-      ["." async {"+" [Async]}]]
+      ["[0]" async {"+" [Async]}]]
      [parser
-      ["." environment]]]
+      ["[0]" environment]]]
     [data
-     ["." binary ("#\." equivalence)]
-     ["." text ("#\." equivalence)
+     ["[0]" binary ("[1]\[0]" equivalence)]
+     ["[0]" text ("[1]\[0]" equivalence)
       ["%" format {"+" [format]}]
       [encoding
-       ["." utf8]]]
-     ["." format "_"
-      ["#" binary]
-      ["." tar]
-      ["." xml]]
+       ["[0]" utf8]]]
+     ["[0]" format "_"
+      ["[1]" binary]
+      ["[0]" tar]
+      ["[0]" xml]]
      [collection
-      ["." set]]]
+      ["[0]" set]]]
     [math
-     ["." random]]
+     ["[0]" random]]
     [world
-     ["." file]
-     ["." program {"+" [Program]}]]]]
+     ["[0]" file]
+     ["[0]" program {"+" [Program]}]]]]
   [program
    [compositor
-    ["." export]]]
+    ["[0]" export]]]
   [//
-   ["$." install]
-   ["$." version]
+   ["$[0]" install]
+   ["$[0]" version]
    [//
-    ["$." profile]
-    ["$." repository]]]
+    ["$[0]" profile]
+    ["$[0]" repository]]]
   [\\program
-   ["." /
-    ["//#" /// "_"
-     ["#" profile]
-     ["#." action]
-     ["#." pom]
-     ["#." hash]
-     ["#." repository {"+" [Repository]}
-      ["#/." remote]]
-     ["#." artifact {"+" [Artifact]}
-      ["#/." extension]]]]])
+   ["[0]" /
+    ["//[1]" /// "_"
+     ["[1]" profile]
+     ["[1][0]" action]
+     ["[1][0]" pom]
+     ["[1][0]" hash]
+     ["[1][0]" repository {"+" [Repository]}
+      ["[1]/[0]" remote]]
+     ["[1][0]" artifact {"+" [Artifact]}
+      ["[1]/[0]" extension]]]]])
 
 (def: (execute! program repository fs artifact profile)
   (-> (Program Async) (Repository Async) (file.System Async)
diff --git a/stdlib/source/test/aedifex/command/deps.lux b/stdlib/source/test/aedifex/command/deps.lux
index 3047ccb2b..3d563f540 100644
--- a/stdlib/source/test/aedifex/command/deps.lux
+++ b/stdlib/source/test/aedifex/command/deps.lux
@@ -4,53 +4,53 @@
     ["_" test {"+" [Test]}]
     [abstract
      [monad {"+" [do]}]
-     ["." predicate]]
+     ["[0]" predicate]]
     [control
-     ["." try]
+     ["[0]" try]
      [concurrency
-      ["." async]]
+      ["[0]" async]]
      [parser
-      ["." environment]]]
+      ["[0]" environment]]]
     [data
-     ["." text ("#\." equivalence)
+     ["[0]" text ("[1]\[0]" equivalence)
       ["%" format {"+" [format]}]
       [encoding
-       ["." utf8]]]
+       ["[0]" utf8]]]
      [collection
-      ["." dictionary]
-      ["." set]]
+      ["[0]" dictionary]
+      ["[0]" set]]
      [format
-      ["." xml]]]
+      ["[0]" xml]]]
     [math
-     ["." random {"+" [Random]}]]
+     ["[0]" random {"+" [Random]}]]
     [world
-     ["." program]
-     ["." file]]]]
-  ["." // "_"
-   ["@." version]
-   ["$/#" // "_"
-    ["#." package]
-    ["#." artifact]
-    ["#." dependency "_"
-     ["#/." resolution]]]]
+     ["[0]" program]
+     ["[0]" file]]]]
+  ["[0]" // "_"
+   ["@[0]" version]
+   ["$/[1]" // "_"
+    ["[1][0]" package]
+    ["[1][0]" artifact]
+    ["[1][0]" dependency "_"
+     ["[1]/[0]" resolution]]]]
   [\\program
-   ["." /
-    ["/#" // "_"
-     ["#." clean]
-     ["/#" // "_"
-      ["#" profile]
-      ["#." action]
-      ["#." pom]
-      ["#." package]
-      ["#." artifact
-       ["#/." type]]
-      ["#." dependency
-       ["#/." resolution]
-       ["#/." deployment]
-       ["#/." status]]
-      ["#." repository
-       ["#/." origin]
-       ["#/." local]]]]]])
+   ["[0]" /
+    ["/[1]" // "_"
+     ["[1][0]" clean]
+     ["/[1]" // "_"
+      ["[1]" profile]
+      ["[1][0]" action]
+      ["[1][0]" pom]
+      ["[1][0]" package]
+      ["[1][0]" artifact
+       ["[1]/[0]" type]]
+      ["[1][0]" dependency
+       ["[1]/[0]" resolution]
+       ["[1]/[0]" deployment]
+       ["[1]/[0]" status]]
+      ["[1][0]" repository
+       ["[1]/[0]" origin]
+       ["[1]/[0]" local]]]]]])
 
 (def: .public test
   Test
diff --git a/stdlib/source/test/aedifex/command/install.lux b/stdlib/source/test/aedifex/command/install.lux
index 3fe787e35..8ef29ec92 100644
--- a/stdlib/source/test/aedifex/command/install.lux
+++ b/stdlib/source/test/aedifex/command/install.lux
@@ -3,41 +3,41 @@
    [lux "*"
     ["_" test {"+" [Test]}]
     [abstract
-     ["." monad {"+" [do]}]]
+     ["[0]" monad {"+" [do]}]]
     [control
-     ["." try {"+" [Try]} ("#\." functor)]
-     ["." exception]
+     ["[0]" try {"+" [Try]} ("[1]\[0]" functor)]
+     ["[0]" exception]
      [concurrency
-      ["." async {"+" [Async]}]]
+      ["[0]" async {"+" [Async]}]]
      [parser
-      ["." environment]]]
+      ["[0]" environment]]]
     [data
-     ["." binary]
-     ["." text ("#\." equivalence)
+     ["[0]" binary]
+     ["[0]" text ("[1]\[0]" equivalence)
       ["%" format {"+" [format]}]]
      [collection
-      ["." set {"+" [Set]}]]]
+      ["[0]" set {"+" [Set]}]]]
     [math
-     ["." random]]
+     ["[0]" random]]
     [world
-     ["." file]
-     ["." program {"+" [Program]}]]]]
+     ["[0]" file]
+     ["[0]" program {"+" [Program]}]]]]
   [//
-   ["$." version]
+   ["$[0]" version]
    [//
-    ["$." profile]
-    ["$." artifact]]]
+    ["$[0]" profile]
+    ["$[0]" artifact]]]
   [\\program
-   ["." /
-    ["/#" // "_"
-     ["/#" // "_"
-      ["#" profile]
-      ["#." action {"+" [Action]}]
-      ["#." local]
-      ["#." artifact
-       ["#/." extension]]
-      ["#." repository "_"
-       ["#/." local]]]]]])
+   ["[0]" /
+    ["/[1]" // "_"
+     ["/[1]" // "_"
+      ["[1]" profile]
+      ["[1][0]" action {"+" [Action]}]
+      ["[1][0]" local]
+      ["[1][0]" artifact
+       ["[1]/[0]" extension]]
+      ["[1][0]" repository "_"
+       ["[1]/[0]" local]]]]]])
 
 (def: .public (make_sources! fs sources)
   (-> (file.System Async) (Set file.Path) (Action (List Any)))
diff --git a/stdlib/source/test/aedifex/command/pom.lux b/stdlib/source/test/aedifex/command/pom.lux
index be5c60598..80676974b 100644
--- a/stdlib/source/test/aedifex/command/pom.lux
+++ b/stdlib/source/test/aedifex/command/pom.lux
@@ -5,30 +5,30 @@
     [abstract
      [monad {"+" [do]}]]
     [control
-     ["." try ("#\." functor)]
+     ["[0]" try ("[1]\[0]" functor)]
      [concurrency
-      ["." async]]]
+      ["[0]" async]]]
     [data
-     ["." binary ("#\." equivalence)]
-     ["." text ("#\." equivalence)
+     ["[0]" binary ("[1]\[0]" equivalence)]
+     ["[0]" text ("[1]\[0]" equivalence)
       [encoding
-       ["." utf8]]]
+       ["[0]" utf8]]]
      [format
-      ["." xml]]]
+      ["[0]" xml]]]
     [math
-     ["." random]]
+     ["[0]" random]]
     [world
-     ["." file]]]]
+     ["[0]" file]]]]
   [//
-   ["@." version]
+   ["@[0]" version]
    [//
-    ["@." profile]]]
+    ["@[0]" profile]]]
   [\\program
-   ["." /
-    ["//#" /// "_"
-     ["#" profile]
-     ["#." action]
-     ["#." pom]]]])
+   ["[0]" /
+    ["//[1]" /// "_"
+     ["[1]" profile]
+     ["[1][0]" action]
+     ["[1][0]" pom]]]])
 
 (def: .public test
   Test
diff --git a/stdlib/source/test/aedifex/command/test.lux b/stdlib/source/test/aedifex/command/test.lux
index 6f04ef653..bbcb582b1 100644
--- a/stdlib/source/test/aedifex/command/test.lux
+++ b/stdlib/source/test/aedifex/command/test.lux
@@ -5,39 +5,39 @@
     [abstract
      [monad {"+" [do]}]]
     [control
-     ["." try]
-     ["." exception]
+     ["[0]" try]
+     ["[0]" exception]
      [concurrency
-      ["." async]]
+      ["[0]" async]]
      [parser
-      ["." environment]]]
+      ["[0]" environment]]]
     [data
-     ["." text ("#\." equivalence)]
+     ["[0]" text ("[1]\[0]" equivalence)]
      [collection
-      ["." dictionary]
-      ["." list]]]
+      ["[0]" dictionary]
+      ["[0]" list]]]
     [math
-     ["." random]]
+     ["[0]" random]]
     [world
-     ["." file]
-     ["." shell]
-     ["." program]]]]
-  ["." // "_"
-   ["@." version]
-   ["@." build]
-   ["$/#" // "_"
-    ["#." package]]]
+     ["[0]" file]
+     ["[0]" shell]
+     ["[0]" program]]]]
+  ["[0]" // "_"
+   ["@[0]" version]
+   ["@[0]" build]
+   ["$/[1]" // "_"
+    ["[1][0]" package]]]
   [\\program
-   ["." /
-    ["/#" // "_"
-     ["#." build]
-     ["/#" // "_"
-      ["#" profile {"+" [Profile]}]
-      ["#." action]
-      ["#." artifact
-       ["#/." type]]
-      ["#." dependency
-       ["#/." resolution]]]]]])
+   ["[0]" /
+    ["/[1]" // "_"
+     ["[1][0]" build]
+     ["/[1]" // "_"
+      ["[1]" profile {"+" [Profile]}]
+      ["[1][0]" action]
+      ["[1][0]" artifact
+       ["[1]/[0]" type]]
+      ["[1][0]" dependency
+       ["[1]/[0]" resolution]]]]]])
 
 (def: .public test
   Test
diff --git a/stdlib/source/test/aedifex/command/version.lux b/stdlib/source/test/aedifex/command/version.lux
index 74223d02f..1b2b0aa53 100644
--- a/stdlib/source/test/aedifex/command/version.lux
+++ b/stdlib/source/test/aedifex/command/version.lux
@@ -5,28 +5,28 @@
     [abstract
      [monad {"+" [do]}]]
     [control
-     ["." maybe]
-     ["." try]
-     ["." exception {"+" [exception:]}]
+     ["[0]" maybe]
+     ["[0]" try]
+     ["[0]" exception {"+" [exception:]}]
      [concurrency
-      ["." async {"+" [Async]}]]]
+      ["[0]" async {"+" [Async]}]]]
     [data
-     ["." text ("#\." equivalence)
+     ["[0]" text ("[1]\[0]" equivalence)
       ["%" format {"+" [format]}]]]
     [math
-     ["." random]]
+     ["[0]" random]]
     [tool
      [compiler
-      ["." version]
-      ["." language "_"
-       ["#/." lux "_"
-        ["#" version]]]]]
+      ["[0]" version]
+      ["[0]" language "_"
+       ["[1]/[0]" lux "_"
+        ["[1]" version]]]]]
     [world
-     ["." console {"+" [Console Mock]}]]]]
+     ["[0]" console {"+" [Console Mock]}]]]]
   [///
-   ["@." profile]]
+   ["@[0]" profile]]
   [\\program
-   ["." /]])
+   ["[0]" /]])
 
 (exception: .public console_is_closed!)
 
diff --git a/stdlib/source/test/aedifex/dependency.lux b/stdlib/source/test/aedifex/dependency.lux
index 0f3eb7db0..370803dfa 100644
--- a/stdlib/source/test/aedifex/dependency.lux
+++ b/stdlib/source/test/aedifex/dependency.lux
@@ -5,15 +5,15 @@
     [abstract
      [monad {"+" [do]}]
      [\\specification
-      ["$." equivalence]
-      ["$." order]
-      ["$." hash]]]
+      ["$[0]" equivalence]
+      ["$[0]" order]
+      ["$[0]" hash]]]
     [math
-     ["." random {"+" [Random]}]]]]
+     ["[0]" random {"+" [Random]}]]]]
   [//
-   ["@." artifact]]
+   ["@[0]" artifact]]
   [\\program
-   ["." /]])
+   ["[0]" /]])
 
 (def: .public random
   (Random /.Dependency)
diff --git a/stdlib/source/test/aedifex/dependency/deployment.lux b/stdlib/source/test/aedifex/dependency/deployment.lux
index 8dfa5a853..5b7869eab 100644
--- a/stdlib/source/test/aedifex/dependency/deployment.lux
+++ b/stdlib/source/test/aedifex/dependency/deployment.lux
@@ -4,50 +4,50 @@
     ["_" test {"+" [Test]}]
     [abstract
      [monad {"+" [do]}]
-     ["." hash {"+" [Hash]}]]
+     ["[0]" hash {"+" [Hash]}]]
     [control
-     ["." io {"+" [IO]}]
-     ["." maybe ("#\." functor)]
-     ["." try ("#\." functor)]
+     ["[0]" io {"+" [IO]}]
+     ["[0]" maybe ("[1]\[0]" functor)]
+     ["[0]" try ("[1]\[0]" functor)]
      [concurrency
-      ["." atom {"+" [Atom]}]
-      ["." async]]]
+      ["[0]" atom {"+" [Atom]}]
+      ["[0]" async]]]
     [data
-     ["." product]
-     ["." binary {"+" [Binary]} ("#\." equivalence)]
-     ["." text
+     ["[0]" product]
+     ["[0]" binary {"+" [Binary]} ("[1]\[0]" equivalence)]
+     ["[0]" text
       ["%" format {"+" [format]}]]
      [collection
-      ["." dictionary {"+" [Dictionary]}]
-      ["." set]
-      ["." list ("#\." mix)]]]
+      ["[0]" dictionary {"+" [Dictionary]}]
+      ["[0]" set]
+      ["[0]" list ("[1]\[0]" mix)]]]
     [math
-     ["." random {"+" [Random]}]
+     ["[0]" random {"+" [Random]}]
      [number
       ["n" nat]]]
     [world
      [net {"+" [URL]}
-      ["." uri {"+" [URI]}]
-      ["." http "_"
-       ["#" client]
-       ["#/." status]
-       ["@#" /]]]]]]
-  ["$." //
-   ["#/" // "_"
-    ["#." package]]]
+      ["[0]" uri {"+" [URI]}]
+      ["[0]" http "_"
+       ["[1]" client]
+       ["[1]/[0]" status]
+       ["@[1]" /]]]]]]
+  ["$[0]" //
+   ["[1]/" // "_"
+    ["[1][0]" package]]]
   [\\program
-   ["." /
+   ["[0]" /
     [// {"+" [Dependency]}
-     ["." resolution]
+     ["[0]" resolution]
      [//
-      ["." profile]
-      ["." metadata]
-      ["." package {"+" [Package]}]
-      ["." artifact {"+" [Artifact]} ("#\." equivalence)
-       ["#/." type]
-       ["#/." extension]]
-      ["." repository
-       ["." remote]]]]]])
+      ["[0]" profile]
+      ["[0]" metadata]
+      ["[0]" package {"+" [Package]}]
+      ["[0]" artifact {"+" [Artifact]} ("[1]\[0]" equivalence)
+       ["[1]/[0]" type]
+       ["[1]/[0]" extension]]
+      ["[0]" repository
+       ["[0]" remote]]]]]])
 
 (def: good_upload
   (@http.Response IO)
diff --git a/stdlib/source/test/aedifex/dependency/resolution.lux b/stdlib/source/test/aedifex/dependency/resolution.lux
index 7297b99ee..2fe39286d 100644
--- a/stdlib/source/test/aedifex/dependency/resolution.lux
+++ b/stdlib/source/test/aedifex/dependency/resolution.lux
@@ -4,49 +4,49 @@
     ["_" test {"+" [Test]}]
     [abstract
      [monad {"+" [do]}]
-     ["." predicate]
+     ["[0]" predicate]
      [\\specification
-      ["$." equivalence]]]
+      ["$[0]" equivalence]]]
     [control
-     ["." try]
-     ["." exception]
+     ["[0]" try]
+     ["[0]" exception]
      [concurrency
-      ["." async]]]
+      ["[0]" async]]]
     [data
      [binary {"+" [Binary]}]
-     ["." product]
-     ["." text
+     ["[0]" product]
+     ["[0]" text
       ["%" format {"+" [format]}]
       [encoding
-       ["." utf8]]]
+       ["[0]" utf8]]]
      [format
-      ["." xml]]
+      ["[0]" xml]]
      [collection
-      ["." dictionary]
-      ["." set]
-      ["." list]]]
+      ["[0]" dictionary]
+      ["[0]" set]
+      ["[0]" list]]]
     [math
-     ["." random {"+" [Random]}]]]]
-  ["$." /// "_"
-   ["#." package]
-   ["#." repository]
-   ["#." artifact]
+     ["[0]" random {"+" [Random]}]]]]
+  ["$[0]" /// "_"
+   ["[1][0]" package]
+   ["[1][0]" repository]
+   ["[1][0]" artifact]
    [command
-    ["#." version]]]
+    ["[1][0]" version]]]
   [\\program
-   ["." /
-    ["//#" /// "_"
-     ["#" profile]
-     ["#." package {"+" [Package]}]
-     ["#." hash]
-     ["#." dependency {"+" [Dependency]} ("#\." equivalence)
-      ["#/." status]]
-     ["#." pom]
-     ["#." artifact {"+" [Artifact]}
-      ["#/." type]
-      ["#/." extension]]
-     ["#." repository {"+" [Mock]}
-      ["#/." origin]]]]])
+   ["[0]" /
+    ["//[1]" /// "_"
+     ["[1]" profile]
+     ["[1][0]" package {"+" [Package]}]
+     ["[1][0]" hash]
+     ["[1][0]" dependency {"+" [Dependency]} ("[1]\[0]" equivalence)
+      ["[1]/[0]" status]]
+     ["[1][0]" pom]
+     ["[1][0]" artifact {"+" [Artifact]}
+      ["[1]/[0]" type]
+      ["[1]/[0]" extension]]
+     ["[1][0]" repository {"+" [Mock]}
+      ["[1]/[0]" origin]]]]])
 
 (def: random
   (Random /.Resolution)
diff --git a/stdlib/source/test/aedifex/dependency/status.lux b/stdlib/source/test/aedifex/dependency/status.lux
index 65bd7161e..981f18b0e 100644
--- a/stdlib/source/test/aedifex/dependency/status.lux
+++ b/stdlib/source/test/aedifex/dependency/status.lux
@@ -5,18 +5,18 @@
     [abstract
      [monad {"+" [do]}]
      [\\specification
-      ["$." equivalence]]]
+      ["$[0]" equivalence]]]
     [data
-     ["." binary "_"
-      ["#T" \\test]]]
+     ["[0]" binary "_"
+      ["[1]T" \\test]]]
     [math
-     ["." random {"+" [Random]} ("#\." monad)]]]]
-  ["$." /// "_"
-   ["#." hash]]
+     ["[0]" random {"+" [Random]} ("[1]\[0]" monad)]]]]
+  ["$[0]" /// "_"
+   ["[1][0]" hash]]
   [\\program
-   ["." /
-    ["//#" /// "_"
-     ["#." hash]]]])
+   ["[0]" /
+    ["//[1]" /// "_"
+     ["[1][0]" hash]]]])
 
 (def: .public random
   (Random /.Status)
diff --git a/stdlib/source/test/aedifex/hash.lux b/stdlib/source/test/aedifex/hash.lux
index 94608cf7b..a3220b756 100644
--- a/stdlib/source/test/aedifex/hash.lux
+++ b/stdlib/source/test/aedifex/hash.lux
@@ -5,25 +5,25 @@
     [abstract
      [monad {"+" [do]}]
      [\\specification
-      ["$." equivalence]
-      ["$." codec]]]
+      ["$[0]" equivalence]
+      ["$[0]" codec]]]
     [control
-     ["." try]
-     ["." exception]]
+     ["[0]" try]
+     ["[0]" exception]]
     [data
-     ["." binary {"+" [Binary]}]
+     ["[0]" binary {"+" [Binary]}]
      [text
       ["%" format {"+" [format]}]]]
     [math
-     ["." random {"+" [Random]}]
+     ["[0]" random {"+" [Random]}]
      [number
       ["n" nat]]]]]
   [\\program
-   ["." /]]
+   ["[0]" /]]
   [test
    [lux
     [data
-     ["_." binary]]]])
+     ["_[0]" binary]]]])
 
 (def: .public (random hash)
   (All (_ h)
diff --git a/stdlib/source/test/aedifex/input.lux b/stdlib/source/test/aedifex/input.lux
index b725272e9..cf7f59840 100644
--- a/stdlib/source/test/aedifex/input.lux
+++ b/stdlib/source/test/aedifex/input.lux
@@ -5,29 +5,29 @@
     [abstract
      [monad {"+" [do]}]]
     [control
-     ["." try {"+" [Try]}]
+     ["[0]" try {"+" [Try]}]
      [concurrency
-      ["." async {"+" [Async]}]]]
+      ["[0]" async {"+" [Async]}]]]
     [data
      [text
       ["%" format]
       [encoding
-       ["." utf8]]]
+       ["[0]" utf8]]]
      [collection
-      ["." set {"+" [Set]}]]]
+      ["[0]" set {"+" [Set]}]]]
     [math
-     ["." random]]
+     ["[0]" random]]
     [world
-     ["." file]]]]
+     ["[0]" file]]]]
   [//
-   ["$." profile]]
+   ["$[0]" profile]]
   [\\program
-   ["." /
-    ["/#" // "_"
-     ["#" profile {"+" [Profile]}]
-     ["#." project]
-     ["#." action]
-     ["#." format]
+   ["[0]" /
+    ["/[1]" // "_"
+     ["[1]" profile {"+" [Profile]}]
+     ["[1][0]" project]
+     ["[1][0]" action]
+     ["[1][0]" format]
      [repository
       [remote {"+" [Address]}]]]]])
 
diff --git a/stdlib/source/test/aedifex/local.lux b/stdlib/source/test/aedifex/local.lux
index 8a6de8dcd..bd49df4c8 100644
--- a/stdlib/source/test/aedifex/local.lux
+++ b/stdlib/source/test/aedifex/local.lux
@@ -5,15 +5,15 @@
     [abstract
      [monad {"+" [do]}]]
     [data
-     ["." text]]
+     ["[0]" text]]
     [math
-     ["." random {"+" [Random]}]]]]
+     ["[0]" random {"+" [Random]}]]]]
   [//
-   ["@." artifact]]
+   ["@[0]" artifact]]
   [\\program
-   ["." /
-    ["/#" // "_"
-     ["#." artifact]]]])
+   ["[0]" /
+    ["/[1]" // "_"
+     ["[1][0]" artifact]]]])
 
 (def: .public test
   Test
diff --git a/stdlib/source/test/aedifex/metadata.lux b/stdlib/source/test/aedifex/metadata.lux
index ad9460154..79ced5b8f 100644
--- a/stdlib/source/test/aedifex/metadata.lux
+++ b/stdlib/source/test/aedifex/metadata.lux
@@ -5,16 +5,16 @@
     [abstract
      [monad {"+" [do]}]]
     [data
-     ["." text ("#\." equivalence)]]
+     ["[0]" text ("[1]\[0]" equivalence)]]
     [math
-     ["." random]]]]
-  ["." / "_"
-   ["#." artifact]
-   ["#." snapshot]
+     ["[0]" random]]]]
+  ["[0]" / "_"
+   ["[1][0]" artifact]
+   ["[1][0]" snapshot]
    [//
-    ["$." artifact]]]
+    ["$[0]" artifact]]]
   [\\program
-   ["." /]])
+   ["[0]" /]])
 
 (def: .public test
   Test
diff --git a/stdlib/source/test/aedifex/metadata/artifact.lux b/stdlib/source/test/aedifex/metadata/artifact.lux
index 544da4d3c..0f0188ea3 100644
--- a/stdlib/source/test/aedifex/metadata/artifact.lux
+++ b/stdlib/source/test/aedifex/metadata/artifact.lux
@@ -5,41 +5,41 @@
     [abstract
      [monad {"+" [do]}]
      [\\specification
-      ["$." equivalence]]]
+      ["$[0]" equivalence]]]
     [control
-     ["." maybe]
-     ["." try ("#\." functor)]
+     ["[0]" maybe]
+     ["[0]" try ("[1]\[0]" functor)]
      [parser
-      ["." environment]
-      ["<.>" xml]]
+      ["[0]" environment]
+      ["<[0]>" xml]]
      [concurrency
-      ["." async]]]
+      ["[0]" async]]]
     [data
-     ["." text ("#\." equivalence)]
+     ["[0]" text ("[1]\[0]" equivalence)]
      [collection
-      ["." list]]]
+      ["[0]" list]]]
     [macro
-     ["." code]]
+     ["[0]" code]]
     [math
-     ["." random {"+" [Random]}]
+     ["[0]" random {"+" [Random]}]
      [number
       ["n" nat]]]
-    ["." time
-     ["." date]
-     ["." year]
-     ["." month]
-     ["." instant]
-     ["." duration]]
+    ["[0]" time
+     ["[0]" date]
+     ["[0]" year]
+     ["[0]" month]
+     ["[0]" instant]
+     ["[0]" duration]]
     [world
-     ["." file]
-     ["." program]]]]
+     ["[0]" file]
+     ["[0]" program]]]]
   [\\program
-   ["." /
-    ["/#" //
-     ["/#" // "_"
-      ["#." artifact]
-      ["#." repository "_"
-       ["#/." local]]]]]])
+   ["[0]" /
+    ["/[1]" //
+     ["/[1]" // "_"
+      ["[1][0]" artifact]
+      ["[1][0]" repository "_"
+       ["[1]/[0]" local]]]]]])
 
 (def: .public random
   (Random /.Metadata)
diff --git a/stdlib/source/test/aedifex/metadata/snapshot.lux b/stdlib/source/test/aedifex/metadata/snapshot.lux
index 2c4866c2c..39d16bd27 100644
--- a/stdlib/source/test/aedifex/metadata/snapshot.lux
+++ b/stdlib/source/test/aedifex/metadata/snapshot.lux
@@ -5,49 +5,49 @@
     [abstract
      [monad {"+" [do]}]
      [\\specification
-      ["$." equivalence]]]
+      ["$[0]" equivalence]]]
     [control
-     ["." maybe]
-     ["." try ("#\." functor)]
+     ["[0]" maybe]
+     ["[0]" try ("[1]\[0]" functor)]
      [parser
-      ["." environment]
-      ["<.>" xml]]
+      ["[0]" environment]
+      ["<[0]>" xml]]
      [concurrency
-      ["." async]]]
+      ["[0]" async]]]
     [data
-     ["." text ("#\." equivalence)]
+     ["[0]" text ("[1]\[0]" equivalence)]
      [collection
-      ["." list]]]
+      ["[0]" list]]]
     [macro
-     ["." code]]
+     ["[0]" code]]
     [math
-     ["." random {"+" [Random]} ("#\." monad)]
+     ["[0]" random {"+" [Random]} ("[1]\[0]" monad)]
      [number
       ["n" nat]]]
-    ["." time
-     ["." date]
-     ["." year]
-     ["." month]
-     ["." instant {"+" [Instant]}]
-     ["." duration]]
+    ["[0]" time
+     ["[0]" date]
+     ["[0]" year]
+     ["[0]" month]
+     ["[0]" instant {"+" [Instant]}]
+     ["[0]" duration]]
     [world
-     ["." file]
-     ["." program]]]]
-  ["$." /// "_"
-   ["#." artifact
-    ["#/." type]
-    ["#/." time]
-    ["#/." snapshot "_"
-     ["#/." version]]]]
+     ["[0]" file]
+     ["[0]" program]]]]
+  ["$[0]" /// "_"
+   ["[1][0]" artifact
+    ["[1]/[0]" type]
+    ["[1]/[0]" time]
+    ["[1]/[0]" snapshot "_"
+     ["[1]/[0]" version]]]]
   [\\program
-   ["." /
-    ["/#" //
-     ["/#" // "_"
+   ["[0]" /
+    ["/[1]" //
+     ["/[1]" // "_"
       [artifact
        [versioning {"+" [Versioning]}]
-       ["#." snapshot]]
-      ["#." repository "_"
-       ["#/." local]]]]]])
+       ["[1][0]" snapshot]]
+      ["[1][0]" repository "_"
+       ["[1]/[0]" local]]]]]])
 
 (def: random_instant
   (Random Instant)
diff --git a/stdlib/source/test/aedifex/package.lux b/stdlib/source/test/aedifex/package.lux
index a7bc7d00a..61153b8ad 100644
--- a/stdlib/source/test/aedifex/package.lux
+++ b/stdlib/source/test/aedifex/package.lux
@@ -5,40 +5,40 @@
     [abstract
      [monad {"+" [do]}]
      [\\specification
-      ["$." equivalence]]]
+      ["$[0]" equivalence]]]
     [control
-     ["." try]]
+     ["[0]" try]]
     [data
-     ["." product]
-     ["." text
+     ["[0]" product]
+     ["[0]" text
       [encoding
-       ["." utf8]]]
+       ["[0]" utf8]]]
      [format
-      ["." xml {"+" [XML]}]]
+      ["[0]" xml {"+" [XML]}]]
      [collection
-      ["." set {"+" [Set]}]]]
+      ["[0]" set {"+" [Set]}]]]
     [math
-     ["." random {"+" [Random]}]
+     ["[0]" random {"+" [Random]}]
      [number
       ["n" nat]]]
     [world
-     ["." file]]]]
+     ["[0]" file]]]]
   [//
-   ["$." profile]
+   ["$[0]" profile]
    [//
     [lux
      [data
-      ["$." binary]]]]]
+      ["$[0]" binary]]]]]
   [\\program
-   ["." /
-    ["/#" // "_"
-     ["#" profile]
-     ["#." hash ("#\." equivalence)]
-     ["#." pom]
+   ["[0]" /
+    ["/[1]" // "_"
+     ["[1]" profile]
+     ["[1][0]" hash ("[1]\[0]" equivalence)]
+     ["[1][0]" pom]
      [dependency
-      ["#." status]]
+      ["[1][0]" status]]
      [repository
-      ["#." origin]]]]])
+      ["[1][0]" origin]]]]])
 
 (def: .public random
   (Random [//.Profile /.Package])
diff --git a/stdlib/source/test/aedifex/parser.lux b/stdlib/source/test/aedifex/parser.lux
index 1d8c6c1b4..1152a1dba 100644
--- a/stdlib/source/test/aedifex/parser.lux
+++ b/stdlib/source/test/aedifex/parser.lux
@@ -7,31 +7,31 @@
      [hash {"+" [Hash]}]]
     [control
      [pipe {"+" [case>]}]
-     ["." try]
+     ["[0]" try]
      [parser
-      ["<.>" code]]]
+      ["<[0]>" code]]]
     [data
-     ["." text]
+     ["[0]" text]
      [collection
-      ["." set {"+" [Set]}]
-      ["." dictionary {"+" [Dictionary]}]
-      ["." list ("#\." functor)]]]
+      ["[0]" set {"+" [Set]}]
+      ["[0]" dictionary {"+" [Dictionary]}]
+      ["[0]" list ("[1]\[0]" functor)]]]
     [math
-     ["." random {"+" [Random]}]
+     ["[0]" random {"+" [Random]}]
      [number
       ["n" nat]]]
     [macro
-     ["." code]]]]
+     ["[0]" code]]]]
   [//
-   ["@." profile]]
+   ["@[0]" profile]]
   [\\program
-   ["." /
-    ["/#" // "_"
-     ["#" profile]
-     ["#." project {"+" [Project]}]
-     ["#." artifact {"+" [Artifact]}]
-     ["#." dependency {"+" [Dependency]}]
-     ["#." format]]]])
+   ["[0]" /
+    ["/[1]" // "_"
+     ["[1]" profile]
+     ["[1][0]" project {"+" [Project]}]
+     ["[1][0]" artifact {"+" [Artifact]}]
+     ["[1][0]" dependency {"+" [Dependency]}]
+     ["[1][0]" format]]]])
 
 (def: name
   (Random //.Name)
diff --git a/stdlib/source/test/aedifex/pom.lux b/stdlib/source/test/aedifex/pom.lux
index f53bb2404..92f13bd4f 100644
--- a/stdlib/source/test/aedifex/pom.lux
+++ b/stdlib/source/test/aedifex/pom.lux
@@ -5,22 +5,22 @@
     [abstract
      [monad {"+" [do]}]]
     [control
-     ["." try]
-     ["." exception]
+     ["[0]" try]
+     ["[0]" exception]
      ["<>" parser
-      ["<.>" xml]]]
+      ["<[0]>" xml]]]
     [data
-     ["." text ("#\." equivalence)]
+     ["[0]" text ("[1]\[0]" equivalence)]
      [format
-      ["." xml]]]
+      ["[0]" xml]]]
     [math
-     ["." random]]]]
+     ["[0]" random]]]]
   [//
-   ["@." profile]]
+   ["@[0]" profile]]
   [\\program
-   ["." /
-    ["/#" // "_"
-     ["#" profile]]]])
+   ["[0]" /
+    ["/[1]" // "_"
+     ["[1]" profile]]]])
 
 (def: .public test
   Test
diff --git a/stdlib/source/test/aedifex/profile.lux b/stdlib/source/test/aedifex/profile.lux
index 728971bbf..7a0bcb279 100644
--- a/stdlib/source/test/aedifex/profile.lux
+++ b/stdlib/source/test/aedifex/profile.lux
@@ -6,31 +6,31 @@
      [monad {"+" [do]}]
      [hash {"+" [Hash]}]
      [\\specification
-      ["$." equivalence]
-      ["$." monoid]]]
+      ["$[0]" equivalence]
+      ["$[0]" monoid]]]
     [control
      [pipe {"+" [case>]}]
-     ["." try]
+     ["[0]" try]
      [parser
-      ["." cli]]]
+      ["[0]" cli]]]
     [data
-     ["." text ("#\." equivalence)]
+     ["[0]" text ("[1]\[0]" equivalence)]
      [collection
-      ["." set {"+" [Set]}]
-      ["." dictionary {"+" [Dictionary]}]]]
+      ["[0]" set {"+" [Set]}]
+      ["[0]" dictionary {"+" [Dictionary]}]]]
     [math
-     ["." random {"+" [Random]} ("#\." monad)]
+     ["[0]" random {"+" [Random]} ("[1]\[0]" monad)]
      [number
       ["n" nat]]]]]
   [//
-   ["@." artifact]
-   ["@." dependency]]
+   ["@[0]" artifact]
+   ["@[0]" dependency]]
   [\\program
-   ["." /
-    ["/#" // "_"
-     ["#." runtime]
-     ["#." dependency {"+" [Dependency]}]
-     ["#." format]
+   ["[0]" /
+    ["/[1]" // "_"
+     ["[1][0]" runtime]
+     ["[1][0]" dependency {"+" [Dependency]}]
+     ["[1][0]" format]
      [repository
       [remote {"+" [Address]}]]]]])
 
diff --git a/stdlib/source/test/aedifex/project.lux b/stdlib/source/test/aedifex/project.lux
index 2e7eab542..94e61bd7c 100644
--- a/stdlib/source/test/aedifex/project.lux
+++ b/stdlib/source/test/aedifex/project.lux
@@ -5,24 +5,24 @@
     [abstract
      [monad {"+" [do]}]
      [\\specification
-      ["$." equivalence]
-      ["$." monoid]]]
+      ["$[0]" equivalence]
+      ["$[0]" monoid]]]
     [control
-     ["." try ("#\." functor)]
-     ["." exception]]
+     ["[0]" try ("[1]\[0]" functor)]
+     ["[0]" exception]]
     [data
-     ["." product]
-     ["." text ("#\." equivalence)]]
+     ["[0]" product]
+     ["[0]" text ("[1]\[0]" equivalence)]]
     [math
-     ["." random {"+" [Random]} ("#\." monad)]
+     ["[0]" random {"+" [Random]} ("[1]\[0]" monad)]
      [number
       ["n" nat]]]]]
   [//
-   ["@." profile]]
+   ["@[0]" profile]]
   [\\program
-   ["." /
-    ["/#" // "_"
-     ["#" profile]]]])
+   ["[0]" /
+    ["/[1]" // "_"
+     ["[1]" profile]]]])
 
 (def: profile
   (Random [//.Name //.Profile])
diff --git a/stdlib/source/test/aedifex/repository.lux b/stdlib/source/test/aedifex/repository.lux
index 9412b5fd5..7958dc7bb 100644
--- a/stdlib/source/test/aedifex/repository.lux
+++ b/stdlib/source/test/aedifex/repository.lux
@@ -5,38 +5,38 @@
     [abstract
      [equivalence {"+" [Equivalence]}]
      [hash {"+" [Hash]}]
-     ["." monad {"+" [do]}]]
+     ["[0]" monad {"+" [do]}]]
     [control
-     ["." io]
-     ["." try]
-     ["." exception {"+" [exception:]}]]
+     ["[0]" io]
+     ["[0]" try]
+     ["[0]" exception {"+" [exception:]}]]
     [data
-     ["." product]
-     ["." binary {"+" [Binary]}]
-     ["." text
+     ["[0]" product]
+     ["[0]" binary {"+" [Binary]}]
+     ["[0]" text
       ["%" format {"+" [format]}]]
      [collection
-      ["." dictionary {"+" [Dictionary]}]]]
+      ["[0]" dictionary {"+" [Dictionary]}]]]
     [math
-     ["." random {"+" [Random]}]]
+     ["[0]" random {"+" [Random]}]]
     [world
      [net
-      ["." uri {"+" [URI]}]]]]]
-  ["." / "_"
-   ["#." identity]
-   ["#." origin]
-   ["#." local]
-   ["#." remote]
+      ["[0]" uri {"+" [URI]}]]]]]
+  ["[0]" / "_"
+   ["[1][0]" identity]
+   ["[1][0]" origin]
+   ["[1][0]" local]
+   ["[1][0]" remote]
    [//
-    ["@." artifact]]]
+    ["@[0]" artifact]]]
   [\\specification
-   ["$." /]]
+   ["$[0]" /]]
   [\\program
-   ["." /
-    ["." remote]
-    ["/#" // "_"
-     ["#." artifact {"+" [Version Artifact]}
-      ["#/." extension {"+" [Extension]}]]]]])
+   ["[0]" /
+    ["[0]" remote]
+    ["/[1]" // "_"
+     ["[1][0]" artifact {"+" [Version Artifact]}
+      ["[1]/[0]" extension {"+" [Extension]}]]]]])
 
 (def: artifact
   (-> Version Artifact)
diff --git a/stdlib/source/test/aedifex/repository/identity.lux b/stdlib/source/test/aedifex/repository/identity.lux
index 045136c43..971e18a4b 100644
--- a/stdlib/source/test/aedifex/repository/identity.lux
+++ b/stdlib/source/test/aedifex/repository/identity.lux
@@ -4,11 +4,11 @@
     ["_" test {"+" [Test]}]
     [abstract
      [\\specification
-      ["$." equivalence]]]
+      ["$[0]" equivalence]]]
     [math
-     ["." random {"+" [Random]}]]]]
+     ["[0]" random {"+" [Random]}]]]]
   [\\program
-   ["." /]])
+   ["[0]" /]])
 
 (def: .public random
   (Random /.Identity)
diff --git a/stdlib/source/test/aedifex/repository/local.lux b/stdlib/source/test/aedifex/repository/local.lux
index 135e10867..03c64b69a 100644
--- a/stdlib/source/test/aedifex/repository/local.lux
+++ b/stdlib/source/test/aedifex/repository/local.lux
@@ -5,23 +5,23 @@
     [abstract
      [monad {"+" [do]}]]
     [control
-     ["." try ("#\." functor)]
+     ["[0]" try ("[1]\[0]" functor)]
      [parser
-      ["." environment]]
+      ["[0]" environment]]
      [concurrency
-      ["." async]]]
+      ["[0]" async]]]
     [data
-     ["." binary ("#\." equivalence)]
+     ["[0]" binary ("[1]\[0]" equivalence)]
      [text
       [encoding
-       ["." utf8]]]]
+       ["[0]" utf8]]]]
     [math
-     ["." random]]
+     ["[0]" random]]
     [world
-     ["." file]
-     ["." program]]]]
+     ["[0]" file]
+     ["[0]" program]]]]
   [\\program
-   ["." /]])
+   ["[0]" /]])
 
 (def: .public test
   Test
diff --git a/stdlib/source/test/aedifex/repository/origin.lux b/stdlib/source/test/aedifex/repository/origin.lux
index 6567471a1..f160df2e3 100644
--- a/stdlib/source/test/aedifex/repository/origin.lux
+++ b/stdlib/source/test/aedifex/repository/origin.lux
@@ -4,11 +4,11 @@
     ["_" test {"+" [Test]}]
     [abstract
      [\\specification
-      ["$." equivalence]]]
+      ["$[0]" equivalence]]]
     [math
-     ["." random {"+" [Random]}]]]]
+     ["[0]" random {"+" [Random]}]]]]
   [\\program
-   ["." /]])
+   ["[0]" /]])
 
 (def: .public random
   (Random /.Origin)
diff --git a/stdlib/source/test/aedifex/repository/remote.lux b/stdlib/source/test/aedifex/repository/remote.lux
index dfdbe03c5..9e405ddc5 100644
--- a/stdlib/source/test/aedifex/repository/remote.lux
+++ b/stdlib/source/test/aedifex/repository/remote.lux
@@ -5,31 +5,31 @@
     [abstract
      [monad {"+" [do]}]]
     [control
-     ["." io {"+" [IO]}]
-     ["." maybe ("#\." functor)]
-     ["." try ("#\." monad)]
-     ["." exception]
-     ["." function]]
+     ["[0]" io {"+" [IO]}]
+     ["[0]" maybe ("[1]\[0]" functor)]
+     ["[0]" try ("[1]\[0]" monad)]
+     ["[0]" exception]
+     ["[0]" function]]
     [data
-     ["." binary ("#\." equivalence)]
-     ["." text ("#\." equivalence)
+     ["[0]" binary ("[1]\[0]" equivalence)]
+     ["[0]" text ("[1]\[0]" equivalence)
       ["%" format {"+" [format]}]
       [encoding
-       ["." utf8]]]
+       ["[0]" utf8]]]
      [collection
-      ["." dictionary]]]
+      ["[0]" dictionary]]]
     [math
-     ["." random {"+" [Random]}]]
+     ["[0]" random {"+" [Random]}]]
     [world
      [net {"+" [URL]}
-      ["." http "_"
-       ["#" client]
-       ["#/." status]
-       ["@#" /]]]]]]
+      ["[0]" http "_"
+       ["[1]" client]
+       ["[1]/[0]" status]
+       ["@[1]" /]]]]]]
   [\\program
-   ["." /
-    ["/#" // "_"
-     ["#." identity]]]])
+   ["[0]" /
+    ["/[1]" // "_"
+     ["[1][0]" identity]]]])
 
 (def: (url_body url)
   (-> URL (@http.Body IO))
diff --git a/stdlib/source/test/aedifex/runtime.lux b/stdlib/source/test/aedifex/runtime.lux
index 4653f7c11..0e5b72b01 100644
--- a/stdlib/source/test/aedifex/runtime.lux
+++ b/stdlib/source/test/aedifex/runtime.lux
@@ -5,20 +5,20 @@
     [abstract
      [monad {"+" [do]}]
      [\\specification
-      ["$." equivalence]]]
+      ["$[0]" equivalence]]]
     [control
-     ["." maybe ("#\." functor)]]
+     ["[0]" maybe ("[1]\[0]" functor)]]
     [data
-     ["." text ("#\." equivalence)]
+     ["[0]" text ("[1]\[0]" equivalence)]
      [collection
-      ["." list ("#\." functor)]
-      ["." set]]]
+      ["[0]" list ("[1]\[0]" functor)]
+      ["[0]" set]]]
     [math
-     ["." random {"+" [Random]} ("#\." monad)]
+     ["[0]" random {"+" [Random]} ("[1]\[0]" monad)]
      [number
       ["n" nat]]]]]
   [\\program
-   ["." /]])
+   ["[0]" /]])
 
 (def: .public random
   (Random /.Runtime)