De-taggification | part 4

13 files changed, 139 insertions, 139 deletions

diff --git a/lux-jvm/source/luxc/lang/translation/jvm/case.lux b/lux-jvm/source/luxc/lang/translation/jvm/case.lux
index b8ef09945..a6d0a725f 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/case.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/case.lux
@@ -2,38 +2,38 @@
   [library
    [lux {"-" [Type Label if let case]}
     [abstract
-     ["." monad {"+" [do]}]]
+     ["[0]" monad {"+" [do]}]]
     [control
-     ["." function]
+     ["[0]" function]
      ["ex" exception {"+" [exception:]}]]
     [data
      [collection
-      ["." list ("#@." mix)]]]
+      ["[0]" list ("[1]@[0]" mix)]]]
     [math
      [number
       ["n" nat]]]
     [target
      [jvm
-      ["." type {"+" [Type]}
-       ["." category {"+" [Void Value Return Primitive Object Class Array Var Parameter Method]}]
-       ["." descriptor {"+" [Descriptor]}]
-       ["." signature {"+" [Signature]}]]]]
+      ["[0]" type {"+" [Type]}
+       ["[0]" category {"+" [Void Value Return Primitive Object Class Array Var Parameter Method]}]
+       ["[0]" descriptor {"+" [Descriptor]}]
+       ["[0]" signature {"+" [Signature]}]]]]
     [tool
      [compiler
-      ["." phase ("operation@." monad)]
+      ["[0]" phase ("operation@[0]" monad)]
       [meta
        [archive {"+" [Archive]}]]
       [language
        [lux
-        ["." synthesis {"+" [Path Synthesis]}]]]]]]]
+        ["[0]" synthesis {"+" [Path Synthesis]}]]]]]]]
   [luxc
    [lang
     [host
      ["$" jvm {"+" [Label Inst Operation Phase Generator]}
       ["_" inst]]]]]
-  ["." //
-   ["." runtime]
-   ["." structure]])
+  ["[0]" //
+   ["[0]" runtime]
+   ["[0]" structure]])
 
 (def: (pop_altI stack_depth)
   (-> Nat Inst)
diff --git a/lux-jvm/source/luxc/lang/translation/jvm/common.lux b/lux-jvm/source/luxc/lang/translation/jvm/common.lux
index 1430a3ea4..8db12bd7e 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/common.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/common.lux
@@ -4,27 +4,27 @@
     ... [abstract
     ...  [monad {"+" [do]}]]
     ... [control
-    ...  ["." try {"+" [Try]}]
+    ...  ["[0]" try {"+" [Try]}]
     ...  ["ex" exception {"+" [exception:]}]
-    ...  ["." io]]
+    ...  ["[0]" io]]
     ... [data
     ...  [binary {"+" [Binary]}]
-    ...  ["." text ("#/." hash)
+    ...  ["[0]" text ("[1]/[0]" hash)
     ...   format]
     ...  [collection
-    ...   ["." dictionary {"+" [Dictionary]}]]]
-    ... ["." macro]
+    ...   ["[0]" dictionary {"+" [Dictionary]}]]]
+    ... ["[0]" macro]
     ... [host {"+" [import:]}]
     ... [tool
     ...  [compiler
     ...   [reference {"+" [Register]}]
-    ...   ["." name]
-    ...   ["." phase]]]
+    ...   ["[0]" name]
+    ...   ["[0]" phase]]]
     ]]
   ... [luxc
   ...  [lang
   ...   [host
-  ...    ["." jvm
+  ...    ["[0]" jvm
   ...     [type]]]]]
   )
 
diff --git a/lux-jvm/source/luxc/lang/translation/jvm/expression.lux b/lux-jvm/source/luxc/lang/translation/jvm/expression.lux
index 0586646da..087ebfaff 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/expression.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/expression.lux
@@ -5,21 +5,21 @@
      [compiler
       [language
        [lux
-        ["." synthesis]
+        ["[0]" synthesis]
         [phase
-         ["." extension]]]]]]]]
+         ["[0]" extension]]]]]]]]
   [luxc
    [lang
     [host
      [jvm {"+" [Phase]}]]]]
   [//
-   ["." common]
-   ["." primitive]
-   ["." structure]
-   ["." reference]
-   ["." case]
-   ["." loop]
-   ["." function]])
+   ["[0]" common]
+   ["[0]" primitive]
+   ["[0]" structure]
+   ["[0]" reference]
+   ["[0]" case]
+   ["[0]" loop]
+   ["[0]" function]])
 
 (def: .public (translate archive synthesis)
   Phase
diff --git a/lux-jvm/source/luxc/lang/translation/jvm/extension.lux b/lux-jvm/source/luxc/lang/translation/jvm/extension.lux
index ce0a3991b..fff364f52 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/extension.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/extension.lux
@@ -3,13 +3,13 @@
    [lux "*"
     [data
      [collection
-      ["." dictionary]]]]]
+      ["[0]" dictionary]]]]]
   [////
    [host
     [jvm {"+" [Bundle]}]]]
-  ["." / "_"
-   ["#." common]
-   ["#." host]])
+  ["[0]" / "_"
+   ["[1][0]" common]
+   ["[1][0]" host]])
 
 (def: .public bundle
   Bundle
diff --git a/lux-jvm/source/luxc/lang/translation/jvm/extension/common.lux b/lux-jvm/source/luxc/lang/translation/jvm/extension/common.lux
index 706c69c00..e3ac4141b 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/extension/common.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/extension/common.lux
@@ -3,43 +3,43 @@
    [lux {"-" [Type Label]}
     [ffi {"+" [import:]}]
     [abstract
-     ["." monad {"+" [do]}]]
+     ["[0]" monad {"+" [do]}]]
     [control
-     ["." try]
+     ["[0]" try]
      ["<>" parser
       ["<s>" synthesis {"+" [Parser]}]]]
     [data
-     ["." product]
+     ["[0]" product]
      [collection
-      ["." list ("#@." monad)]
-      ["." dictionary]]]
+      ["[0]" list ("[1]@[0]" monad)]
+      ["[0]" dictionary]]]
     [math
      [number
       ["f" frac]]]
     [target
      [jvm
-      ["." type]]]
+      ["[0]" type]]]
     [tool
      [compiler
-      ["." phase]
+      ["[0]" phase]
       [meta
        [archive {"+" [Archive]}]]
       [language
        [lux
-        ["." synthesis {"+" [Synthesis %synthesis]}]
+        ["[0]" synthesis {"+" [Synthesis %synthesis]}]
         [phase
          [generation
           [extension {"+" [Nullary Unary Binary Trinary Variadic
                            nullary unary binary trinary variadic]}]]
-         ["." extension
-          ["." bundle]]]]]]]]]
+         ["[0]" extension
+          ["[0]" bundle]]]]]]]]]
   [luxc
    [lang
     [host
      ["$" jvm {"+" [Label Inst Def Handler Bundle Operation Phase]}
       ["_" inst]]]]]
-  ["." ///
-   ["." runtime]])
+  ["[0]" ///
+   ["[0]" runtime]])
 
 (def: .public (custom [parser handler])
   (All (_ s)
@@ -55,7 +55,7 @@
       (phase.except extension.invalid_syntax [extension_name %synthesis input]))))
 
 (import: java/lang/Double
-  ["#::."
+  ["[1]::[0]"
    ("static" MIN_VALUE java/lang/Double)
    ("static" MAX_VALUE java/lang/Double)])
 
diff --git a/lux-jvm/source/luxc/lang/translation/jvm/extension/host.lux b/lux-jvm/source/luxc/lang/translation/jvm/extension/host.lux
index 802d13d3f..4539ea17e 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/extension/host.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/extension/host.lux
@@ -3,56 +3,56 @@
    [lux {"-" [Type Label primitive int char type]}
     [ffi {"+" [import:]}]
     [abstract
-     ["." monad {"+" [do]}]]
+     ["[0]" monad {"+" [do]}]]
     [control
-     ["." maybe ("#\." functor)]
-     ["." exception {"+" [exception:]}]
-     ["." function]
-     ["<>" parser ("#\." monad)
-      ["<.>" text]
-      ["<.>" synthesis {"+" [Parser]}]]]
+     ["[0]" maybe ("[1]\[0]" functor)]
+     ["[0]" exception {"+" [exception:]}]
+     ["[0]" function]
+     ["<>" parser ("[1]\[0]" monad)
+      ["<[0]>" text]
+      ["<[0]>" synthesis {"+" [Parser]}]]]
     [data
-     ["." product]
-     ["." text ("#\." equivalence)
+     ["[0]" product]
+     ["[0]" text ("[1]\[0]" equivalence)
       ["%" format {"+" [format]}]]
      [collection
-      ["." list ("#\." monad mix)]
-      ["." dictionary {"+" [Dictionary]}]
-      ["." set]]]
+      ["[0]" list ("[1]\[0]" monad mix)]
+      ["[0]" dictionary {"+" [Dictionary]}]
+      ["[0]" set]]]
     [macro
-     ["." template]]
+     ["[0]" template]]
     [math
      [number
       ["n" nat]]]
     [target
      [jvm
-      ["." type {"+" [Type Typed Argument]}
-       ["." category {"+" [Void Value Return Primitive Object Class Array Var Parameter Method]}]
-       ["." box]
-       ["." reflection]
-       ["." signature]
-       ["." descriptor]
-       ["." parser]]]]
+      ["[0]" type {"+" [Type Typed Argument]}
+       ["[0]" category {"+" [Void Value Return Primitive Object Class Array Var Parameter Method]}]
+       ["[0]" box]
+       ["[0]" reflection]
+       ["[0]" signature]
+       ["[0]" descriptor]
+       ["[0]" parser]]]]
     [tool
      [compiler
-      ["." phase ("#\." monad)]
+      ["[0]" phase ("[1]\[0]" monad)]
       [reference {"+" []}
-       ["." variable {"+" [Variable Register]}]]
+       ["[0]" variable {"+" [Variable Register]}]]
       [meta
        [archive {"+" [Archive]}]]
       [language
        [lux
         [analysis {"+" [Environment]}]
-        ["." synthesis {"+" [Synthesis Path %synthesis]}]
-        ["." generation]
+        ["[0]" synthesis {"+" [Synthesis Path %synthesis]}]
+        ["[0]" generation]
         [phase
          [generation
           [extension {"+" [Nullary Unary Binary
                            nullary unary binary]}]]
          [analysis
-          [".A" reference]]
-         ["." extension
-          ["." bundle]
+          ["[0]A" reference]]
+         ["[0]" extension
+          ["[0]" bundle]
           [analysis
            ["/" jvm]]]]]]]]]]
   [luxc
@@ -60,12 +60,12 @@
     [host
      ["$" jvm {"+" [Label Inst Def Handler Bundle Operation Phase]}
       ["_" inst]
-      ["_." def]]]]]
-  ["." // "_"
+      ["_[0]" def]]]]]
+  ["[0]" // "_"
    [common {"+" [custom]}]
-   ["/#" //
-    ["#." reference]
-    ["#." function]]])
+   ["/[1]" //
+    ["[1][0]" reference]
+    ["[1][0]" function]]])
 
 (template [<name> <category> <parser>]
   [(def: .public <name>
diff --git a/lux-jvm/source/luxc/lang/translation/jvm/function.lux b/lux-jvm/source/luxc/lang/translation/jvm/function.lux
index 9cd5efdfb..2a202fbcd 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/function.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/function.lux
@@ -2,47 +2,47 @@
   [library
    [lux {"-" [Type Label function]}
     [abstract
-     ["." monad {"+" [do]}]
-     ["." enum]]
+     ["[0]" monad {"+" [do]}]
+     ["[0]" enum]]
     [control
      [pipe {"+" [when> new>]}]
-     ["." function]]
+     ["[0]" function]]
     [data
-     ["." product]
+     ["[0]" product]
      [text
       ["%" format {"+" [format]}]]
      [collection
-      ["." list ("#@." functor monoid)]]]
+      ["[0]" list ("[1]@[0]" functor monoid)]]]
     [math
      [number
       ["n" nat]
       ["i" int]]]
     [target
      [jvm
-      ["." type {"+" [Type]}
-       ["." category {"+" [Void Value Return Primitive Object Class Array Var Parameter Method]}]]]]
+      ["[0]" type {"+" [Type]}
+       ["[0]" category {"+" [Void Value Return Primitive Object Class Array Var Parameter Method]}]]]]
     [tool
      [compiler
       [arity {"+" [Arity]}]
-      ["." phase]
+      ["[0]" phase]
       [reference
        [variable {"+" [Register]}]]
       [language
        [lux
         [analysis {"+" [Environment]}]
         [synthesis {"+" [Synthesis Abstraction Apply]}]
-        ["." generation {"+" [Context]}]]]
+        ["[0]" generation {"+" [Context]}]]]
       [meta
        [archive {"+" [Archive]}]]]]]]
   [luxc
    [lang
     [host
      ["$" jvm {"+" [Label Inst Def Operation Phase Generator]}
-      ["." def]
+      ["[0]" def]
       ["_" inst]]]]]
-  ["." //
-   ["#." runtime]
-   ["." reference]])
+  ["[0]" //
+   ["[1][0]" runtime]
+   ["[0]" reference]])
 
 (def: arity_field Text "arity")
 
diff --git a/lux-jvm/source/luxc/lang/translation/jvm/loop.lux b/lux-jvm/source/luxc/lang/translation/jvm/loop.lux
index 1583cbed3..7d037280d 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/loop.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/loop.lux
@@ -2,30 +2,30 @@
   [library
    [lux "*"
     [abstract
-     ["." monad {"+" [do]}]]
+     ["[0]" monad {"+" [do]}]]
     [control
-     ["." function]]
+     ["[0]" function]]
     [data
      [collection
-      ["." list ("#@." functor monoid)]]]
+      ["[0]" list ("[1]@[0]" functor monoid)]]]
     [math
      [number
       ["n" nat]]]
     [tool
      [compiler
-      ["." phase]
+      ["[0]" phase]
       [reference
        [variable {"+" [Register]}]]
       [language
        [lux
-        ["." synthesis {"+" [Synthesis]}]
-        ["." generation]]]]]]]
+        ["[0]" synthesis {"+" [Synthesis]}]
+        ["[0]" generation]]]]]]]
   [luxc
    [lang
     [host
      [jvm {"+" [Inst Operation Phase Generator]}
       ["_" inst]]]]]
-  ["." //])
+  ["[0]" //])
 
 (def: (invariant? expected actual)
   (-> Register Synthesis Bit)
diff --git a/lux-jvm/source/luxc/lang/translation/jvm/primitive.lux b/lux-jvm/source/luxc/lang/translation/jvm/primitive.lux
index 1b1c0dd3b..1e93db481 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/primitive.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/primitive.lux
@@ -1,20 +1,20 @@
 (.module:
   [library
    [lux {"-" [i64]}
-    ["." ffi {"+" [import:]}]
+    ["[0]" ffi {"+" [import:]}]
     [math
      [number
       ["i" int]]]
     [target
      [jvm
-      ["." type]]]
+      ["[0]" type]]]
     [tool
      [compiler
-      [phase ("operation@." monad)]]]]]
+      [phase ("operation@[0]" monad)]]]]]
   [luxc
    [lang
     [host
-     ["." jvm {"+" [Inst Operation]}
+     ["[0]" jvm {"+" [Inst Operation]}
       ["_" inst]]]]])
 
 (def: .public bit
@@ -24,12 +24,12 @@
       (operation@in (_.GETSTATIC Boolean (if value "TRUE" "FALSE") Boolean)))))
 
 (import: java/lang/Byte
-  ["#::."
+  ["[1]::[0]"
    ("static" MAX_VALUE byte)
    ("static" MIN_VALUE byte)])
 
 (import: java/lang/Short
-  ["#::."
+  ["[1]::[0]"
    ("static" MAX_VALUE short)
    ("static" MIN_VALUE short)])
 
@@ -67,7 +67,7 @@
       (operation@in (|>> constantI (_.wrap type.long))))))
 
 (import: java/lang/Double
-  ["#::."
+  ["[1]::[0]"
    ("static" doubleToRawLongBits "manual" [double] int)])
 
 (def: d0-bits
diff --git a/lux-jvm/source/luxc/lang/translation/jvm/program.lux b/lux-jvm/source/luxc/lang/translation/jvm/program.lux
index e12e3b0e7..1db9028d1 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/program.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/program.lux
@@ -20,8 +20,8 @@
       ["$d" def]
       ["$i" inst]]]
     [translation
-     ["." jvm
-      ["." runtime]]]]])
+     ["[0]" jvm
+      ["[0]" runtime]]]]])
 
 (def: ^Object ($t.class "java.lang.Object" (list)))
 
diff --git a/lux-jvm/source/luxc/lang/translation/jvm/reference.lux b/lux-jvm/source/luxc/lang/translation/jvm/reference.lux
index 204fddfa8..9b0feeb78 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/reference.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/reference.lux
@@ -8,24 +8,24 @@
       ["%" format {"+" [format]}]]]
     [target
      [jvm
-      ["." type]]]
+      ["[0]" type]]]
     [tool
      [compiler
       [reference
-       ["." variable {"+" [Register Variable]}]]
-      ["." phase ("operation@." monad)]
+       ["[0]" variable {"+" [Register Variable]}]]
+      ["[0]" phase ("operation@[0]" monad)]
       [meta
        [archive {"+" [Archive]}]]
       [language
        [lux
-        ["." generation]]]]]]]
+        ["[0]" generation]]]]]]]
   [luxc
    [lang
     [host
      [jvm {"+" [Inst Operation]}
       ["_" inst]]]]]
-  ["." //
-   ["#." runtime]])
+  ["[0]" //
+   ["[1][0]" runtime]])
 
 (template [<name> <prefix>]
   [(def: .public <name>
diff --git a/lux-jvm/source/luxc/lang/translation/jvm/runtime.lux b/lux-jvm/source/luxc/lang/translation/jvm/runtime.lux
index c351dd21c..8deac8430 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/runtime.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/runtime.lux
@@ -3,41 +3,41 @@
    [lux {"-" [Type Label try]}
     [abstract
      [monad {"+" [do]}]
-     ["." enum]]
+     ["[0]" enum]]
     [data
      [binary {"+" [Binary]}]
-     ["." product]
+     ["[0]" product]
      [text
       ["%" format {"+" [format]}]]
      [collection
-      ["." list ("#@." functor)]
-      ["." row]]]
-    ["." math
+      ["[0]" list ("[1]@[0]" functor)]
+      ["[0]" row]]]
+    ["[0]" math
      [number
       ["n" nat]]]
     [target
      [jvm
-      ["." type {"+" [Type]}
-       ["." category {"+" [Void Value' Value Return' Return Primitive Object Class Array Var Parameter Method]}]
-       ["." reflection]]]]
+      ["[0]" type {"+" [Type]}
+       ["[0]" category {"+" [Void Value' Value Return' Return Primitive Object Class Array Var Parameter Method]}]
+       ["[0]" reflection]]]]
     [tool
      [compiler
       [arity {"+" [Arity]}]
-      ["." phase]
+      ["[0]" phase]
       [language
        [lux
-        ["." synthesis]
-        ["." generation]]]
+        ["[0]" synthesis]
+        ["[0]" generation]]]
       [meta
        [archive {"+" [Output]}
-        ["." artifact {"+" [Registry]}]]]]]]]
+        ["[0]" artifact {"+" [Registry]}]]]]]]]
   [luxc
    [lang
     [host
      ["$" jvm {"+" [Label Inst Def Operation]}
       ["$d" def]
       ["_" inst]]]]]
-  ["." // {"+" [ByteCode]}])
+  ["[0]" // {"+" [ByteCode]}])
 
 (def: $Text (type.class "java.lang.String" (list)))
 (def: .public $Lefts type.int)
diff --git a/lux-jvm/source/luxc/lang/translation/jvm/structure.lux b/lux-jvm/source/luxc/lang/translation/jvm/structure.lux
index a8c117f6e..2a688f4cc 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/structure.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/structure.lux
@@ -1,29 +1,29 @@
 (.module:
   [library
    [lux {"-" [Type]}
-    ["." ffi {"+" [import:]}]
+    ["[0]" ffi {"+" [import:]}]
     [abstract
-     ["." monad {"+" [do]}]]
+     ["[0]" monad {"+" [do]}]]
     [control
-     ["." exception {"+" [exception:]}]]
+     ["[0]" exception {"+" [exception:]}]]
     [data
      [text
       ["%" format {"+" [format]}]]
      [collection
-      ["." list]]]
+      ["[0]" list]]]
     [math
      [number
       ["n" nat]
       ["i" int]]]
     [target
      [jvm
-      ["." type {"+" [Type]}
-       ["." category {"+" [Void Value Return Primitive Object Class Array Var Parameter Method]}]
-       ["." descriptor {"+" [Descriptor]}]
-       ["." signature {"+" [Signature]}]]]]
+      ["[0]" type {"+" [Type]}
+       ["[0]" category {"+" [Void Value Return Primitive Object Class Array Var Parameter Method]}]
+       ["[0]" descriptor {"+" [Descriptor]}]
+       ["[0]" signature {"+" [Signature]}]]]]
     [tool
      [compiler
-      ["." phase]
+      ["[0]" phase]
       [meta
        [archive {"+" [Archive]}]]
       [language
@@ -34,8 +34,8 @@
     [host
      [jvm {"+" [Inst Operation Phase Generator]}
       ["_" inst]]]]]
-  ["." //
-   ["#." runtime]])
+  ["[0]" //
+   ["[1][0]" runtime]])
 
 (exception: .public (not_a_tuple {size Nat})
   (exception.report
@@ -63,12 +63,12 @@
              membersI))))
 
 (import: java/lang/Byte
-  ["#::."
+  ["[1]::[0]"
    ("static" MAX_VALUE byte)
    ("static" MIN_VALUE byte)])
 
 (import: java/lang/Short
-  ["#::."
+  ["[1]::[0]"
    ("static" MAX_VALUE short)
    ("static" MIN_VALUE short)])