De-taggification | part 4

9 files changed, 75 insertions, 75 deletions

diff --git a/stdlib/source/specification/compositor.lux b/stdlib/source/specification/compositor.lux
index d8d1a718c..a2569f334 100644
--- a/stdlib/source/specification/compositor.lux
+++ b/stdlib/source/specification/compositor.lux
@@ -4,30 +4,30 @@
    [abstract
     [monad {"+" [do]}]]
    [control
-    ["." io {"+" [IO]}]
-    ["." try]]
+    ["[0]" io {"+" [IO]}]
+    ["[0]" try]]
    [math
     ["r" random]]
    [tool
     [compiler
-     ["." analysis]
-     ["." directive]
+     ["[0]" analysis]
+     ["[0]" directive]
      [phase
       [macro {"+" [Expander]}]
       [generation {"+" [Bundle]}]]
      [default
       [platform {"+" [Platform]}]]]]]
-  ["." / "_"
-   ["#." common {"+" [Runner Definer]}]
-   ["#./" analysis "_"
-    ["#." type]]
-   ["#./" generation "_"
-    ["#." primitive]
-    ["#." structure]
-    ["#." reference]
-    ["#." case]
-    ["#." function]
-    ["#." common]]])
+  ["[0]" / "_"
+   ["[1][0]" common {"+" [Runner Definer]}]
+   ["[1]./" analysis "_"
+    ["[1][0]" type]]
+   ["[1]./" generation "_"
+    ["[1][0]" primitive]
+    ["[1][0]" structure]
+    ["[1][0]" reference]
+    ["[1][0]" case]
+    ["[1][0]" function]
+    ["[1][0]" common]]])
 
 (def: (test runner definer state expander)
   (-> Runner Definer analysis.State+ Expander Test)
diff --git a/stdlib/source/specification/compositor/analysis/type.lux b/stdlib/source/specification/compositor/analysis/type.lux
index 2ad411da0..be7677848 100644
--- a/stdlib/source/specification/compositor/analysis/type.lux
+++ b/stdlib/source/specification/compositor/analysis/type.lux
@@ -5,20 +5,20 @@
     [monad {"+" [do]}]]
    [control
     [pipe {"+" [case>]}]
-    ["." io]
-    ["." try]]
+    ["[0]" io]
+    ["[0]" try]]
    [math
     ["r" random {"+" [Random]}]]
    [macro
-    ["." code]]
+    ["[0]" code]]
    [tool
     [compiler
      [analysis {"+" [State+]}]
-     ["." phase
+     ["[0]" phase
       [macro {"+" [Expander]}]
-      ["." analysis
-       ["#/." scope]
-       ["#/." type]]]]]])
+      ["[0]" analysis
+       ["[1]/[0]" scope]
+       ["[1]/[0]" type]]]]]])
 
 (def: (check_success+ expander state extension params output_type)
   (-> Expander State+ Text (List Code) Type Bit)
diff --git a/stdlib/source/specification/compositor/common.lux b/stdlib/source/specification/compositor/common.lux
index bf1236b3f..31a1675f3 100644
--- a/stdlib/source/specification/compositor/common.lux
+++ b/stdlib/source/specification/compositor/common.lux
@@ -3,21 +3,21 @@
    [abstract
     [monad {"+" [do]}]]
    [control
-    ["." io {"+" [IO]}]
-    ["." try {"+" [Try]}]]
+    ["[0]" io {"+" [IO]}]
+    ["[0]" try {"+" [Try]}]]
    [tool
     [compiler
-     ["." reference]
-     ["." analysis]
-     ["." synthesis {"+" [Synthesis]}]
-     ["." directive]
-     ["." phase
-      ["." macro {"+" [Expander]}]
-      ["." generation {"+" [Operation]}]
+     ["[0]" reference]
+     ["[0]" analysis]
+     ["[0]" synthesis {"+" [Synthesis]}]
+     ["[0]" directive]
+     ["[0]" phase
+      ["[0]" macro {"+" [Expander]}]
+      ["[0]" generation {"+" [Operation]}]
       [extension {"+" [Extender]}
-       ["." bundle]]]
+       ["[0]" bundle]]]
      [default
-      ["." platform {"+" [Platform]}]]]]])
+      ["[0]" platform {"+" [Platform]}]]]]])
 
 (type: .public Runner
   (-> Text Synthesis (Try Any)))
diff --git a/stdlib/source/specification/compositor/generation/case.lux b/stdlib/source/specification/compositor/generation/case.lux
index d71abc703..d699aa74b 100644
--- a/stdlib/source/specification/compositor/generation/case.lux
+++ b/stdlib/source/specification/compositor/generation/case.lux
@@ -5,26 +5,26 @@
     [monad {"+" [do]}]]
    [control
     [pipe {"+" [case>]}]
-    ["." try {"+" [Try]}]]
+    ["[0]" try {"+" [Try]}]]
    [data
-    ["." text ("#\." equivalence)
+    ["[0]" text ("[1]\[0]" equivalence)
      ["%" format {"+" [format]}]]
     [number
      ["n" nat]
      ["f" frac]]
     [collection
-     ["." list ("#\." mix)]]]
+     ["[0]" list ("[1]\[0]" mix)]]]
    [math
     ["r" random {"+" [Random]}]]
    [tool
     [compiler
-     ["." reference]
-     ["." analysis]
-     ["." synthesis {"+" [Path Synthesis]}]
-     ["." phase
-      ["#/." synthesis
-       ["." case]]
-      ["." extension/synthesis]]]]]
+     ["[0]" reference]
+     ["[0]" analysis]
+     ["[0]" synthesis {"+" [Path Synthesis]}]
+     ["[0]" phase
+      ["[1]/[0]" synthesis
+       ["[0]" case]]
+      ["[0]" extension/synthesis]]]]]
   [///
    [common {"+" [Runner]}]])
 
diff --git a/stdlib/source/specification/compositor/generation/common.lux b/stdlib/source/specification/compositor/generation/common.lux
index 917d830b6..c8dd72bf7 100644
--- a/stdlib/source/specification/compositor/generation/common.lux
+++ b/stdlib/source/specification/compositor/generation/common.lux
@@ -5,26 +5,26 @@
     [monad {"+" [do]}]]
    [control
     [pipe {"+" [case>]}]
-    ["." try {"+" [Try]}]]
+    ["[0]" try {"+" [Try]}]]
    [data
-    ["." bit ("#\." equivalence)]
+    ["[0]" bit ("[1]\[0]" equivalence)]
     [number
-     ["." i64]
+     ["[0]" i64]
      ["n" nat]
      ["i" int]
      ["f" frac]]
-    ["." text ("#\." equivalence)
+    ["[0]" text ("[1]\[0]" equivalence)
      ["%" format {"+" [format]}]]
     [collection
-     ["." list]]]
+     ["[0]" list]]]
    [math
     ["r" random {"+" [Random]}]]
    [tool
     [compiler
-     ["." reference]
-     ["." synthesis]]]]
-  ["." // "_"
-   ["#." case]
+     ["[0]" reference]
+     ["[0]" synthesis]]]]
+  ["[0]" // "_"
+   ["[1][0]" case]
    [//
     [common {"+" [Runner]}]]])
 
diff --git a/stdlib/source/specification/compositor/generation/function.lux b/stdlib/source/specification/compositor/generation/function.lux
index f356bce90..1708264a2 100644
--- a/stdlib/source/specification/compositor/generation/function.lux
+++ b/stdlib/source/specification/compositor/generation/function.lux
@@ -3,24 +3,24 @@
    ["_" test {"+" [Test]}]
    [abstract
     [monad {"+" [do]}]
-    ["." enum]]
+    ["[0]" enum]]
    [control
     [pipe {"+" [case>]}]
-    ["." maybe]]
+    ["[0]" maybe]]
    [data
     [number
      ["n" nat]]
     [collection
-     ["." list ("#\." functor)]]]
+     ["[0]" list ("[1]\[0]" functor)]]]
    [math
-    ["r" random {"+" [Random]} ("#\." monad)]]
+    ["r" random {"+" [Random]} ("[1]\[0]" monad)]]
    [tool
     [compiler
      [analysis {"+" [Arity]}]
-     ["." reference {"+" [Register]}]
-     ["." synthesis {"+" [Synthesis]}]]]]
-  ["." // "_"
-   ["#." case]
+     ["[0]" reference {"+" [Register]}]
+     ["[0]" synthesis {"+" [Synthesis]}]]]]
+  ["[0]" // "_"
+   ["[1][0]" case]
    [//
     [common {"+" [Runner]}]]])
 
diff --git a/stdlib/source/specification/compositor/generation/primitive.lux b/stdlib/source/specification/compositor/generation/primitive.lux
index a73ba6f21..ba20601a3 100644
--- a/stdlib/source/specification/compositor/generation/primitive.lux
+++ b/stdlib/source/specification/compositor/generation/primitive.lux
@@ -5,18 +5,18 @@
     [monad {"+" [do]}]]
    [control
     [pipe {"+" [case>]}]
-    ["." try]]
+    ["[0]" try]]
    [data
-    ["." bit ("#\." equivalence)]
+    ["[0]" bit ("[1]\[0]" equivalence)]
     [number
      ["f" frac]]
-    ["." text ("#\." equivalence)
+    ["[0]" text ("[1]\[0]" equivalence)
      ["%" format {"+" [format]}]]]
    [math
     ["r" random]]
    [tool
     [compiler
-     ["." synthesis]]]]
+     ["[0]" synthesis]]]]
   [///
    [common {"+" [Runner]}]])
 
diff --git a/stdlib/source/specification/compositor/generation/reference.lux b/stdlib/source/specification/compositor/generation/reference.lux
index 37aea49fe..ce3c7332a 100644
--- a/stdlib/source/specification/compositor/generation/reference.lux
+++ b/stdlib/source/specification/compositor/generation/reference.lux
@@ -5,15 +5,15 @@
     [monad {"+" [do]}]]
    [control
     [pipe {"+" [case>]}]
-    ["." try]]
+    ["[0]" try]]
    [data
     [number
      ["n" nat]
      ["f" frac]]]
    [tool
     [compiler
-     ["." reference]
-     ["." synthesis]]]
+     ["[0]" reference]
+     ["[0]" synthesis]]]
    [math
     ["r" random {"+" [Random]}]]]
   [///
diff --git a/stdlib/source/specification/compositor/generation/structure.lux b/stdlib/source/specification/compositor/generation/structure.lux
index cd86ecab2..a70e61531 100644
--- a/stdlib/source/specification/compositor/generation/structure.lux
+++ b/stdlib/source/specification/compositor/generation/structure.lux
@@ -5,24 +5,24 @@
     [monad {"+" [do]}]]
    [control
     [pipe {"+" [case>]}]
-    ["." maybe]
-    ["." try]]
+    ["[0]" maybe]
+    ["[0]" try]]
    [data
     [number
      ["n" nat]
      ["i" int]]
-    ["." text ("#\." equivalence)
+    ["[0]" text ("[1]\[0]" equivalence)
      ["%" format {"+" [format]}]]
     [collection
-     ["." array {"+" [Array]}]
-     ["." list ("#\." functor)]]]
+     ["[0]" array {"+" [Array]}]
+     ["[0]" list ("[1]\[0]" functor)]]]
    [math
     ["r" random]]
-   ["." ffi {"+" [import:]}]
+   ["[0]" ffi {"+" [import:]}]
    [tool
     [compiler
-     ["." analysis]
-     ["." synthesis]]]]
+     ["[0]" analysis]
+     ["[0]" synthesis]]]]
   [///
    [common {"+" [Runner]}]])