De-taggification | part 4

11 files changed, 89 insertions, 89 deletions

diff --git a/stdlib/source/library/lux/macro/code.lux b/stdlib/source/library/lux/macro/code.lux
index fb4b6498e..f266c5642 100644
--- a/stdlib/source/library/lux/macro/code.lux
+++ b/stdlib/source/library/lux/macro/code.lux
@@ -4,20 +4,20 @@
     [abstract
      [equivalence {"+" [Equivalence]}]]
     [data
-     ["." product]
-     ["." bit]
-     ["." name]
-     ["." text ("#\." monoid equivalence)]
+     ["[0]" product]
+     ["[0]" bit]
+     ["[0]" name]
+     ["[0]" text ("[1]\[0]" monoid equivalence)]
      [collection
-      ["." list ("#\." functor mix)]]]
+      ["[0]" list ("[1]\[0]" functor mix)]]]
     [math
      [number
-      ["." nat]
-      ["." int]
-      ["." rev]
-      ["." frac]]]
+      ["[0]" nat]
+      ["[0]" int]
+      ["[0]" rev]
+      ["[0]" frac]]]
     [meta
-     ["." location]]]])
+     ["[0]" location]]]])
 
 ... (type: (Code' w)
 ...   (#.Bit Bit)
diff --git a/stdlib/source/library/lux/macro/local.lux b/stdlib/source/library/lux/macro/local.lux
index c4e134336..683926d3f 100644
--- a/stdlib/source/library/lux/macro/local.lux
+++ b/stdlib/source/library/lux/macro/local.lux
@@ -1,21 +1,21 @@
 (.module:
   [library
    [lux "*"
-    ["." meta]
+    ["[0]" meta]
     [abstract
-     ["." monad {"+" [do]}]]
+     ["[0]" monad {"+" [do]}]]
     [control
-     ["." try {"+" [Try]}]
-     ["." exception {"+" [exception:]}]]
+     ["[0]" try {"+" [Try]}]
+     ["[0]" exception {"+" [exception:]}]]
     [data
-     ["." product]
-     ["." text]
+     ["[0]" product]
+     ["[0]" text]
      [collection
-      ["." list ("#\." functor)]
+      ["[0]" list ("[1]\[0]" functor)]
       [dictionary
-       ["." plist {"+" [PList]}]]]]]]
-  ["." //
-   ["#." code]])
+       ["[0]" plist {"+" [PList]}]]]]]]
+  ["[0]" //
+   ["[1][0]" code]])
 
 (exception: .public (unknown_module {module Text})
   (exception.report
diff --git a/stdlib/source/library/lux/macro/syntax.lux b/stdlib/source/library/lux/macro/syntax.lux
index ca06801ea..8d06987e0 100644
--- a/stdlib/source/library/lux/macro/syntax.lux
+++ b/stdlib/source/library/lux/macro/syntax.lux
@@ -1,27 +1,27 @@
 (.module:
   [library
    [lux "*"
-    ["." macro {"+" [with_identifiers]}]
-    ["." meta]
+    ["[0]" macro {"+" [with_identifiers]}]
+    ["[0]" meta]
     [abstract
-     ["." monad {"+" [do]}]]
+     ["[0]" monad {"+" [do]}]]
     [control
-     ["." maybe]
-     ["." try]
+     ["[0]" maybe]
+     ["[0]" try]
      ["<>" parser
       ["</>" code {"+" [Parser]}]]]
     [data
-     ["." text ("#\." monoid)]
+     ["[0]" text ("[1]\[0]" monoid)]
      [collection
-      ["." list ("#\." functor)]]]
+      ["[0]" list ("[1]\[0]" functor)]]]
     [math
      [number
-      ["." nat]
-      ["." int]
-      ["." rev]
-      ["." frac]]]]]
+      ["[0]" nat]
+      ["[0]" int]
+      ["[0]" rev]
+      ["[0]" frac]]]]]
   [//
-   ["." code]])
+   ["[0]" code]])
 
 (def: (self_documenting binding parser)
   (All (_ a) (-> Code (Parser a) (Parser a)))
diff --git a/stdlib/source/library/lux/macro/syntax/annotations.lux b/stdlib/source/library/lux/macro/syntax/annotations.lux
index 89a45ddf6..6366f725f 100644
--- a/stdlib/source/library/lux/macro/syntax/annotations.lux
+++ b/stdlib/source/library/lux/macro/syntax/annotations.lux
@@ -4,16 +4,16 @@
     [abstract
      [equivalence {"+" [Equivalence]}]]
     [control
-     ["." function]
+     ["[0]" function]
      ["<>" parser
-      ["<.>" code {"+" [Parser]}]]]
+      ["<[0]>" code {"+" [Parser]}]]]
     [data
-     ["." product]
-     ["." name]
+     ["[0]" product]
+     ["[0]" name]
      [collection
-      ["." list ("#\." functor)]]]
+      ["[0]" list ("[1]\[0]" functor)]]]
     [macro
-     ["." code]]]])
+     ["[0]" code]]]])
 
 (type: .public Annotations
   (List [Name Code]))
diff --git a/stdlib/source/library/lux/macro/syntax/check.lux b/stdlib/source/library/lux/macro/syntax/check.lux
index 750ac56d2..54558b914 100644
--- a/stdlib/source/library/lux/macro/syntax/check.lux
+++ b/stdlib/source/library/lux/macro/syntax/check.lux
@@ -1,18 +1,18 @@
 (.module:
   [library
    [lux "*"
-    ["." meta]
+    ["[0]" meta]
     [abstract
      [equivalence {"+" [Equivalence]}]
      [monad {"+" [do]}]]
     [control
-     ["." exception {"+" [exception:]}]
+     ["[0]" exception {"+" [exception:]}]
      ["<>" parser
-      ["<.>" code {"+" [Parser]}]]]
+      ["<[0]>" code {"+" [Parser]}]]]
     [data
-     ["." product]]
+     ["[0]" product]]
     [macro
-     ["." code]]]])
+     ["[0]" code]]]])
 
 (def: extension
   "lux check")
diff --git a/stdlib/source/library/lux/macro/syntax/declaration.lux b/stdlib/source/library/lux/macro/syntax/declaration.lux
index b2d81ff4d..db8d135ca 100644
--- a/stdlib/source/library/lux/macro/syntax/declaration.lux
+++ b/stdlib/source/library/lux/macro/syntax/declaration.lux
@@ -4,15 +4,15 @@
     [abstract
      [equivalence {"+" [Equivalence]}]]
     [control
-     ["<>" parser ("#\." monad)
-      ["<.>" code {"+" [Parser]}]]]
+     ["<>" parser ("[1]\[0]" monad)
+      ["<[0]>" code {"+" [Parser]}]]]
     [data
-     ["." product]
-     ["." text]
+     ["[0]" product]
+     ["[0]" text]
      [collection
-      ["." list ("#\." functor)]]]
+      ["[0]" list ("[1]\[0]" functor)]]]
     [macro
-     ["." code]]]])
+     ["[0]" code]]]])
 
 (type: .public Declaration
   (Record
diff --git a/stdlib/source/library/lux/macro/syntax/definition.lux b/stdlib/source/library/lux/macro/syntax/definition.lux
index 2fcef6e2b..ac65e7357 100644
--- a/stdlib/source/library/lux/macro/syntax/definition.lux
+++ b/stdlib/source/library/lux/macro/syntax/definition.lux
@@ -5,25 +5,25 @@
      [equivalence {"+" [Equivalence]}]
      [monad {"+" [do]}]]
     [control
-     ["." exception {"+" [exception:]}]
+     ["[0]" exception {"+" [exception:]}]
      ["<>" parser
-      ["<.>" code {"+" [Parser]}]]]
+      ["<[0]>" code {"+" [Parser]}]]]
     [data
-     ["." sum]
-     ["." product]
-     ["." bit]
-     ["." name]
-     ["." text
+     ["[0]" sum]
+     ["[0]" product]
+     ["[0]" bit]
+     ["[0]" name]
+     ["[0]" text
       ["%" format]]
      [collection
-      ["." list]]]
-    ["." macro
-     ["." code]]
-    ["." meta
-     ["." location]]]]
-  ["." //
-   ["#." annotations {"+" [Annotations]}]
-   ["#." check {"+" [Check]}]])
+      ["[0]" list]]]
+    ["[0]" macro
+     ["[0]" code]]
+    ["[0]" meta
+     ["[0]" location]]]]
+  ["[0]" //
+   ["[1][0]" annotations {"+" [Annotations]}]
+   ["[1][0]" check {"+" [Check]}]])
 
 (type: .public Definition
   (Record
diff --git a/stdlib/source/library/lux/macro/syntax/export.lux b/stdlib/source/library/lux/macro/syntax/export.lux
index 2ea86c378..164032dcb 100644
--- a/stdlib/source/library/lux/macro/syntax/export.lux
+++ b/stdlib/source/library/lux/macro/syntax/export.lux
@@ -2,8 +2,8 @@
   [library
    [lux "*"
     [control
-     ["<>" parser ("#\." monad)
-      ["<.>" code {"+" [Parser]}]]]]])
+     ["<>" parser ("[1]\[0]" monad)
+      ["<[0]>" code {"+" [Parser]}]]]]])
 
 (def: .public default_policy
   Code
diff --git a/stdlib/source/library/lux/macro/syntax/input.lux b/stdlib/source/library/lux/macro/syntax/input.lux
index 81cd983d1..b7ff83a59 100644
--- a/stdlib/source/library/lux/macro/syntax/input.lux
+++ b/stdlib/source/library/lux/macro/syntax/input.lux
@@ -5,11 +5,11 @@
      [equivalence {"+" [Equivalence]}]]
     [control
      ["<>" parser
-      ["<.>" code {"+" [Parser]}]]]
+      ["<[0]>" code {"+" [Parser]}]]]
     [data
-     ["." product]]
+     ["[0]" product]]
     [macro
-     ["." code]]]])
+     ["[0]" code]]]])
 
 (type: .public Input
   (Record
diff --git a/stdlib/source/library/lux/macro/syntax/type/variable.lux b/stdlib/source/library/lux/macro/syntax/type/variable.lux
index b079e3485..fbbac219f 100644
--- a/stdlib/source/library/lux/macro/syntax/type/variable.lux
+++ b/stdlib/source/library/lux/macro/syntax/type/variable.lux
@@ -5,11 +5,11 @@
      [equivalence {"+" [Equivalence]}]]
     [control
      [parser
-      ["<.>" code {"+" [Parser]}]]]
+      ["<[0]>" code {"+" [Parser]}]]]
     [data
-     ["." text]]
+     ["[0]" text]]
     [macro
-     ["." code]]]])
+     ["[0]" code]]]])
 
 (type: .public Variable
   Text)
diff --git a/stdlib/source/library/lux/macro/template.lux b/stdlib/source/library/lux/macro/template.lux
index 2c51b4963..cef131e88 100644
--- a/stdlib/source/library/lux/macro/template.lux
+++ b/stdlib/source/library/lux/macro/template.lux
@@ -1,30 +1,30 @@
 (.module:
   [library
    [lux {"-" [let local macro]}
-    ["." meta]
+    ["[0]" meta]
     [abstract
-     ["." monad {"+" [do]}]]
+     ["[0]" monad {"+" [do]}]]
     [control
-     ["." try {"+" [Try]}]
-     ["." exception {"+" [exception:]}]
-     ["<>" parser ("#\." functor)
-      ["<.>" code {"+" [Parser]}]]]
+     ["[0]" try {"+" [Try]}]
+     ["[0]" exception {"+" [exception:]}]
+     ["<>" parser ("[1]\[0]" functor)
+      ["<[0]>" code {"+" [Parser]}]]]
     [data
-     ["." bit ("#\." codec)]
-     ["." text]
+     ["[0]" bit ("[1]\[0]" codec)]
+     ["[0]" text]
      [collection
-      ["." list ("#\." monad)]
-      ["." dictionary {"+" [Dictionary]}]]]
+      ["[0]" list ("[1]\[0]" monad)]
+      ["[0]" dictionary {"+" [Dictionary]}]]]
     [math
      [number
-      ["." nat ("#\." decimal)]
-      ["." int ("#\." decimal)]
-      ["." rev ("#\." decimal)]
-      ["." frac ("#\." decimal)]]]]]
-  ["." //
+      ["[0]" nat ("[1]\[0]" decimal)]
+      ["[0]" int ("[1]\[0]" decimal)]
+      ["[0]" rev ("[1]\[0]" decimal)]
+      ["[0]" frac ("[1]\[0]" decimal)]]]]]
+  ["[0]" //
    [syntax {"+" [syntax:]}]
-   ["." code]
-   ["." local]])
+   ["[0]" code]
+   ["[0]" local]])
 
 (syntax: .public (spliced [parts (<code>.tuple (<>.some <code>.any))])
   (in parts))