From 35c0807799717cd720ab28b35851c1a01a67445d Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Tue, 7 Sep 2021 22:50:21 -0400
Subject: De-taggification | part 4

---
 stdlib/source/specification/aedifex/repository.lux | 24 ++++++++---------
 stdlib/source/specification/compositor.lux         | 30 +++++++++++-----------
 .../specification/compositor/analysis/type.lux     | 14 +++++-----
 stdlib/source/specification/compositor/common.lux  | 22 ++++++++--------
 .../specification/compositor/generation/case.lux   | 20 +++++++--------
 .../specification/compositor/generation/common.lux | 18 ++++++-------
 .../compositor/generation/function.lux             | 16 ++++++------
 .../compositor/generation/primitive.lux            |  8 +++---
 .../compositor/generation/reference.lux            |  6 ++---
 .../compositor/generation/structure.lux            | 16 ++++++------
 stdlib/source/specification/lux/abstract/apply.lux | 14 +++++-----
 stdlib/source/specification/lux/abstract/codec.lux |  8 +++---
 .../source/specification/lux/abstract/comonad.lux  | 10 ++++----
 stdlib/source/specification/lux/abstract/enum.lux  |  6 ++---
 .../specification/lux/abstract/equivalence.lux     |  6 ++---
 .../source/specification/lux/abstract/functor.lux  | 12 ++++-----
 .../lux/abstract/functor/contravariant.lux         |  8 +++---
 stdlib/source/specification/lux/abstract/hash.lux  |  6 ++---
 .../source/specification/lux/abstract/interval.lux |  8 +++---
 stdlib/source/specification/lux/abstract/mix.lux   |  6 ++---
 stdlib/source/specification/lux/abstract/monad.lux | 10 ++++----
 .../source/specification/lux/abstract/monoid.lux   |  6 ++---
 stdlib/source/specification/lux/abstract/order.lux |  6 ++---
 stdlib/source/specification/lux/world/console.lux  | 10 ++++----
 stdlib/source/specification/lux/world/file.lux     | 28 ++++++++++----------
 stdlib/source/specification/lux/world/program.lux  | 14 +++++-----
 stdlib/source/specification/lux/world/shell.lux    | 14 +++++-----
 27 files changed, 173 insertions(+), 173 deletions(-)

(limited to 'stdlib/source/specification')

diff --git a/stdlib/source/specification/aedifex/repository.lux b/stdlib/source/specification/aedifex/repository.lux
index e08211d32..bf430a368 100644
--- a/stdlib/source/specification/aedifex/repository.lux
+++ b/stdlib/source/specification/aedifex/repository.lux
@@ -5,23 +5,23 @@
     [abstract
      [monad {"+" [do]}]]
     [control
-     ["." try {"+" [Try]}]
+     ["[0]" try {"+" [Try]}]
      [concurrency
-      ["." async {"+" [Async]}]]]
+      ["[0]" async {"+" [Async]}]]]
     [data
-     ["." binary
-      ["_#" \\test]]]
+     ["[0]" binary
+      ["_[1]" \\test]]]
     [math
-     ["." random]]]]
+     ["[0]" random]]]]
   [\\program
-   ["." /
-    ["#." remote]
-    ["/#" // "_"
-     ["#." artifact {"+" [Artifact]}
-      ["#/." extension]]]]]
+   ["[0]" /
+    ["[1][0]" remote]
+    ["/[1]" // "_"
+     ["[1][0]" artifact {"+" [Artifact]}
+      ["[1]/[0]" extension]]]]]
   [\\test
-   ["_." // "_"
-    ["#." artifact]]])
+   ["_[0]" // "_"
+    ["[1][0]" artifact]]])
 
 (def: .public (spec valid_artifact invalid_artifact subject)
   (-> Artifact Artifact (/.Repository Async) Test)
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]}]])
 
diff --git a/stdlib/source/specification/lux/abstract/apply.lux b/stdlib/source/specification/lux/abstract/apply.lux
index 431fc8f29..f14a43aa5 100644
--- a/stdlib/source/specification/lux/abstract/apply.lux
+++ b/stdlib/source/specification/lux/abstract/apply.lux
@@ -5,17 +5,17 @@
     [abstract
      [monad {"+" [do]}]]
     [control
-     ["." function]]
+     ["[0]" function]]
     [math
-     ["." random]
+     ["[0]" random]
      [number
       ["n" nat]]]]]
   [\\library
-   ["." / {"+" [Apply]}]]
+   ["[0]" / {"+" [Apply]}]]
   [//
    [functor {"+" [Injection Comparison]}]])
 
-(def: (identity injection comparison (^open "\."))
+(def: (identity injection comparison (^open "\[0]"))
   (All (_ f) (-> (Injection f) (Comparison f) (Apply f) Test))
   (do [! random.monad]
     [sample (\ ! each injection random.nat)]
@@ -24,7 +24,7 @@
              (\on sample (injection function.identity))
              sample))))
 
-(def: (homomorphism injection comparison (^open "\."))
+(def: (homomorphism injection comparison (^open "\[0]"))
   (All (_ f) (-> (Injection f) (Comparison f) (Apply f) Test))
   (do [! random.monad]
     [sample random.nat
@@ -34,7 +34,7 @@
              (\on (injection sample) (injection increase))
              (injection (increase sample))))))
 
-(def: (interchange injection comparison (^open "\."))
+(def: (interchange injection comparison (^open "\[0]"))
   (All (_ f) (-> (Injection f) (Comparison f) (Apply f) Test))
   (do [! random.monad]
     [sample random.nat
@@ -45,7 +45,7 @@
              (\on (injection increase) (injection (: (-> (-> Nat Nat) Nat)
                                                      (function (_ f) (f sample)))))))))
 
-(def: (composition injection comparison (^open "\."))
+(def: (composition injection comparison (^open "\[0]"))
   (All (_ f) (-> (Injection f) (Comparison f) (Apply f) Test))
   (do [! random.monad]
     [sample random.nat
diff --git a/stdlib/source/specification/lux/abstract/codec.lux b/stdlib/source/specification/lux/abstract/codec.lux
index bea518b69..5cbdb2aa1 100644
--- a/stdlib/source/specification/lux/abstract/codec.lux
+++ b/stdlib/source/specification/lux/abstract/codec.lux
@@ -5,15 +5,15 @@
     [abstract
      [monad {"+" [do]}]]
     [control
-     ["." try]]
+     ["[0]" try]]
     [math
-     ["." random {"+" [Random]}]]]]
+     ["[0]" random {"+" [Random]}]]]]
   [\\library
-   ["." /
+   ["[0]" /
     [//
      [equivalence {"+" [Equivalence]}]]]])
 
-(def: .public (spec (^open "@//.") (^open "@//.") generator)
+(def: .public (spec (^open "@//[0]") (^open "@//[0]") generator)
   (All (_ m a) (-> (Equivalence a) (/.Codec m a) (Random a) Test))
   (do random.monad
     [expected generator]
diff --git a/stdlib/source/specification/lux/abstract/comonad.lux b/stdlib/source/specification/lux/abstract/comonad.lux
index 4941d31ad..ee28bfb49 100644
--- a/stdlib/source/specification/lux/abstract/comonad.lux
+++ b/stdlib/source/specification/lux/abstract/comonad.lux
@@ -5,15 +5,15 @@
     [abstract
      [monad {"+" [do]}]]
     [math
-     ["." random]
+     ["[0]" random]
      [number
       ["n" nat]]]]]
   [\\library
-   ["." / {"+" [CoMonad]}]]
+   ["[0]" / {"+" [CoMonad]}]]
   [//
    [functor {"+" [Injection Comparison]}]])
 
-(def: (left_identity injection (^open "_//."))
+(def: (left_identity injection (^open "_//[0]"))
   (All (_ f) (-> (Injection f) (CoMonad f) Test))
   (do [! random.monad]
     [sample random.nat
@@ -25,7 +25,7 @@
             (n.= (morphism start)
                  (|> start _//disjoint (_//each morphism) _//out)))))
 
-(def: (right_identity injection comparison (^open "_//."))
+(def: (right_identity injection comparison (^open "_//[0]"))
   (All (_ f) (-> (Injection f) (Comparison f) (CoMonad f) Test))
   (do random.monad
     [sample random.nat
@@ -35,7 +35,7 @@
             (== start
                 (|> start _//disjoint (_//each _//out))))))
 
-(def: (associativity injection comparison (^open "_//."))
+(def: (associativity injection comparison (^open "_//[0]"))
   (All (_ f) (-> (Injection f) (Comparison f) (CoMonad f) Test))
   (do [! random.monad]
     [sample random.nat
diff --git a/stdlib/source/specification/lux/abstract/enum.lux b/stdlib/source/specification/lux/abstract/enum.lux
index 2f71401ae..26fdf0828 100644
--- a/stdlib/source/specification/lux/abstract/enum.lux
+++ b/stdlib/source/specification/lux/abstract/enum.lux
@@ -5,11 +5,11 @@
     [abstract
      [monad {"+" [do]}]]
     [math
-     ["." random {"+" [Random]}]]]]
+     ["[0]" random {"+" [Random]}]]]]
   [\\library
-   ["." /]])
+   ["[0]" /]])
 
-(def: .public (spec (^open "\.") gen_sample)
+(def: .public (spec (^open "\[0]") gen_sample)
   (All (_ a) (-> (/.Enum a) (Random a) Test))
   (do random.monad
     [sample gen_sample]
diff --git a/stdlib/source/specification/lux/abstract/equivalence.lux b/stdlib/source/specification/lux/abstract/equivalence.lux
index 59786ab42..d4c335794 100644
--- a/stdlib/source/specification/lux/abstract/equivalence.lux
+++ b/stdlib/source/specification/lux/abstract/equivalence.lux
@@ -5,11 +5,11 @@
     [abstract
      [monad {"+" [do]}]]
     [math
-     ["." random {"+" [Random]}]]]]
+     ["[0]" random {"+" [Random]}]]]]
   [\\library
-   ["." / {"+" [Equivalence]}]])
+   ["[0]" / {"+" [Equivalence]}]])
 
-(def: .public (spec (^open "_//.") random)
+(def: .public (spec (^open "_//[0]") random)
   (All (_ a) (-> (Equivalence a) (Random a) Test))
   (do random.monad
     [left random
diff --git a/stdlib/source/specification/lux/abstract/functor.lux b/stdlib/source/specification/lux/abstract/functor.lux
index 681f6dcd5..37e38ad42 100644
--- a/stdlib/source/specification/lux/abstract/functor.lux
+++ b/stdlib/source/specification/lux/abstract/functor.lux
@@ -6,13 +6,13 @@
      [equivalence {"+" [Equivalence]}]
      [monad {"+" [do]}]]
     [control
-     ["." function]]
+     ["[0]" function]]
     [math
-     ["." random]
+     ["[0]" random]
      [number
       ["n" nat]]]]]
   [\\library
-   ["." / {"+" [Functor]}]])
+   ["[0]" / {"+" [Functor]}]])
 
 (type: .public (Injection f)
   (All (_ a) (-> a (f a))))
@@ -22,7 +22,7 @@
     (-> (Equivalence a)
         (Equivalence (f a)))))
 
-(def: (identity injection comparison (^open "@//."))
+(def: (identity injection comparison (^open "@//[0]"))
   (All (_ f) (-> (Injection f) (Comparison f) (Functor f) Test))
   (do [! random.monad]
     [sample (\ ! each injection random.nat)]
@@ -31,7 +31,7 @@
              (@//each function.identity sample)
              sample))))
 
-(def: (homomorphism injection comparison (^open "@//."))
+(def: (homomorphism injection comparison (^open "@//[0]"))
   (All (_ f) (-> (Injection f) (Comparison f) (Functor f) Test))
   (do [! random.monad]
     [sample random.nat
@@ -41,7 +41,7 @@
              (@//each increase (injection sample))
              (injection (increase sample))))))
 
-(def: (composition injection comparison (^open "@//."))
+(def: (composition injection comparison (^open "@//[0]"))
   (All (_ f) (-> (Injection f) (Comparison f) (Functor f) Test))
   (do [! random.monad]
     [sample (\ ! each injection random.nat)
diff --git a/stdlib/source/specification/lux/abstract/functor/contravariant.lux b/stdlib/source/specification/lux/abstract/functor/contravariant.lux
index a9ac6e660..048b34ba8 100644
--- a/stdlib/source/specification/lux/abstract/functor/contravariant.lux
+++ b/stdlib/source/specification/lux/abstract/functor/contravariant.lux
@@ -6,15 +6,15 @@
      [equivalence {"+" [Equivalence]}]
      [monad {"+" [do]}]]
     [control
-     ["." function]]
+     ["[0]" function]]
     [math
-     ["." random]
+     ["[0]" random]
      [number
       ["n" nat]]]]]
   [\\library
-   ["." / {"+" [Functor]}]])
+   ["[0]" / {"+" [Functor]}]])
 
-(def: (identity equivalence value (^open "@//."))
+(def: (identity equivalence value (^open "@//[0]"))
   (All (_ f a) (-> (Equivalence (f a)) (f a) (Functor f) Test))
   (_.test "Law of identity."
           (equivalence
diff --git a/stdlib/source/specification/lux/abstract/hash.lux b/stdlib/source/specification/lux/abstract/hash.lux
index ed504cd26..65b78a5cb 100644
--- a/stdlib/source/specification/lux/abstract/hash.lux
+++ b/stdlib/source/specification/lux/abstract/hash.lux
@@ -5,13 +5,13 @@
     [abstract
      [monad {"+" [do]}]]
     [math
-     ["." random {"+" [Random]}]
+     ["[0]" random {"+" [Random]}]
      [number
       ["n" nat]]]]]
   [\\library
-   ["." /]])
+   ["[0]" /]])
 
-(def: .public (spec (^open "\.") random)
+(def: .public (spec (^open "\[0]") random)
   (All (_ a) (-> (/.Hash a) (Random a) Test))
   (do random.monad
     [parameter random
diff --git a/stdlib/source/specification/lux/abstract/interval.lux b/stdlib/source/specification/lux/abstract/interval.lux
index a6de2bc5a..38b9a3e6c 100644
--- a/stdlib/source/specification/lux/abstract/interval.lux
+++ b/stdlib/source/specification/lux/abstract/interval.lux
@@ -4,13 +4,13 @@
     ["_" test {"+" [Test]}]
     [abstract
      [monad {"+" [do]}]
-     ["." order]]
+     ["[0]" order]]
     [math
-     ["." random {"+" [Random]}]]]]
+     ["[0]" random {"+" [Random]}]]]]
   [\\library
-   ["." /]])
+   ["[0]" /]])
 
-(def: .public (spec (^open "@//.") gen_sample)
+(def: .public (spec (^open "@//[0]") gen_sample)
   (All (_ a) (-> (/.Interval a) (Random a) Test))
   (<| (_.for [/.Interval])
       (do random.monad
diff --git a/stdlib/source/specification/lux/abstract/mix.lux b/stdlib/source/specification/lux/abstract/mix.lux
index dddf30c5f..aecd00cbb 100644
--- a/stdlib/source/specification/lux/abstract/mix.lux
+++ b/stdlib/source/specification/lux/abstract/mix.lux
@@ -5,15 +5,15 @@
     [abstract
      [monad {"+" [do]}]]
     [math
-     ["." random]
+     ["[0]" random]
      [number
       ["n" nat]]]]]
   [//
    [functor {"+" [Injection Comparison]}]]
   [\\library
-   ["." /]])
+   ["[0]" /]])
 
-(def: .public (spec injection comparison (^open "@//."))
+(def: .public (spec injection comparison (^open "@//[0]"))
   (All (_ f) (-> (Injection f) (Comparison f) (/.Mix f) Test))
   (do random.monad
     [subject random.nat
diff --git a/stdlib/source/specification/lux/abstract/monad.lux b/stdlib/source/specification/lux/abstract/monad.lux
index 11ee011e1..e193e1ecd 100644
--- a/stdlib/source/specification/lux/abstract/monad.lux
+++ b/stdlib/source/specification/lux/abstract/monad.lux
@@ -3,15 +3,15 @@
    [lux "*"
     ["_" test {"+" [Test]}]
     [math
-     ["." random]
+     ["[0]" random]
      [number
       ["n" nat]]]]]
   [\\library
-   ["." / {"+" [do]}]]
+   ["[0]" / {"+" [do]}]]
   [//
    [functor {"+" [Injection Comparison]}]])
 
-(def: (left_identity injection comparison (^open "_//."))
+(def: (left_identity injection comparison (^open "_//[0]"))
   (All (_ f) (-> (Injection f) (Comparison f) (/.Monad f) Test))
   (do [! random.monad]
     [sample random.nat
@@ -23,7 +23,7 @@
              (|> (injection sample) (_//each morphism) _//conjoint)
              (morphism sample)))))
 
-(def: (right_identity injection comparison (^open "_//."))
+(def: (right_identity injection comparison (^open "_//[0]"))
   (All (_ f) (-> (Injection f) (Comparison f) (/.Monad f) Test))
   (do random.monad
     [sample random.nat]
@@ -32,7 +32,7 @@
              (|> (injection sample) (_//each _//in) _//conjoint)
              (injection sample)))))
 
-(def: (associativity injection comparison (^open "_//."))
+(def: (associativity injection comparison (^open "_//[0]"))
   (All (_ f) (-> (Injection f) (Comparison f) (/.Monad f) Test))
   (do [! random.monad]
     [sample random.nat
diff --git a/stdlib/source/specification/lux/abstract/monoid.lux b/stdlib/source/specification/lux/abstract/monoid.lux
index 6dc4d2207..dba042a60 100644
--- a/stdlib/source/specification/lux/abstract/monoid.lux
+++ b/stdlib/source/specification/lux/abstract/monoid.lux
@@ -5,13 +5,13 @@
     [abstract
      [monad {"+" [do]}]]
     [math
-     ["." random {"+" [Random]}]]]]
+     ["[0]" random {"+" [Random]}]]]]
   [\\library
-   ["." /
+   ["[0]" /
     [//
      [equivalence {"+" [Equivalence]}]]]])
 
-(def: .public (spec (^open "\.") (^open "\.") gen_sample)
+(def: .public (spec (^open "\[0]") (^open "\[0]") gen_sample)
   (All (_ a) (-> (Equivalence a) (/.Monoid a) (Random a) Test))
   (do random.monad
     [sample gen_sample
diff --git a/stdlib/source/specification/lux/abstract/order.lux b/stdlib/source/specification/lux/abstract/order.lux
index 139e8cac4..79c8d4c78 100644
--- a/stdlib/source/specification/lux/abstract/order.lux
+++ b/stdlib/source/specification/lux/abstract/order.lux
@@ -5,11 +5,11 @@
     [abstract
      [monad {"+" [do]}]]
     [math
-     ["." random {"+" [Random]}]]]]
+     ["[0]" random {"+" [Random]}]]]]
   [\\library
-   ["." /]])
+   ["[0]" /]])
 
-(def: .public (spec (^open "@//.") generator)
+(def: .public (spec (^open "@//[0]") generator)
   (All (_ a) (-> (/.Order a) (Random a) Test))
   (<| (_.for [/.Order])
       ($_ _.and
diff --git a/stdlib/source/specification/lux/world/console.lux b/stdlib/source/specification/lux/world/console.lux
index 5264211b4..15305d236 100644
--- a/stdlib/source/specification/lux/world/console.lux
+++ b/stdlib/source/specification/lux/world/console.lux
@@ -6,16 +6,16 @@
      [monad {"+" [do]}]]
     [control
      [io {"+" [IO]}]
-     ["." try]
+     ["[0]" try]
      [concurrency
-      ["." async {"+" [Async]}]]]
+      ["[0]" async {"+" [Async]}]]]
     [data
-     ["." text
+     ["[0]" text
       ["%" format {"+" [format]}]]]
     [math
-     ["." random]]]]
+     ["[0]" random]]]]
   [\\library
-   ["." /]])
+   ["[0]" /]])
 
 (def: .public (spec console)
   (-> (IO (/.Console Async)) Test)
diff --git a/stdlib/source/specification/lux/world/file.lux b/stdlib/source/specification/lux/world/file.lux
index 765893ba6..f7c056624 100644
--- a/stdlib/source/specification/lux/world/file.lux
+++ b/stdlib/source/specification/lux/world/file.lux
@@ -4,32 +4,32 @@
     ["_" test {"+" [Test]}]
     [abstract
      [monad {"+" [do]}]
-     ["." predicate]]
+     ["[0]" predicate]]
     [control
      [pipe {"+" [case>]}]
      [io {"+" [IO]}]
-     ["." maybe ("#\." functor)]
-     ["." try ("#\." functor)]
-     ["." exception]
+     ["[0]" maybe ("[1]\[0]" functor)]
+     ["[0]" try ("[1]\[0]" functor)]
+     ["[0]" exception]
      [concurrency
-      ["." async {"+" [Async]}]]]
+      ["[0]" async {"+" [Async]}]]]
     [data
-     ["." text ("#\." equivalence)
+     ["[0]" text ("[1]\[0]" equivalence)
       ["%" format {"+" [format]}]
       [encoding
-       ["." utf8 ("#\." codec)]]]
-     ["." binary {"+" [Binary]} ("#\." equivalence monoid)
-      ["$#" \\test]]
+       ["[0]" utf8 ("[1]\[0]" codec)]]]
+     ["[0]" binary {"+" [Binary]} ("[1]\[0]" equivalence monoid)
+      ["$[1]" \\test]]
      [collection
-      ["." list]]]
+      ["[0]" list]]]
     [math
-     ["." random]
+     ["[0]" random]
      [number
       ["n" nat]]]
     [time
-     ["." instant {"+" [Instant]} ("#\." equivalence)]]]]
+     ["[0]" instant {"+" [Instant]} ("[1]\[0]" equivalence)]]]]
   [\\library
-   ["." /]])
+   ["[0]" /]])
 
 (def: (for_path fs)
   (-> (IO (/.System Async)) Test)
@@ -126,7 +126,7 @@
       [made_sub? (\ fs make_directory sub_dir)
        directory_files (\ fs directory_files parent)
        sub_directories (\ fs sub_directories parent)
-       .let [(^open "list\.") (list.equivalence text.equivalence)]]
+       .let [(^open "list\[0]") (list.equivalence text.equivalence)]]
       (in (<| (try.else false)
               (do try.monad
                 [_ made_sub?]
diff --git a/stdlib/source/specification/lux/world/program.lux b/stdlib/source/specification/lux/world/program.lux
index 772aa28a4..e647e316b 100644
--- a/stdlib/source/specification/lux/world/program.lux
+++ b/stdlib/source/specification/lux/world/program.lux
@@ -5,18 +5,18 @@
     [abstract
      [monad {"+" [do]}]]
     [control
-     ["." try]
+     ["[0]" try]
      [concurrency
-      ["." async {"+" [Async]}]]]
+      ["[0]" async {"+" [Async]}]]]
     [data
-     ["." text]
+     ["[0]" text]
      [collection
-      ["." dictionary]
-      ["." list]]]
+      ["[0]" dictionary]
+      ["[0]" list]]]
     [math
-     ["." random]]]]
+     ["[0]" random]]]]
   [\\library
-   ["." /]])
+   ["[0]" /]])
 
 (def: .public (spec subject)
   (-> (/.Program Async) Test)
diff --git a/stdlib/source/specification/lux/world/shell.lux b/stdlib/source/specification/lux/world/shell.lux
index 8f12be702..2d844ce9a 100644
--- a/stdlib/source/specification/lux/world/shell.lux
+++ b/stdlib/source/specification/lux/world/shell.lux
@@ -5,22 +5,22 @@
     [abstract
      [monad {"+" [do]}]]
     [control
-     ["." try ("#\." functor)]
+     ["[0]" try ("[1]\[0]" functor)]
      [concurrency
-      ["." async {"+" [Async]} ("#\." monad)]]
+      ["[0]" async {"+" [Async]} ("[1]\[0]" monad)]]
      [parser
-      ["." environment {"+" [Environment]}]]]
+      ["[0]" environment {"+" [Environment]}]]]
     [data
-     ["." product]
-     ["." text ("#\." equivalence)
+     ["[0]" product]
+     ["[0]" text ("[1]\[0]" equivalence)
       ["%" format {"+" [format]}]]]
     [math
-     ["." random]
+     ["[0]" random]
      [number
       ["n" nat]
       ["i" int]]]]]
   [\\library
-   ["." /
+   ["[0]" /
     [//
      [file {"+" [Path]}]]]])
 
-- 
cgit v1.2.3