Extensible import syntax [Part 6]

10 files changed, 82 insertions, 82 deletions

diff --git a/stdlib/source/test/lux/math/infix.lux b/stdlib/source/test/lux/math/infix.lux
index 249f8d3a2..441df11b9 100644
--- a/stdlib/source/test/lux/math/infix.lux
+++ b/stdlib/source/test/lux/math/infix.lux
@@ -5,7 +5,7 @@
    [abstract
     [monad (.only do)]]
    [data
-    ["[0]" bit ("[1]#[0]" equivalence)]]
+    ["[0]" bit (.open: "[1]#[0]" equivalence)]]
    [math
     ["[0]" random]
     [number
diff --git a/stdlib/source/test/lux/math/logic/fuzzy.lux b/stdlib/source/test/lux/math/logic/fuzzy.lux
index e0e5bc1ea..2cfc62142 100644
--- a/stdlib/source/test/lux/math/logic/fuzzy.lux
+++ b/stdlib/source/test/lux/math/logic/fuzzy.lux
@@ -9,7 +9,7 @@
      [functor
       ["$[0]" contravariant]]]]
    [data
-    ["[0]" bit ("[1]#[0]" equivalence)]
+    ["[0]" bit (.open: "[1]#[0]" equivalence)]
     [collection
      ["[0]" list]
      ["[0]" set]]]
diff --git a/stdlib/source/test/lux/math/modular.lux b/stdlib/source/test/lux/math/modular.lux
index e05d7c8e9..0137ba9ae 100644
--- a/stdlib/source/test/lux/math/modular.lux
+++ b/stdlib/source/test/lux/math/modular.lux
@@ -2,7 +2,7 @@
  [library
   [lux (.except)
    ["_" test (.only Test)]
-   ["[0]" type ("[1]#[0]" equivalence)]
+   ["[0]" type (.open: "[1]#[0]" equivalence)]
    [abstract
     [monad (.only do)]
     ["[0]" predicate]
@@ -16,7 +16,7 @@
     ["[0]" exception]]
    [data
     ["[0]" product]
-    ["[0]" bit ("[1]#[0]" equivalence)]]
+    ["[0]" bit (.open: "[1]#[0]" equivalence)]]
    [math
     ["[0]" random (.only Random)]
     [number
diff --git a/stdlib/source/test/lux/math/number/complex.lux b/stdlib/source/test/lux/math/number/complex.lux
index ec11a5428..087ee1245 100644
--- a/stdlib/source/test/lux/math/number/complex.lux
+++ b/stdlib/source/test/lux/math/number/complex.lux
@@ -8,7 +8,7 @@
      ["$[0]" equivalence]]]
    [data
     [collection
-     ["[0]" list ("[1]#[0]" functor)]]]
+     ["[0]" list (.open: "[1]#[0]" functor)]]]
    [math
     ["[0]" random (.only Random)]]]]
  [\\library
diff --git a/stdlib/source/test/lux/math/number/frac.lux b/stdlib/source/test/lux/math/number/frac.lux
index 5f4c021bd..c302d876c 100644
--- a/stdlib/source/test/lux/math/number/frac.lux
+++ b/stdlib/source/test/lux/math/number/frac.lux
@@ -13,7 +13,7 @@
      ["$[0]" monoid]
      ["$[0]" codec]]]
    [data
-    ["[0]" bit ("[1]#[0]" equivalence)]]
+    ["[0]" bit (.open: "[1]#[0]" equivalence)]]
    [macro
     ["[0]" template]]
    [math
diff --git a/stdlib/source/test/lux/math/number/i64.lux b/stdlib/source/test/lux/math/number/i64.lux
index f6ade938b..550d6f03d 100644
--- a/stdlib/source/test/lux/math/number/i64.lux
+++ b/stdlib/source/test/lux/math/number/i64.lux
@@ -3,7 +3,7 @@
   [lux (.except)
    ["_" test (.only Test)]
    [data
-    ["[0]" bit ("[1]#[0]" equivalence)]]
+    ["[0]" bit (.open: "[1]#[0]" equivalence)]]
    [abstract
     [monad (.only do)]
     [\\specification
@@ -13,7 +13,7 @@
    [math
     ["[0]" random (.only Random)]]]]
  [\\library
-  ["[0]" / ("#[0]" equivalence)
+  ["[0]" / (.open: "[1]#[0]" equivalence)
    [// (.only hex)
     ["n" nat]
     ["i" int]]]])
@@ -26,20 +26,20 @@
     (all _.and
          (_.coverage [/.one? /.one]
            (if (/.one? idx pattern)
-             (#= pattern (/.one idx pattern))
-             (not (#= pattern (/.one idx pattern)))))
+             (/#= pattern (/.one idx pattern))
+             (not (/#= pattern (/.one idx pattern)))))
          (_.coverage [/.zero? /.zero]
            (if (/.zero? idx pattern)
-             (#= pattern (/.zero idx pattern))
-             (not (#= pattern (/.zero idx pattern)))))
+             (/#= pattern (/.zero idx pattern))
+             (not (/#= pattern (/.zero idx pattern)))))
          (_.coverage [/.flipped]
-           (#= (/.flipped idx pattern)
-               (if (/.one? idx pattern)
-                 (/.zero idx pattern)
-                 (/.one idx pattern))))
+           (/#= (/.flipped idx pattern)
+                (if (/.one? idx pattern)
+                  (/.zero idx pattern)
+                  (/.one idx pattern))))
          (_.coverage [/.bit]
            (bit#= (/.zero? idx pattern)
-                  (#= /.false (/.and (/.bit idx) pattern))))
+                  (/#= /.false (/.and (/.bit idx) pattern))))
          )))
 
 (def: shift
@@ -51,19 +51,19 @@
            [idx (# ! each (|>> (n.% (-- /.width)) ++) random.nat)]
            (_.coverage [/.left_shifted /.right_shifted]
              (let [nullity!
-                   (and (#= pattern (/.left_shifted 0 pattern))
-                        (#= pattern (/.right_shifted 0 pattern)))
+                   (and (/#= pattern (/.left_shifted 0 pattern))
+                        (/#= pattern (/.right_shifted 0 pattern)))
 
                    idempotency!
-                   (and (#= pattern (/.left_shifted /.width pattern))
-                        (#= pattern (/.right_shifted /.width pattern)))
+                   (and (/#= pattern (/.left_shifted /.width pattern))
+                        (/#= pattern (/.right_shifted /.width pattern)))
 
                    movement!
                    (let [shift (n.- idx /.width)]
-                     (#= (/.and (/.mask idx) pattern)
-                         (|> pattern
-                             (/.left_shifted shift)
-                             (/.right_shifted shift))))]
+                     (/#= (/.and (/.mask idx) pattern)
+                          (|> pattern
+                              (/.left_shifted shift)
+                              (/.right_shifted shift))))]
                (and nullity!
                     idempotency!
                     movement!))))
@@ -78,20 +78,20 @@
          signed random.int]
         (all _.and
              (_.coverage [/.sign]
-               (bit#= (#= (.i64 0) (/.and /.sign signed))
+               (bit#= (/#= (.i64 0) (/.and /.sign signed))
                       (i.positive? signed)))
              (_.coverage [/.mask]
                (let [mask (/.mask idx)
-                     idempotency! (#= (/.and mask pattern)
-                                      (/.and mask (/.and mask pattern)))
+                     idempotency! (/#= (/.and mask pattern)
+                                       (/.and mask (/.and mask pattern)))
 
                      limit (++ (.nat mask))
                      limit! (if (n.< limit pattern)
-                              (#= pattern (/.and mask pattern))
+                              (/#= pattern (/.and mask pattern))
                               (n.< limit (/.and mask pattern)))
 
-                     empty! (#= /.false (/.mask 0))
-                     full! (#= /.true (/.mask /.width))]
+                     empty! (/#= /.false (/.mask 0))
+                     full! (/#= /.true (/.mask /.width))]
                  (and idempotency!
                       limit!
 
@@ -103,19 +103,19 @@
                 offset (# ! each (n.% spare) random.nat)]
                (_.coverage [/.region]
                  (case size
-                   0 (#= /.false (/.region offset size))
-                   _ (#= (|> pattern
-                             ... NNNNYYYYNNNN
-                             (/.right_shifted offset)
-                             ... ____NNNNYYYY
-                             (/.left_shifted spare)
-                             ... YYYY________
-                             (/.right_shifted spare)
-                             ... ________YYYY
-                             (/.left_shifted offset)
-                             ... ____YYYY____
-                             )
-                         (/.and (/.region offset size) pattern)))))
+                   0 (/#= /.false (/.region offset size))
+                   _ (/#= (|> pattern
+                              ... NNNNYYYYNNNN
+                              (/.right_shifted offset)
+                              ... ____NNNNYYYY
+                              (/.left_shifted spare)
+                              ... YYYY________
+                              (/.right_shifted spare)
+                              ... ________YYYY
+                              (/.left_shifted offset)
+                              ... ____YYYY____
+                              )
+                          (/.and (/.region offset size) pattern)))))
              ))))
 
 (def: sub
@@ -143,7 +143,7 @@
                     ($equivalence.spec (# sub sub_equivalence) (random (# sub narrow)))
                     (_.coverage [/.sub]
                       (let [actual (|> expected .i64 (# sub narrow) (# sub wide))]
-                        (#= expected actual)))
+                        (/#= expected actual)))
                     ))))))
 
 (def: signature
@@ -175,27 +175,27 @@
              (_.coverage [/.false]
                (n.= 0 (/.ones /.false)))
              (_.coverage [/.or]
-               (and (#= /.true (/.or /.true pattern))
-                    (#= pattern (/.or /.false pattern))))
+               (and (/#= /.true (/.or /.true pattern))
+                    (/#= pattern (/.or /.false pattern))))
              (_.coverage [/.true]
                (n.= /.width (/.ones /.true)))
              (_.coverage [/.and]
-               (and (#= pattern (/.and /.true pattern))
-                    (#= /.false (/.and /.false pattern))))
+               (and (/#= pattern (/.and /.true pattern))
+                    (/#= /.false (/.and /.false pattern))))
              (_.coverage [/.not]
-               (and (#= /.false
-                        (/.and pattern
-                               (/.not pattern)))
-                    (#= /.true
-                        (/.or pattern
-                              (/.not pattern)))))
+               (and (/#= /.false
+                         (/.and pattern
+                                (/.not pattern)))
+                    (/#= /.true
+                         (/.or pattern
+                               (/.not pattern)))))
              (_.coverage [/.xor]
-               (and (#= /.true
-                        (/.xor pattern
-                               (/.not pattern)))
-                    (#= /.false
-                        (/.xor pattern
-                               pattern))))
+               (and (/#= /.true
+                         (/.xor pattern
+                                (/.not pattern)))
+                    (/#= /.false
+                         (/.xor pattern
+                                pattern))))
              (_.coverage [/.ones]
                (let [zero&one!
                      (if (/.one? idx pattern)
@@ -210,52 +210,52 @@
                       complementarity!)))
              (_.coverage [/.left_rotated /.right_rotated]
                (let [false!
-                     (and (#= /.false (/.left_rotated idx /.false))
-                          (#= /.false (/.right_rotated idx /.false)))
+                     (and (/#= /.false (/.left_rotated idx /.false))
+                          (/#= /.false (/.right_rotated idx /.false)))
 
                      true!
-                     (and (#= /.true (/.left_rotated idx /.true))
-                          (#= /.true (/.right_rotated idx /.true)))
+                     (and (/#= /.true (/.left_rotated idx /.true))
+                          (/#= /.true (/.right_rotated idx /.true)))
 
                      inverse!
                      (and (|> pattern
                               (/.left_rotated idx)
                               (/.right_rotated idx)
-                              (#= pattern))
+                              (/#= pattern))
                           (|> pattern
                               (/.right_rotated idx)
                               (/.left_rotated idx)
-                              (#= pattern)))
+                              (/#= pattern)))
 
                      nullity!
                      (and (|> pattern
                               (/.left_rotated 0)
-                              (#= pattern))
+                              (/#= pattern))
                           (|> pattern
                               (/.right_rotated 0)
-                              (#= pattern)))
+                              (/#= pattern)))
 
                      futility!
                      (and (|> pattern
                               (/.left_rotated /.width)
-                              (#= pattern))
+                              (/#= pattern))
                           (|> pattern
                               (/.right_rotated /.width)
-                              (#= pattern)))]
+                              (/#= pattern)))]
                  (and false!
                       true!
                       inverse!
                       nullity!
                       futility!)))
              (_.coverage [/.reversed]
-               (and (|> pattern /.reversed /.reversed (#= pattern))
-                    (or (|> pattern /.reversed (#= pattern) not)
+               (and (|> pattern /.reversed /.reversed (/#= pattern))
+                    (or (|> pattern /.reversed (/#= pattern) not)
                         (let [high (/.and (hex "FFFFFFFF00000000")
                                           pattern)
                               low (/.and (hex "00000000FFFFFFFF")
                                          pattern)]
-                          (#= (/.reversed high)
-                              low)))))
+                          (/#= (/.reversed high)
+                               low)))))
              
              ..bit
              ..shift
diff --git a/stdlib/source/test/lux/math/number/int.lux b/stdlib/source/test/lux/math/number/int.lux
index 200d932ea..1509a65fc 100644
--- a/stdlib/source/test/lux/math/number/int.lux
+++ b/stdlib/source/test/lux/math/number/int.lux
@@ -13,7 +13,7 @@
      ["$[0]" monoid]
      ["$[0]" codec]]]
    [data
-    ["[0]" bit ("[1]#[0]" equivalence)]]
+    ["[0]" bit (.open: "[1]#[0]" equivalence)]]
    [math
     ["[0]" random (.only Random)]]]]
  [\\library
diff --git a/stdlib/source/test/lux/math/number/nat.lux b/stdlib/source/test/lux/math/number/nat.lux
index 04a0418c1..733b6445e 100644
--- a/stdlib/source/test/lux/math/number/nat.lux
+++ b/stdlib/source/test/lux/math/number/nat.lux
@@ -13,7 +13,7 @@
      ["$[0]" monoid]
      ["$[0]" codec]]]
    [data
-    ["[0]" bit ("[1]#[0]" equivalence)]]
+    ["[0]" bit (.open: "[1]#[0]" equivalence)]]
    [math
     ["[0]" random]]]]
  [\\library
diff --git a/stdlib/source/test/lux/math/number/ratio.lux b/stdlib/source/test/lux/math/number/ratio.lux
index b851e47eb..fe01953dc 100644
--- a/stdlib/source/test/lux/math/number/ratio.lux
+++ b/stdlib/source/test/lux/math/number/ratio.lux
@@ -10,15 +10,15 @@
      ["$[0]" monoid]
      ["$[0]" codec]]]
    [control
-    ["[0]" maybe ("[1]#[0]" functor)]]
+    ["[0]" maybe (.open: "[1]#[0]" functor)]]
    [data
-    ["[0]" bit ("[1]#[0]" equivalence)]]
+    ["[0]" bit (.open: "[1]#[0]" equivalence)]]
    [math
     ["[0]" random (.only Random)]]]]
  [\\library
   ["[0]" / (.only)
    [//
-    ["n" nat ("[1]#[0]" equivalence)]]]])
+    ["n" nat (.open: "[1]#[0]" equivalence)]]]])
 
 (def: part
   (Random Nat)
diff --git a/stdlib/source/test/lux/math/number/rev.lux b/stdlib/source/test/lux/math/number/rev.lux
index 45ce9ff55..82b16e725 100644
--- a/stdlib/source/test/lux/math/number/rev.lux
+++ b/stdlib/source/test/lux/math/number/rev.lux
@@ -13,7 +13,7 @@
      ["$[0]" monoid]
      ["$[0]" codec]]]
    [data
-    ["[0]" bit ("[1]#[0]" equivalence)]]
+    ["[0]" bit (.open: "[1]#[0]" equivalence)]]
    [math
     ["[0]" random]]]]
  [\\library
@@ -21,7 +21,7 @@
    [// (.only hex)
     ["n" nat]
     ["f" frac]
-    ["[0]" i64 ("[1]#[0]" hash)]]]])
+    ["[0]" i64 (.open: "[1]#[0]" hash)]]]])
 
 (def: signature
   Test