Extensible import syntax [Part 6]

8 files changed, 20 insertions, 20 deletions

diff --git a/stdlib/source/specification/compositor/generation/case.lux b/stdlib/source/specification/compositor/generation/case.lux
index c0909a558..1fbde2917 100644
--- a/stdlib/source/specification/compositor/generation/case.lux
+++ b/stdlib/source/specification/compositor/generation/case.lux
@@ -7,13 +7,13 @@
    ["[0]" pipe]
    ["[0]" try (.only Try)]]
   [data
-   ["[0]" text ("[1]#[0]" equivalence)
+   ["[0]" text (.open: "[1]#[0]" equivalence)
     ["%" format (.only format)]]
    [number
     ["n" nat]
     ["f" frac]]
    [collection
-    ["[0]" list ("[1]#[0]" mix)]]]
+    ["[0]" list (.open: "[1]#[0]" mix)]]]
   [math
    ["r" random (.only Random)]]
   [tool
diff --git a/stdlib/source/specification/compositor/generation/common.lux b/stdlib/source/specification/compositor/generation/common.lux
index 334ce7012..e8d5e6ab4 100644
--- a/stdlib/source/specification/compositor/generation/common.lux
+++ b/stdlib/source/specification/compositor/generation/common.lux
@@ -7,13 +7,13 @@
    ["[0]" pipe]
    ["[0]" try (.only Try)]]
   [data
-   ["[0]" bit ("[1]#[0]" equivalence)]
+   ["[0]" bit (.open: "[1]#[0]" equivalence)]
    [number
     ["[0]" i64]
     ["n" nat]
     ["i" int]
     ["f" frac]]
-   ["[0]" text ("[1]#[0]" equivalence)
+   ["[0]" text (.open: "[1]#[0]" equivalence)
     ["%" format (.only format)]]
    [collection
     ["[0]" list]]]
diff --git a/stdlib/source/specification/compositor/generation/function.lux b/stdlib/source/specification/compositor/generation/function.lux
index d1ab6e87a..7e2c6d66f 100644
--- a/stdlib/source/specification/compositor/generation/function.lux
+++ b/stdlib/source/specification/compositor/generation/function.lux
@@ -10,9 +10,9 @@
    [number
     ["n" nat]]
    [collection
-    ["[0]" list ("[1]#[0]" functor)]]]
+    ["[0]" list (.open: "[1]#[0]" functor)]]]
   [math
-   ["r" random (.only Random) ("[1]#[0]" monad)]]
+   ["r" random (.only Random) (.open: "[1]#[0]" monad)]]
   [tool
    [compiler
     [analysis (.only Arity)]
diff --git a/stdlib/source/specification/compositor/generation/primitive.lux b/stdlib/source/specification/compositor/generation/primitive.lux
index 375cdf94c..d76f98f0a 100644
--- a/stdlib/source/specification/compositor/generation/primitive.lux
+++ b/stdlib/source/specification/compositor/generation/primitive.lux
@@ -7,10 +7,10 @@
    ["[0]" pipe]
    ["[0]" try]]
   [data
-   ["[0]" bit ("[1]#[0]" equivalence)]
+   ["[0]" bit (.open: "[1]#[0]" equivalence)]
    [number
     ["f" frac]]
-   ["[0]" text ("[1]#[0]" equivalence)
+   ["[0]" text (.open: "[1]#[0]" equivalence)
     ["%" format (.only format)]]]
   [math
    ["r" random]]
diff --git a/stdlib/source/specification/compositor/generation/structure.lux b/stdlib/source/specification/compositor/generation/structure.lux
index e43533acb..d914c309f 100644
--- a/stdlib/source/specification/compositor/generation/structure.lux
+++ b/stdlib/source/specification/compositor/generation/structure.lux
@@ -11,11 +11,11 @@
    [number
     ["n" nat]
     ["i" int]]
-   ["[0]" text ("[1]#[0]" equivalence)
+   ["[0]" text (.open: "[1]#[0]" equivalence)
     ["%" format (.only format)]]
    [collection
     ["[0]" array (.only Array)]
-    ["[0]" list ("[1]#[0]" functor)]]]
+    ["[0]" list (.open: "[1]#[0]" functor)]]]
   [math
    ["r" random]]
   ["[0]" ffi (.only import:)]
diff --git a/stdlib/source/specification/lux/abstract/equivalence.lux b/stdlib/source/specification/lux/abstract/equivalence.lux
index 8454e002a..eaa2a9b5b 100644
--- a/stdlib/source/specification/lux/abstract/equivalence.lux
+++ b/stdlib/source/specification/lux/abstract/equivalence.lux
@@ -5,7 +5,7 @@
    [abstract
     [monad (.only do)]]
    [data
-    ["[0]" bit ("[1]#[0]" equivalence)]]
+    ["[0]" bit (.open: "[1]#[0]" equivalence)]]
    [math
     ["[0]" random (.only Random)]]]]
  [\\library
diff --git a/stdlib/source/specification/lux/world/file.lux b/stdlib/source/specification/lux/world/file.lux
index 6075f38c7..0956528de 100644
--- a/stdlib/source/specification/lux/world/file.lux
+++ b/stdlib/source/specification/lux/world/file.lux
@@ -7,17 +7,17 @@
     ["[0]" predicate]]
    [control
     [io (.only IO)]
-    ["[0]" maybe ("[1]#[0]" functor)]
-    ["[0]" try ("[1]#[0]" functor)]
+    ["[0]" maybe (.open: "[1]#[0]" functor)]
+    ["[0]" try (.open: "[1]#[0]" functor)]
     ["[0]" exception]
     [concurrency
      ["[0]" async (.only Async)]]]
    [data
-    ["[0]" text ("[1]#[0]" equivalence)
+    ["[0]" text (.open: "[1]#[0]" equivalence)
      ["%" format (.only format)]
      [encoding
-      ["[0]" utf8 ("[1]#[0]" codec)]]]
-    ["[0]" binary (.only Binary) ("[1]#[0]" equivalence monoid)
+      ["[0]" utf8 (.open: "[1]#[0]" codec)]]]
+    ["[0]" binary (.only Binary) (.open: "[1]#[0]" equivalence monoid)
      ["$[1]" \\test]]
     [collection
      ["[0]" list]]]
@@ -26,7 +26,7 @@
     [number
      ["n" nat]]]
    [time
-    ["[0]" instant (.only Instant) ("[1]#[0]" equivalence)]]]]
+    ["[0]" instant (.only Instant) (.open: "[1]#[0]" equivalence)]]]]
  [\\library
   ["[0]" /]])
 
diff --git a/stdlib/source/specification/lux/world/shell.lux b/stdlib/source/specification/lux/world/shell.lux
index 3bff4626d..64e31abfe 100644
--- a/stdlib/source/specification/lux/world/shell.lux
+++ b/stdlib/source/specification/lux/world/shell.lux
@@ -5,14 +5,14 @@
    [abstract
     [monad (.only do)]]
    [control
-    ["[0]" try ("[1]#[0]" functor)]
+    ["[0]" try (.open: "[1]#[0]" functor)]
     [concurrency
-     ["[0]" async (.only Async) ("[1]#[0]" monad)]]
+     ["[0]" async (.only Async) (.open: "[1]#[0]" monad)]]
     [parser
      ["[0]" environment (.only Environment)]]]
    [data
     ["[0]" product]
-    ["[0]" text ("[1]#[0]" equivalence)
+    ["[0]" text (.open: "[1]#[0]" equivalence)
      ["%" format (.only format)]]]
    [math
     ["[0]" random]