De-taggification | part 4

12 files changed, 96 insertions, 96 deletions

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)