De-taggification | part 4

5 files changed, 33 insertions, 33 deletions

diff --git a/stdlib/source/program/aedifex/artifact/snapshot/build.lux b/stdlib/source/program/aedifex/artifact/snapshot/build.lux
index 3afdf31b1..a7e9e2fc8 100644
--- a/stdlib/source/program/aedifex/artifact/snapshot/build.lux
+++ b/stdlib/source/program/aedifex/artifact/snapshot/build.lux
@@ -6,16 +6,16 @@
      [monad {"+" [do]}]]
     [control
      ["<>" parser
-      ["<.>" xml {"+" [Parser]}]
-      ["<.>" text]]]
+      ["<[0]>" xml {"+" [Parser]}]
+      ["<[0]>" text]]]
     [data
      [text
       ["%" format]]
      [format
-      ["." xml {"+" [XML]}]]]
+      ["[0]" xml {"+" [XML]}]]]
     [math
      [number
-      ["." nat]]]]])
+      ["[0]" nat]]]]])
 
 (type: .public Build
   Nat)
diff --git a/stdlib/source/program/aedifex/artifact/snapshot/stamp.lux b/stdlib/source/program/aedifex/artifact/snapshot/stamp.lux
index 8d57034ef..0a951c097 100644
--- a/stdlib/source/program/aedifex/artifact/snapshot/stamp.lux
+++ b/stdlib/source/program/aedifex/artifact/snapshot/stamp.lux
@@ -6,15 +6,15 @@
      [monad {"+" [do]}]]
     [control
      ["<>" parser
-      ["<.>" xml {"+" [Parser]}]
-      ["<.>" text]]]
+      ["<[0]>" xml {"+" [Parser]}]
+      ["<[0]>" text]]]
     [data
-     ["." product]
+     ["[0]" product]
      [format
-      ["." xml {"+" [XML]}]]]]]
-  ["." // "_"
-   ["#." time {"+" [Time]}]
-   ["#." build {"+" [Build]}]])
+      ["[0]" xml {"+" [XML]}]]]]]
+  ["[0]" // "_"
+   ["[1][0]" time {"+" [Time]}]
+   ["[1][0]" build {"+" [Build]}]])
 
 (type: .public Stamp
   (Record
diff --git a/stdlib/source/program/aedifex/artifact/snapshot/time.lux b/stdlib/source/program/aedifex/artifact/snapshot/time.lux
index ab62308b2..0b0bb8227 100644
--- a/stdlib/source/program/aedifex/artifact/snapshot/time.lux
+++ b/stdlib/source/program/aedifex/artifact/snapshot/time.lux
@@ -5,21 +5,21 @@
      [equivalence {"+" [Equivalence]}]
      [monad {"+" [do]}]]
     [control
-     ["." exception {"+" [exception:]}]
+     ["[0]" exception {"+" [exception:]}]
      ["<>" parser
-      ["<.>" text]
-      ["<.>" xml {"+" [Parser]}]]]
+      ["<[0]>" text]
+      ["<[0]>" xml {"+" [Parser]}]]]
     [data
      [text
       ["%" format]]
      [format
-      ["." xml {"+" [XML]}]]]
+      ["[0]" xml {"+" [XML]}]]]
     [time
-     ["." instant {"+" [Instant]}]]]]
-  ["." /// "_"
-   ["#." time
-    ["#/." date]
-    ["#/." time]]])
+     ["[0]" instant {"+" [Instant]}]]]]
+  ["[0]" /// "_"
+   ["[1][0]" time
+    ["[1]/[0]" date]
+    ["[1]/[0]" time]]])
 
 (type: .public Time
   ///time.Time)
diff --git a/stdlib/source/program/aedifex/artifact/snapshot/version.lux b/stdlib/source/program/aedifex/artifact/snapshot/version.lux
index ff3017838..33238b990 100644
--- a/stdlib/source/program/aedifex/artifact/snapshot/version.lux
+++ b/stdlib/source/program/aedifex/artifact/snapshot/version.lux
@@ -6,16 +6,16 @@
      [monad {"+" [do]}]]
     [control
      ["<>" parser
-      ["<.>" xml {"+" [Parser]}]
-      ["<.>" text]]]
+      ["<[0]>" xml {"+" [Parser]}]
+      ["<[0]>" text]]]
     [data
-     ["." product]
-     ["." text]
+     ["[0]" product]
+     ["[0]" text]
      [format
-      ["." xml {"+" [XML]}]]]]]
-  ["." /// "_"
-   ["#." type {"+" [Type]}]
-   ["#." time {"+" [Time]}]])
+      ["[0]" xml {"+" [XML]}]]]]]
+  ["[0]" /// "_"
+   ["[1][0]" type {"+" [Type]}]
+   ["[1][0]" time {"+" [Time]}]])
 
 (type: .public Version
   (Record
diff --git a/stdlib/source/program/aedifex/artifact/snapshot/version/value.lux b/stdlib/source/program/aedifex/artifact/snapshot/version/value.lux
index eff775ab3..dc3744f4f 100644
--- a/stdlib/source/program/aedifex/artifact/snapshot/version/value.lux
+++ b/stdlib/source/program/aedifex/artifact/snapshot/version/value.lux
@@ -4,12 +4,12 @@
     [abstract
      [equivalence {"+" [Equivalence]}]]
     [data
-     ["." product]
-     ["." text
+     ["[0]" product]
+     ["[0]" text
       ["%" format]]]]]
-  ["." /// {"+" [Snapshot]}
-   ["#." time]
-   ["#." stamp]])
+  ["[0]" /// {"+" [Snapshot]}
+   ["[1][0]" time]
+   ["[1][0]" stamp]])
 
 (type: .public Value
   (Record