De-sigil-ification: suffix : [Part 14]

author: Eduardo Julian 2022-06-16 21:37:38 -0400
committer: Eduardo Julian 2022-06-16 21:37:38 -0400
commit: 7249707e7c09be68dfb7507ba363efd3300a0141 (patch)
tree: 1fb4764458da16353315ea7e267f997c9be70f49 /stdlib/source/library/lux/tool/compiler
parent: e00e0b5f1e5fb509cf8f32424397110f524b8148 (diff)
214 files changed, 445 insertions, 445 deletions
diff --git a/stdlib/source/library/lux/tool/compiler/arity.lux b/stdlib/source/library/lux/tool/compiler/arity.lux
index 14e73f0c1..28078039c 100644
--- a/stdlib/source/library/lux/tool/compiler/arity.lux
+++ b/stdlib/source/library/lux/tool/compiler/arity.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except)
    [math
diff --git a/stdlib/source/library/lux/tool/compiler/default/init.lux b/stdlib/source/library/lux/tool/compiler/default/init.lux
index 8ad59fc2e..1e37db22b 100644
--- a/stdlib/source/library/lux/tool/compiler/default/init.lux
+++ b/stdlib/source/library/lux/tool/compiler/default/init.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except)
    ["@" target (.only Target)]
@@ -11,13 +11,13 @@
    [data
     [binary (.only Binary)]
     ["[0]" product]
-    ["[0]" text (.open: "[1]#[0]" hash)
+    ["[0]" text (.use "[1]#[0]" hash)
      ["%" \\format (.only format)]]
     [collection
-     ["[0]" list (.open: "[1]#[0]" functor)]
+     ["[0]" list (.use "[1]#[0]" functor)]
      ["[0]" dictionary]
      ["[0]" set]
-     ["[0]" sequence (.open: "[1]#[0]" functor)]]]
+     ["[0]" sequence (.use "[1]#[0]" functor)]]]
    [meta
     ["[0]" configuration (.only Configuration)]
     ["[0]" version]]
diff --git a/stdlib/source/library/lux/tool/compiler/default/platform.lux b/stdlib/source/library/lux/tool/compiler/default/platform.lux
index 07a7b4c0f..7b8115a43 100644
--- a/stdlib/source/library/lux/tool/compiler/default/platform.lux
+++ b/stdlib/source/library/lux/tool/compiler/default/platform.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except)
    ["@" target]
@@ -9,23 +9,23 @@
    [control
     ["[0]" function]
     ["[0]" maybe]
-    ["[0]" try (.only Try) (.open: "[1]#[0]" monad)]
+    ["[0]" try (.only Try) (.use "[1]#[0]" monad)]
     ["[0]" exception (.only exception:)]
     [concurrency
-     ["[0]" async (.only Async Resolver) (.open: "[1]#[0]" monad)]
+     ["[0]" async (.only Async Resolver) (.use "[1]#[0]" monad)]
      ["[0]" stm (.only Var STM)]]]
    [data
     ["[0]" bit]
     ["[0]" product]
     ["[0]" binary (.only Binary)
      ["_" \\format (.only Writer)]]
-    ["[0]" text (.open: "[1]#[0]" equivalence)
+    ["[0]" text (.use "[1]#[0]" equivalence)
      ["%" \\format (.only format)]]
     [collection
      ["[0]" dictionary (.only Dictionary)]
-     ["[0]" sequence (.only Sequence) (.open: "[1]#[0]" mix)]
+     ["[0]" sequence (.only Sequence) (.use "[1]#[0]" mix)]
      ["[0]" set (.only Set)]
-     ["[0]" list (.open: "[1]#[0]" monoid functor mix)]]]
+     ["[0]" list (.use "[1]#[0]" monoid functor mix)]]]
    ["[0]" meta (.only)
     ["[0]" configuration (.only Configuration)]]
    [type (.only sharing)
@@ -626,7 +626,7 @@
             product.left))
 
       ... TODO: Come up with a less hacky way to prevent duplicate imports.
-      ... This currently assumes that all imports will be specified once in a single .using form.
+      ... This currently assumes that all imports will be specified once in a single .require form.
       ... This might not be the case in the future.
       (def (with_new_dependencies new_dependencies all_dependencies)
         (-> (List descriptor.Module) (Set descriptor.Module) [(Set descriptor.Module) (Set descriptor.Module)])
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux.lux b/stdlib/source/library/lux/tool/compiler/language/lux.lux
index 7f601efff..b9d334818 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except)
    [control
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/analysis.lux b/stdlib/source/library/lux/tool/compiler/language/lux/analysis.lux
index 0a1b71dab..a74058ebb 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/analysis.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/analysis.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except Tuple Variant nat int rev case local except)
    [abstract
@@ -14,11 +14,11 @@
      ["<[0]>" code]]]
    [data
     ["[0]" product]
-    ["[0]" bit (.open: "[1]#[0]" equivalence)]
-    ["[0]" text (.open: "[1]#[0]" equivalence)
+    ["[0]" bit (.use "[1]#[0]" equivalence)]
+    ["[0]" text (.use "[1]#[0]" equivalence)
      ["%" \\format (.only Format)]]
     [collection
-     ["[0]" list (.open: "[1]#[0]" functor mix)]]]
+     ["[0]" list (.use "[1]#[0]" functor mix)]]]
    [macro
     [syntax (.only syntax)]]
    [math
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/complex.lux b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/complex.lux
index bca0b70e3..8c3fbea81 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/complex.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/complex.lux
@@ -1,15 +1,15 @@
-(.using
+(.require
  [library
   [lux (.except Tuple Variant)
    [abstract
     [equivalence (.only Equivalence)]
     [hash (.only Hash)]]
    [data
-    ["[0]" bit (.open: "[1]#[0]" equivalence)]
+    ["[0]" bit (.use "[1]#[0]" equivalence)]
     ["[0]" text (.only)
      ["%" \\format (.only Format)]]
     [collection
-     ["[0]" list (.open: "[1]#[0]" functor)]]]
+     ["[0]" list (.use "[1]#[0]" functor)]]]
    [math
     [number
      ["n" nat]]]]])
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/coverage.lux b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/coverage.lux
index a54acd867..2d3d15ef0 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/coverage.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/coverage.lux
@@ -1,27 +1,27 @@
-(.using
+(.require
  [library
   [lux (.except Variant)
    [abstract
     [equivalence (.except)]
     ["[0]" monad (.only do)]]
    [control
-    ["[0]" maybe (.open: "[1]#[0]" monoid monad)]
+    ["[0]" maybe (.use "[1]#[0]" monoid monad)]
     ["[0]" try (.only Try)]
     ["[0]" exception (.only exception:)]]
    [data
-    ["[0]" bit (.open: "[1]#[0]" equivalence)]
+    ["[0]" bit (.use "[1]#[0]" equivalence)]
     ["[0]" text (.only)
      ["%" \\format]]
     [collection
-     ["[0]" list (.open: "[1]#[0]" functor mix)]
+     ["[0]" list (.use "[1]#[0]" functor mix)]
      ["[0]" dictionary (.only Dictionary)]
-     ["[0]" set (.only Set) (.open: "[1]#[0]" equivalence)]]]
+     ["[0]" set (.only Set) (.use "[1]#[0]" equivalence)]]]
    [macro
     ["^" pattern]
     ["[0]" template]]
    [math
     [number
-     ["n" nat (.open: "[1]#[0]" interval)]
+     ["n" nat (.use "[1]#[0]" interval)]
      ["i" int]
      ["r" rev]
      ["f" frac]]]]]
@@ -118,7 +118,7 @@
        _
        #0))))
 
-(open: "/#[0]" ..equivalence)
+(use "/#[0]" ..equivalence)
 
 (def .public (format value)
   (%.Format Coverage)
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/evaluation.lux b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/evaluation.lux
index 69efc223d..d0bb26946 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/evaluation.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/evaluation.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except)
    [type (.only sharing)]
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/inference.lux b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/inference.lux
index cecf9c460..f177b638e 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/inference.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/inference.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except)
    ["[0]" meta]
@@ -13,7 +13,7 @@
     ["[0]" text (.only)
      ["%" \\format (.only format)]]
     [collection
-     ["[0]" list (.open: "[1]#[0]" functor monoid)]]]
+     ["[0]" list (.use "[1]#[0]" functor monoid)]]]
    [macro
     ["^" pattern]
     ["[0]" template]]
@@ -28,7 +28,7 @@
    [phase
     ["[0]" extension]]
    [///
-    ["[0]" phase (.open: "[1]#[0]" monad)]
+    ["[0]" phase (.use "[1]#[0]" monad)]
     [meta
      [archive (.only Archive)]]]]])
 
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/macro.lux b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/macro.lux
index e66c897e9..50fdf139b 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/macro.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/macro.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except)
    [abstract
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/module.lux b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/module.lux
index a2f23afd5..eb893d890 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/module.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/module.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except Label with)
    [abstract
@@ -8,10 +8,10 @@
     ["[0]" try]
     ["[0]" exception (.only exception:)]]
    [data
-    ["[0]" text (.open: "[1]#[0]" equivalence)
+    ["[0]" text (.use "[1]#[0]" equivalence)
      ["%" \\format (.only format)]]
     [collection
-     ["[0]" list (.open: "[1]#[0]" mix functor)]
+     ["[0]" list (.use "[1]#[0]" mix functor)]
      [dictionary
       ["[0]" plist]]]]
    ["[0]" meta]]]
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/pattern.lux b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/pattern.lux
index 841a39b77..f198494ad 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/pattern.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/pattern.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except nat int rev)
    [abstract
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/scope.lux b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/scope.lux
index 7491c9f00..03edb5564 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/scope.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/scope.lux
@@ -1,17 +1,17 @@
-(.using
+(.require
  [library
   [lux (.except local with)
    [abstract
     [monad (.only do)]]
    [control
-    ["[0]" maybe (.open: "[1]#[0]" monad)]
+    ["[0]" maybe (.use "[1]#[0]" monad)]
     ["[0]" try]
     ["[0]" exception (.only exception:)]]
    [data
-    ["[0]" text (.open: "[1]#[0]" equivalence)]
+    ["[0]" text (.use "[1]#[0]" equivalence)]
     ["[0]" product]
     [collection
-     ["[0]" list (.open: "[1]#[0]" functor mix monoid)]
+     ["[0]" list (.use "[1]#[0]" functor mix monoid)]
      [dictionary
       ["[0]" plist]]]]]]
  ["/" // (.only Environment Operation Phase)
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/simple.lux b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/simple.lux
index 25ba7b1bd..3a4e21bdf 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/simple.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/simple.lux
@@ -1,11 +1,11 @@
-(.using
+(.require
  [library
   [lux (.except)
    [abstract
     [equivalence (.only Equivalence)]]
    [data
-    ["[0]" bit (.open: "[1]#[0]" equivalence)]
-    ["[0]" text (.open: "[1]#[0]" equivalence)
+    ["[0]" bit (.use "[1]#[0]" equivalence)]
+    ["[0]" text (.use "[1]#[0]" equivalence)
      ["%" \\format (.only Format)]]]
    [macro
     ["^" pattern]]
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/type.lux b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/type.lux
index 007289a0a..182199934 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/type.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/type.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except)
    ["[0]" meta]
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/directive.lux b/stdlib/source/library/lux/tool/compiler/language/lux/directive.lux
index 2682f80d8..091ac3b6c 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/directive.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/directive.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except Module)
    [abstract
@@ -7,7 +7,7 @@
     ["[0]" try]]
    [data
     [collection
-     ["[0]" list (.open: "[1]#[0]" monoid)]]]]]
+     ["[0]" list (.use "[1]#[0]" monoid)]]]]]
  [//
   ["[0]" analysis]
   ["[0]" synthesis]
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/generation.lux b/stdlib/source/library/lux/tool/compiler/language/lux/generation.lux
index 8bc9502fc..6a73833fa 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/generation.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/generation.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except symbol)
    [abstract
@@ -10,11 +10,11 @@
    [data
     [binary (.only Binary)]
     ["[0]" product]
-    ["[0]" text (.open: "[1]#[0]" equivalence)
+    ["[0]" text (.use "[1]#[0]" equivalence)
      ["%" \\format (.only format)]]
     [collection
      ["[0]" sequence (.only Sequence)]
-     ["[0]" list (.open: "[1]#[0]" functor mix)]
+     ["[0]" list (.use "[1]#[0]" functor mix)]
      ["[0]" set (.only Set)]]]
    [macro
     ["^" pattern]
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis.lux
index 1c621d0ff..025c953c3 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except)
    [abstract
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/case.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/case.lux
index 728eb24ec..8e3fff991 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/case.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/case.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except case)
    ["[0]" meta]
@@ -13,7 +13,7 @@
     [text
      ["%" \\format (.only format)]]
     [collection
-     ["[0]" list (.open: "[1]#[0]" mix monoid monad)]]]
+     ["[0]" list (.use "[1]#[0]" mix monoid monad)]]]
    [math
     [number
      ["n" nat]]]
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/complex.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/complex.lux
index e0c2a8b41..b0c35fb9f 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/complex.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/complex.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except)
    ["[0]" meta]
@@ -11,10 +11,10 @@
     ["[0]" state]]
    [data
     ["[0]" product]
-    ["[0]" text (.open: "[1]#[0]" equivalence)
+    ["[0]" text (.use "[1]#[0]" equivalence)
      ["%" \\format (.only format)]]
     [collection
-     ["[0]" list (.open: "[1]#[0]" monad)]
+     ["[0]" list (.use "[1]#[0]" monad)]
      ["[0]" dictionary (.only Dictionary)]]]
    [macro
     ["[0]" code]]
@@ -35,7 +35,7 @@
      ["[1][0]" type]
      ["[1][0]" inference]]
     [///
-     ["[1]" phase (.open: "[1]#[0]" monad)]
+     ["[1]" phase (.use "[1]#[0]" monad)]
      [meta
       [archive (.only Archive)]]]]]])
 
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/function.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/function.lux
index 3b3a319d3..0592768b2 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/function.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/function.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except function)
    ["[0]" meta]
@@ -13,7 +13,7 @@
     ["[0]" text (.only)
      ["%" \\format (.only format)]]
     [collection
-     ["[0]" list (.open: "[1]#[0]" monoid monad)]]]
+     ["[0]" list (.use "[1]#[0]" monoid monad)]]]
    [math
     [number
      ["n" nat]]]
@@ -27,7 +27,7 @@
     ["[1][0]" inference]
     ["[1][0]" scope]]
    [///
-    ["[1]" phase (.open: "[1]#[0]" functor)]
+    ["[1]" phase (.use "[1]#[0]" functor)]
     [reference (.only)
      [variable (.only)]]]]])
 
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/reference.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/reference.lux
index cb4011c73..a46905cf1 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/reference.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/reference.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except)
    ["[0]" meta]
@@ -7,7 +7,7 @@
    [control
     ["[0]" exception (.only exception:)]]
    [data
-    ["[0]" text (.open: "[1]#[0]" equivalence)
+    ["[0]" text (.use "[1]#[0]" equivalence)
      ["%" \\format (.only format)]]]
    [macro
     ["^" pattern]]]]
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/simple.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/simple.lux
index 416780c05..c20161ec3 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/simple.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/simple.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except nat int rev)
    [abstract
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/directive.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/directive.lux
index 6669776fa..4cb90a248 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/directive.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/directive.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except)
    ["[0]" meta]
@@ -11,7 +11,7 @@
     [text
      ["%" \\format (.only format)]]
     [collection
-     ["[0]" list (.open: "[1]#[0]" mix monoid)]]]]]
+     ["[0]" list (.use "[1]#[0]" mix monoid)]]]]]
  ["[0]" //
   ["[1][0]" extension]
   ["[1][0]" analysis]
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension.lux
index 2f7e4ad0f..6844779c4 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except with)
    [abstract
@@ -11,7 +11,7 @@
     ["[0]" exception (.only exception:)]]
    [data
     ["[0]" product]
-    ["[0]" text (.open: "[1]#[0]" order)
+    ["[0]" text (.use "[1]#[0]" order)
      ["%" \\format (.only Format format)]]
     [collection
      ["[0]" list]
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis.lux
index e11214c8b..2a887e12d 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except)
    [data
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/common_lisp.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/common_lisp.lux
index 962ad9aea..5e7529857 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/common_lisp.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/common_lisp.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except)
    ["[0]" ffi]
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/js.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/js.lux
index 71082e284..605c39956 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/js.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/js.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except)
    ["[0]" ffi]
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/jvm.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/jvm.lux
index 645d0366c..2200e481c 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/jvm.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/jvm.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except Type Module Primitive type char int)
    ["[0]" ffi (.only import)]
@@ -8,8 +8,8 @@
     ["[0]" predicate]]
    [control
     ["[0]" pipe]
-    ["[0]" maybe (.open: "[1]#[0]" functor)]
-    ["[0]" try (.only Try) (.open: "[1]#[0]" monad)]
+    ["[0]" maybe (.use "[1]#[0]" functor)]
+    ["[0]" try (.only Try) (.use "[1]#[0]" monad)]
     ["[0]" exception (.only exception:)]
     ["<>" parser (.only)
      ["<[0]>" code (.only Parser)]]]
@@ -17,11 +17,11 @@
     [binary (.only Binary)
      ["[0]" \\format]]
     ["[0]" product]
-    ["[0]" text (.open: "[1]#[0]" equivalence)
+    ["[0]" text (.use "[1]#[0]" equivalence)
      ["%" \\format (.only format)]
      ["<[1]>" \\parser]]
     [collection
-     ["[0]" list (.open: "[1]#[0]" mix monad monoid)]
+     ["[0]" list (.use "[1]#[0]" mix monad monoid)]
      ["[0]" array]
      ["[0]" dictionary (.only Dictionary)]
      ["[0]" sequence]]]
@@ -35,8 +35,8 @@
    [target
     ["[0]" jvm
      ["[0]!" reflection]
-     ["_" bytecode (.only Bytecode) (.open: "[1]#[0]" monad)]
-     ["[0]" modifier (.only Modifier) (.open: "[1]#[0]" monoid)]
+     ["_" bytecode (.only Bytecode) (.use "[1]#[0]" monad)]
+     ["[0]" modifier (.only Modifier) (.use "[1]#[0]" monoid)]
      ["[0]" attribute]
      ["[0]" field]
      ["[0]" version]
@@ -46,7 +46,7 @@
       ["[0]" pool (.only Resource)]]
      [encoding
       ["[0]" name (.only External)]]
-     ["[1]" type (.only Type Argument Typed) (.open: "[1]#[0]" equivalence)
+     ["[1]" type (.only Type Argument Typed) (.use "[1]#[0]" equivalence)
       ["[0]" category (.only Void Value' Value Return' Return Primitive Object Class Array Var Parameter Method)]
       ["[0]" box]
       ["[0]" reflection]
@@ -56,7 +56,7 @@
       ["[0]" alias (.only Aliasing)]
       ["[0]T" lux (.only Mapping)]]]]
    ["[0]" type (.only)
-    ["[0]" check (.only Check) (.open: "[1]#[0]" monad)]]]]
+    ["[0]" check (.only Check) (.use "[1]#[0]" monad)]]]]
  ["[0]" //
   ["[1][0]" lux (.only custom)]
   ["/[1]" // (.only)
@@ -77,7 +77,7 @@
       ["[0]A" type]
       ["[0]" scope]]
      [///
-      ["[0]" phase (.open: "[1]#[0]" monad)]
+      ["[0]" phase (.use "[1]#[0]" monad)]
       ["[0]" reference (.only)
        ["[0]" variable]]
       [meta
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/lua.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/lua.lux
index 3b58108c8..2cd5b0a68 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/lua.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/lua.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except)
    ["[0]" ffi]
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/lux.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/lux.lux
index f201ff72b..400a7a5e7 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/lux.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/lux.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except)
    [abstract
@@ -13,7 +13,7 @@
     ["[0]" text (.only)
      ["%" \\format (.only format)]]
     [collection
-     ["[0]" list (.open: "[1]#[0]" functor)]
+     ["[0]" list (.use "[1]#[0]" functor)]
      ["[0]" dictionary (.only Dictionary)]]]
    [macro
     ["^" pattern]]
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/php.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/php.lux
index d2f402d79..04896e028 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/php.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/php.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except)
    ["[0]" ffi]
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/python.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/python.lux
index 96d175553..cc77fa604 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/python.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/python.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except)
    ["[0]" ffi]
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/r.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/r.lux
index 5e2f27c47..c499e23d8 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/r.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/r.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except)
    ["[0]" ffi]
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/ruby.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/ruby.lux
index c75faf63a..57f47077e 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/ruby.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/ruby.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except)
    ["[0]" ffi]
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/scheme.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/scheme.lux
index b76766cf7..bb57f5668 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/scheme.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/scheme.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except)
    ["[0]" ffi]
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/bundle.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/bundle.lux
index 1e2674dc4..1436c1002 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/bundle.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/bundle.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except)
    [abstract
@@ -7,7 +7,7 @@
     ["[0]" text (.only)
      ["%" \\format (.only format)]]
     [collection
-     ["[0]" list (.open: "[1]#[0]" functor)]
+     ["[0]" list (.use "[1]#[0]" functor)]
      ["[0]" dictionary (.only Dictionary)]]]]]
  [// (.only Handler Bundle)])
 
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/directive/jvm.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/directive/jvm.lux
index 960e51493..21f260fb8 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/directive/jvm.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/directive/jvm.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except Type Definition Primitive)
    ["[0]" ffi (.only import)]
@@ -6,9 +6,9 @@
     ["[0]" monad (.only do)]]
    [control
     ["[0]" pipe]
-    ["[0]" try (.only Try) (.open: "[1]#[0]" functor)]
+    ["[0]" try (.only Try) (.use "[1]#[0]" functor)]
     ["[0]" exception]
-    ["<>" parser (.open: "[1]#[0]" monad)
+    ["<>" parser (.use "[1]#[0]" monad)
      ["<[0]>" code (.only Parser)]]]
    [data
     ["[0]" product]
@@ -18,7 +18,7 @@
      ["%" \\format (.only format)]
      ["<[1]>" \\parser]]
     [collection
-     ["[0]" list (.open: "[1]#[0]" functor mix)]
+     ["[0]" list (.use "[1]#[0]" functor mix)]
      ["[0]" dictionary]
      ["[0]" sequence]
      ["[0]" set (.only Set)]]]
@@ -31,8 +31,8 @@
      ["[0]" i32]]]
    [target
     [jvm
-     ["_" bytecode (.only Bytecode) (.open: "[1]#[0]" monad)]
-     ["[0]" modifier (.only Modifier) (.open: "[1]#[0]" monoid)]
+     ["_" bytecode (.only Bytecode) (.use "[1]#[0]" monad)]
+     ["[0]" modifier (.only Modifier) (.use "[1]#[0]" monoid)]
      ["[0]" attribute]
      ["[0]" field]
      ["[0]" version]
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/directive/lux.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/directive/lux.lux
index a8117080a..0b905495a 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/directive/lux.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/directive/lux.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except)
    ["@" target]
@@ -7,7 +7,7 @@
     ["[0]" monad (.only do)]]
    [control
     [io (.only IO)]
-    ["[0]" maybe (.open: "[1]#[0]" functor)]
+    ["[0]" maybe (.use "[1]#[0]" functor)]
     ["[0]" try]
     ["[0]" exception (.only exception:)]
     ["<>" parser (.only)
@@ -20,7 +20,7 @@
     [collection
      ["[0]" dictionary]
      ["[0]" array]
-     ["[0]" list (.open: "[1]#[0]" functor mix)]
+     ["[0]" list (.use "[1]#[0]" functor mix)]
      ["[0]" set (.only Set)]]]
    [macro
     ["^" pattern]
@@ -28,7 +28,7 @@
    [math
     [number
      ["n" nat]]]
-   ["[0]" type (.only sharing) (.open: "[1]#[0]" equivalence)
+   ["[0]" type (.only sharing) (.use "[1]#[0]" equivalence)
     ["[0]" check]]]]
  ["[0]" /// (.only Extender)
   ["[1][0]" bundle]
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/common_lisp.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/common_lisp.lux
index 246b7455e..94afa28d6 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/common_lisp.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/common_lisp.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except)
    [data
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/common_lisp/common.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/common_lisp/common.lux
index 51ed09e66..62bd29a68 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/common_lisp/common.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/common_lisp/common.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except)
    [abstract
@@ -14,7 +14,7 @@
     [collection
      ["[0]" dictionary]
      ["[0]" set]
-     ["[0]" list (.open: "[1]#[0]" functor mix)]]]
+     ["[0]" list (.use "[1]#[0]" functor mix)]]]
    [math
     [number
      ["f" frac]]]
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/common_lisp/host.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/common_lisp/host.lux
index a68ac7532..987668fa2 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/common_lisp/host.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/common_lisp/host.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except)]]
  [////
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/js.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/js.lux
index e3b3165e9..9dde05bab 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/js.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/js.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except)
    [data
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/js/common.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/js/common.lux
index 8f07958c0..150ff7dee 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/js/common.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/js/common.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except)
    [abstract
@@ -9,7 +9,7 @@
    [data
     ["[0]" product]
     [collection
-     ["[0]" list (.open: "[1]#[0]" functor)]
+     ["[0]" list (.use "[1]#[0]" functor)]
      ["[0]" dictionary]]]
    [macro
     ["^" pattern]]
@@ -37,7 +37,7 @@
     ["[0]" synthesis (.only %synthesis)
      ["<s>" \\parser (.only Parser)]]
     [///
-     ["[1]" phase (.open: "[1]#[0]" monad)]]]]])
+     ["[1]" phase (.use "[1]#[0]" monad)]]]]])
 
 (def .public (custom [parser handler])
   (All (_ s)
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/js/host.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/js/host.lux
index 5d15df243..164544520 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/js/host.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/js/host.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except)
    [abstract
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/jvm.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/jvm.lux
index 8f05447f9..6bed843bd 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/jvm.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/jvm.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except)
    [data
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/jvm/common.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/jvm/common.lux
index febd59454..8daa095ba 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/jvm/common.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/jvm/common.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except Type Label Primitive)
    [abstract
@@ -10,7 +10,7 @@
    [data
     ["[0]" product]
     [collection
-     ["[0]" list (.open: "[1]#[0]" monad)]
+     ["[0]" list (.use "[1]#[0]" monad)]
      ["[0]" dictionary]]]
    [math
     [number
@@ -18,7 +18,7 @@
      ["[0]" i32]]]
    [target
     [jvm
-     ["_" bytecode (.only Label Bytecode) (.open: "[1]#[0]" monad)]
+     ["_" bytecode (.only Label Bytecode) (.use "[1]#[0]" monad)]
      [encoding
       ["[0]" signed (.only S4)]]
      ["[0]" type (.only Type)
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/jvm/host.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/jvm/host.lux
index a13cef376..772a680e6 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/jvm/host.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/jvm/host.lux
@@ -1,21 +1,21 @@
-(.using
+(.require
  [library
   [lux (.except Type Primitive)
    [abstract
     ["[0]" monad (.only do)]]
    [control
     ["<>" parser]
-    ["[0]" maybe (.open: "[1]#[0]" functor)]
+    ["[0]" maybe (.use "[1]#[0]" functor)]
     ["[0]" exception (.only exception:)]]
    [data
     ["[0]" product]
     [binary
      ["[0]" \\format]]
-    ["[0]" text (.open: "[1]#[0]" equivalence)
+    ["[0]" text (.use "[1]#[0]" equivalence)
      ["%" \\format]
      ["<[1]>" \\parser]]
     [collection
-     ["[0]" list (.open: "[1]#[0]" monad mix monoid)]
+     ["[0]" list (.use "[1]#[0]" monad mix monoid)]
      ["[0]" dictionary (.only Dictionary)]
      ["[0]" set (.only Set)]
      ["[0]" sequence]]]
@@ -29,14 +29,14 @@
    [target
     [jvm
      ["[0]" version]
-     ["[0]" modifier (.open: "[1]#[0]" monoid)]
+     ["[0]" modifier (.use "[1]#[0]" monoid)]
      ["[0]" method (.only Method)]
      ["[0]" class (.only Class)]
      [constant
       [pool (.only Resource)]]
      [encoding
       ["[0]" name]]
-     ["_" bytecode (.only Bytecode) (.open: "[1]#[0]" monad)
+     ["_" bytecode (.only Bytecode) (.use "[1]#[0]" monad)
       ["__" instruction (.only Primitive_Array_Type)]]
      ["[0]" type (.only Type Typed Argument)
       ["[0]" category (.only Void Value' Value Return' Return Primitive Object Array Var Parameter)]
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/lua.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/lua.lux
index 8860a5568..35d3f07b8 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/lua.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/lua.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except)
    [data
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/lua/common.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/lua/common.lux
index 14c293e39..560f6c1ae 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/lua/common.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/lua/common.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except)
    [abstract
@@ -13,7 +13,7 @@
      ["%" \\format (.only format)]]
     [collection
      ["[0]" dictionary]
-     ["[0]" list (.open: "[1]#[0]" functor mix)]]]
+     ["[0]" list (.use "[1]#[0]" functor mix)]]]
    [macro
     ["^" pattern]]
    [math
@@ -41,7 +41,7 @@
     ["[0]" synthesis (.only %synthesis)
      ["<s>" \\parser (.only Parser)]]
     [///
-     ["[1]" phase (.open: "[1]#[0]" monad)]]]]])
+     ["[1]" phase (.use "[1]#[0]" monad)]]]]])
 
 (def .public (custom [parser handler])
   (All (_ s)
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/lua/host.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/lua/host.lux
index 6d8a3bf73..6546b3d1c 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/lua/host.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/lua/host.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except)
    [abstract
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/php.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/php.lux
index 4d9c8ab95..2a76ad856 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/php.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/php.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except)
    [data
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/php/common.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/php/common.lux
index 02ecee4d4..d908ed1a3 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/php/common.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/php/common.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except)
    [abstract
@@ -14,7 +14,7 @@
     [collection
      ["[0]" dictionary]
      ["[0]" set]
-     ["[0]" list (.open: "[1]#[0]" functor mix)]]]
+     ["[0]" list (.use "[1]#[0]" functor mix)]]]
    [math
     [number
      ["f" frac]]]
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/php/host.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/php/host.lux
index d63c2c626..80e7f0f66 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/php/host.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/php/host.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except)
    [abstract
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/python.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/python.lux
index bb9e2638d..8adf1ec86 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/python.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/python.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except)
    [data
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/python/common.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/python/common.lux
index 3335bf992..f36712cd4 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/python/common.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/python/common.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except)
    [abstract
@@ -13,7 +13,7 @@
      ["%" \\format (.only format)]]
     [collection
      ["[0]" dictionary]
-     ["[0]" list (.open: "[1]#[0]" functor mix)]]]
+     ["[0]" list (.use "[1]#[0]" functor mix)]]]
    [macro
     ["^" pattern]]
    [math
@@ -43,7 +43,7 @@
     ["[0]" synthesis (.only %synthesis)
      ["<[1]>" \\parser (.only Parser)]]
     [///
-     ["[1]" phase (.open: "[1]#[0]" monad)]]]]])
+     ["[1]" phase (.use "[1]#[0]" monad)]]]]])
 
 (def .public (statement expression archive synthesis)
   Phase!
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/python/host.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/python/host.lux
index 1c1f170ce..16d98cda5 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/python/host.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/python/host.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except)
    [abstract
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/r.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/r.lux
index 487b9958b..1a9b58970 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/r.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/r.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except)
    [data
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/r/common.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/r/common.lux
index cdcfb555b..a03635054 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/r/common.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/r/common.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except)
    [abstract
@@ -14,7 +14,7 @@
     [collection
      ["[0]" dictionary]
      ["[0]" set]
-     ["[0]" list (.open: "[1]#[0]" functor mix)]]]
+     ["[0]" list (.use "[1]#[0]" functor mix)]]]
    [math
     [number
      ["f" frac]]]
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/r/host.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/r/host.lux
index 3fa89672c..8939e5c6c 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/r/host.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/r/host.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except)
    [abstract
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/ruby.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/ruby.lux
index 180444525..3852ff8b4 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/ruby.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/ruby.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except)
    [data
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/ruby/common.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/ruby/common.lux
index 0537a3539..a9681db10 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/ruby/common.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/ruby/common.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except)
    [abstract
@@ -13,7 +13,7 @@
      ["%" \\format (.only format)]]
     [collection
      ["[0]" dictionary]
-     ["[0]" list (.open: "[1]#[0]" functor mix)]]]
+     ["[0]" list (.use "[1]#[0]" functor mix)]]]
    [macro
     ["^" pattern]]
    [math
@@ -41,7 +41,7 @@
     ["[0]" synthesis (.only %synthesis)
      ["<s>" \\parser (.only Parser)]]
     [///
-     ["[1]" phase (.open: "[1]#[0]" monad)]]]]])
+     ["[1]" phase (.use "[1]#[0]" monad)]]]]])
 
 (def .public (custom [parser handler])
   (All (_ s)
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/ruby/host.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/ruby/host.lux
index ce451a263..f5ee0933c 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/ruby/host.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/ruby/host.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except)
    [abstract
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/scheme.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/scheme.lux
index fdca305d2..e2a5ce49f 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/scheme.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/scheme.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except)
    [data
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/scheme/common.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/scheme/common.lux
index 20d9da33e..c46114d06 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/scheme/common.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/scheme/common.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except)
    [abstract
@@ -14,7 +14,7 @@
     [collection
      ["[0]" dictionary]
      ["[0]" set]
-     ["[0]" list (.open: "[1]#[0]" functor mix)]]]
+     ["[0]" list (.use "[1]#[0]" functor mix)]]]
    [math
     [number
      ["f" frac]]]
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/scheme/host.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/scheme/host.lux
index a3989de9f..9d8242967 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/scheme/host.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/scheme/host.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except)
    [abstract
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/synthesis.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/synthesis.lux
index fcfa9b7ea..54b8a874b 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/synthesis.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/synthesis.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except)]]
  [//
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp.lux
index e31b13851..9087341e0 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except)
    [abstract
@@ -21,7 +21,7 @@
      [analysis (.only)]
      ["[1][0]" synthesis]
      ["//[1]" ///
-      ["[1][0]" phase (.open: "[1]#[0]" monad)]
+      ["[1][0]" phase (.use "[1]#[0]" monad)]
       [reference (.only)
        [variable (.only)]]]]]]])
 
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/case.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/case.lux
index 671b46045..333171c4a 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/case.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/case.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except case let if)
    [abstract
@@ -9,7 +9,7 @@
     ["[0]" text (.only)
      ["%" \\format (.only format)]]
     [collection
-     ["[0]" list (.open: "[1]#[0]" functor mix monoid)]
+     ["[0]" list (.use "[1]#[0]" functor mix monoid)]
      ["[0]" set]]]
    [macro
     ["^" pattern]]
@@ -33,7 +33,7 @@
      ["//[1]" ///
       [reference
        ["[1][0]" variable (.only Register)]]
-      ["[1][0]" phase (.open: "[1]#[0]" monad)]
+      ["[1][0]" phase (.use "[1]#[0]" monad)]
       [meta
        [archive (.only Archive)]]]]]]])
 
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/extension.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/extension.lux
index eac649c9c..1d1c8473f 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/extension.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/extension.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except)
    [data
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/extension/common.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/extension/common.lux
index e0e2a756d..773a50b72 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/extension/common.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/extension/common.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except)
    [abstract
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/function.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/function.lux
index 9029be0ed..e04607dd1 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/function.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/function.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except function)
    [abstract
@@ -10,7 +10,7 @@
     [text
      ["%" \\format (.only format)]]
     [collection
-     ["[0]" list (.open: "[1]#[0]" functor)]]]
+     ["[0]" list (.use "[1]#[0]" functor)]]]
    [target
     ["_" common_lisp (.only Expression Var/1)]]]]
  ["[0]" //
@@ -25,7 +25,7 @@
     ["[1][0]" generation (.only Context)]
     ["//[1]" ///
      [arity (.only Arity)]
-     ["[1][0]" phase (.open: "[1]#[0]" monad)]
+     ["[1][0]" phase (.use "[1]#[0]" monad)]
      [reference
       [variable (.only Register Variable)]]]]]])
 
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/loop.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/loop.lux
index f71d3e18b..6ab3d1e38 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/loop.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/loop.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except Scope)
    [abstract
@@ -8,7 +8,7 @@
     [text
      ["%" \\format (.only format)]]
     [collection
-     ["[0]" list (.open: "[1]#[0]" functor)]]]
+     ["[0]" list (.use "[1]#[0]" functor)]]]
    [math
     [number
      ["n" nat]]]
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/primitive.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/primitive.lux
index 419179137..463cefc17 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/primitive.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/primitive.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except i64)
    [target
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/reference.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/reference.lux
index 7b2dcab79..7475687e5 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/reference.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/reference.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except)
    [target
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/runtime.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/runtime.lux
index a924fbe8f..20b1afabf 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/runtime.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/runtime.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except Location)
    ["[0]" meta]
@@ -10,11 +10,11 @@
      ["<[0]>" code]]]
    [data
     ["[0]" product]
-    ["[0]" text (.open: "[1]#[0]" hash)
+    ["[0]" text (.use "[1]#[0]" hash)
      ["%" \\format (.only format)]
      ["[0]" encoding]]
     [collection
-     ["[0]" list (.open: "[1]#[0]" functor monoid)]
+     ["[0]" list (.use "[1]#[0]" functor monoid)]
      ["[0]" sequence]]]
    ["[0]" macro (.only)
     [syntax (.only syntax)]
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/structure.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/structure.lux
index 05ed5efea..3796405b1 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/structure.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/structure.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except)
    [abstract
@@ -12,7 +12,7 @@
    [analysis (.only Variant Tuple)]
    ["[1][0]" synthesis (.only Synthesis)]
    ["//[1]" ///
-    ["[1][0]" phase (.open: "[1]#[0]" monad)]]]])
+    ["[1][0]" phase (.use "[1]#[0]" monad)]]]])
 
 (def .public (tuple expression archive elemsS+)
   (Generator (Tuple Synthesis))
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/extension.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/extension.lux
index 680957008..6dde26d12 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/extension.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/extension.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except)
    [abstract
@@ -8,7 +8,7 @@
      ["<[0]>" code]]]
    [data
     [collection
-     ["[0]" list (.open: "[1]#[0]" functor)]]]
+     ["[0]" list (.use "[1]#[0]" functor)]]]
    ["[0]" meta]
    ["[0]" macro (.only with_symbols)
     ["[0]" code]
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js.lux
index 5d6b92824..657e876ea 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except)
    [abstract
@@ -28,7 +28,7 @@
      [analysis (.only)]
      ["[0]" synthesis]
      ["//[1]" ///
-      ["[1][0]" phase (.open: "[1]#[0]" monad)]
+      ["[1][0]" phase (.use "[1]#[0]" monad)]
       [reference (.only)
        [variable (.only)]]]]]]])
 
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/case.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/case.lux
index 2e48dea7c..ce5b1a3f8 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/case.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/case.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except case exec let if)
    [abstract
@@ -8,7 +8,7 @@
    [data
     ["[0]" text]
     [collection
-     ["[0]" list (.open: "[1]#[0]" functor mix)]]]
+     ["[0]" list (.use "[1]#[0]" functor mix)]]]
    [macro
     ["^" pattern]]
    [math
@@ -32,7 +32,7 @@
      ["//[1]" ///
       [reference
        [variable (.only Register)]]
-      ["[1][0]" phase (.open: "[1]#[0]" monad)]
+      ["[1][0]" phase (.use "[1]#[0]" monad)]
       [meta
        [archive (.only Archive)]]]]]]])
 
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/function.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/function.lux
index c7c5226ac..6121a5b53 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/function.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/function.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except function)
    [abstract
@@ -8,7 +8,7 @@
     [text
      ["%" \\format (.only format)]]
     [collection
-     ["[0]" list (.open: "[1]#[0]" functor mix)]]]
+     ["[0]" list (.use "[1]#[0]" functor mix)]]]
    [target
     ["_" js (.only Expression Computation Var Statement)]]]]
  ["[0]" //
@@ -23,7 +23,7 @@
     ["[1][0]" generation]
     ["//[1]" ///
      [arity (.only Arity)]
-     ["[1][0]" phase (.open: "[1]#[0]" monad)]
+     ["[1][0]" phase (.use "[1]#[0]" monad)]
      [reference
       [variable (.only Register Variable)]]
      [meta
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/loop.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/loop.lux
index eb9d60063..98411011a 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/loop.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/loop.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except Scope)
    [abstract
@@ -8,7 +8,7 @@
     ["[0]" text (.only)
      ["%" \\format (.only format)]]
     [collection
-     ["[0]" list (.open: "[1]#[0]" functor mix)]]]
+     ["[0]" list (.use "[1]#[0]" functor mix)]]]
    [math
     [number
      ["n" nat]]]
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/primitive.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/primitive.lux
index 19dd18af2..67cf1d9df 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/primitive.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/primitive.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except i64)
    [target
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/reference.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/reference.lux
index 6cca81aeb..665f83695 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/reference.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/reference.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except)
    [target
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/runtime.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/runtime.lux
index 41da758da..fc779ff8c 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/runtime.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/runtime.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except i64 left right)
    ["[0]" meta]
@@ -10,12 +10,12 @@
      ["<[0]>" code]]]
    [data
     ["[0]" product]
-    ["[0]" text (.open: "[1]#[0]" hash)
+    ["[0]" text (.use "[1]#[0]" hash)
      ["%" \\format (.only format)]
      [encoding
       ["[0]" utf8]]]
     [collection
-     ["[0]" list (.open: "[1]#[0]" functor)]
+     ["[0]" list (.use "[1]#[0]" functor)]
      ["[0]" sequence]]]
    ["[0]" macro (.only)
     [syntax (.only syntax)]
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/structure.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/structure.lux
index 9fdbc4592..abdb1e9b6 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/structure.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/structure.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except Variant Tuple)
    [abstract
@@ -13,7 +13,7 @@
    [analysis
     [complex (.only Variant Tuple)]]
    ["//[1]" /// (.only)
-    ["[1][0]" phase (.open: "[1]#[0]" monad)]]]])
+    ["[1][0]" phase (.use "[1]#[0]" monad)]]]])
 
 (def .public (tuple generate archive elemsS+)
   (Generator (Tuple Synthesis))
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm.lux
index 0a8c1c026..e5994dc9f 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except)
    [abstract
@@ -19,7 +19,7 @@
     ["[0]" synthesis]
     [///
      ["[0]" reference]
-     ["[1]" phase (.open: "[1]#[0]" monad)]]]]])
+     ["[1]" phase (.use "[1]#[0]" monad)]]]]])
 
 (def .public (generate archive synthesis)
   Phase
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/case.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/case.lux
index 0ae4da146..ad49fa9e5 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/case.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/case.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except Type Label if let exec case int)
    [abstract
@@ -7,8 +7,8 @@
     ["[0]" function]]
    [data
     [collection
-     ["[0]" list (.open: "[1]#[0]" mix)]]
-    ["[0]" text (.open: "[1]#[0]" equivalence)
+     ["[0]" list (.use "[1]#[0]" mix)]]
+    ["[0]" text (.use "[1]#[0]" equivalence)
      ["%" \\format (.only format)]]]
    [macro
     ["^" pattern]]
@@ -18,7 +18,7 @@
      ["[0]" i32]]]
    [target
     [jvm
-     ["_" bytecode (.only Label Bytecode) (.open: "[1]#[0]" monad)
+     ["_" bytecode (.only Label Bytecode) (.use "[1]#[0]" monad)
       [environment
        [limit
         ["[0]" stack]]]]
@@ -35,7 +35,7 @@
     [access
      ["[0]" member (.only Member)]]]
    [///
-    ["[0]" phase (.open: "operation#[0]" monad)]
+    ["[0]" phase (.use "operation#[0]" monad)]
     [reference
      [variable (.only Register)]]]]])
 
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/debug.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/debug.lux
index 5f07e5300..b983c3b7d 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/debug.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/debug.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except)
    [abstract
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function.lux
index a4147be81..3f2474f4e 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except Type Label with)
    [abstract
@@ -8,7 +8,7 @@
     [binary
      ["[0]" \\format]]
     [collection
-     ["[0]" list (.open: "[1]#[0]" monoid functor)]
+     ["[0]" list (.use "[1]#[0]" monoid functor)]
      ["[0]" sequence]]]
    [math
     [number
@@ -16,9 +16,9 @@
      ["[0]" i32]]]
    [target
     [jvm
-     ["_" bytecode (.only Label Bytecode) (.open: "[1]#[0]" monad)]
+     ["_" bytecode (.only Label Bytecode) (.use "[1]#[0]" monad)]
      ["[0]" version]
-     ["[0]" modifier (.only Modifier) (.open: "[1]#[0]" monoid)]
+     ["[0]" modifier (.only Modifier) (.use "[1]#[0]" monoid)]
      ["[0]" field (.only Field)]
      ["[0]" method (.only Method)]
      ["[0]" class (.only Class)]
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/abstract.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/abstract.lux
index cf462455e..8ca23c0f4 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/abstract.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/abstract.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except Type)
    [data
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/constant.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/constant.lux
index dcbaef747..684c05c2e 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/constant.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/constant.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except Type type)
    [data
@@ -7,7 +7,7 @@
    [target
     [jvm
      ["[0]" field (.only Field)]
-     ["[0]" modifier (.only Modifier) (.open: "[1]#[0]" monoid)]
+     ["[0]" modifier (.only Modifier) (.use "[1]#[0]" monoid)]
      [type (.only Type)
       [category (.only Value)]]
      [constant
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/constant/arity.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/constant/arity.lux
index 3892b9ef0..51ee2f466 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/constant/arity.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/constant/arity.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except type)
    [target
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/variable.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/variable.lux
index 0ae3854a7..16a7e67a3 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/variable.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/variable.lux
@@ -1,13 +1,13 @@
-(.using
+(.require
  [library
   [lux (.except Type type)
    [data
     [collection
-     ["[0]" list (.open: "[1]#[0]" functor)]
+     ["[0]" list (.use "[1]#[0]" functor)]
      ["[0]" sequence]]]
    [target
     [jvm
-     ["[0]" modifier (.only Modifier) (.open: "[1]#[0]" monoid)]
+     ["[0]" modifier (.only Modifier) (.use "[1]#[0]" monoid)]
      ["[0]" field (.only Field)]
      ["_" bytecode (.only Bytecode)]
      [type (.only Type)
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/variable/count.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/variable/count.lux
index e84776579..aed904262 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/variable/count.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/variable/count.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except type)
    [control
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/variable/foreign.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/variable/foreign.lux
index f403f723c..9ad94ea7e 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/variable/foreign.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/variable/foreign.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except Type)
    [data
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/variable/partial.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/variable/partial.lux
index 36d83b0f1..95b3fb619 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/variable/partial.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/variable/partial.lux
@@ -1,18 +1,18 @@
-(.using
+(.require
  [library
   [lux (.except Type)
    [abstract
     ["[0]" monad]]
    [data
     [collection
-     ["[0]" list (.open: "[1]#[0]" functor)]]]
+     ["[0]" list (.use "[1]#[0]" functor)]]]
    [math
     [number
      ["n" nat]]]
    [target
     [jvm
      ["[0]" field (.only Field)]
-     ["_" bytecode (.only Bytecode) (.open: "[1]#[0]" monad)]
+     ["_" bytecode (.only Bytecode) (.use "[1]#[0]" monad)]
      [type (.only Type)
       [category (.only Class)]]
      [constant
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method.lux
index 3e8e0e065..5b6aa435c 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method.lux
@@ -1,9 +1,9 @@
-(.using
+(.require
  [library
   [lux (.except)
    [target
     [jvm
-     ["[0]" modifier (.only Modifier) (.open: "[1]#[0]" monoid)]
+     ["[0]" modifier (.only Modifier) (.use "[1]#[0]" monoid)]
      ["[0]" method (.only Method)]]]]])
 
 (def .public modifier
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/apply.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/apply.lux
index 8b03c7ae8..b31f0233b 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/apply.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/apply.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except Type Label type)
    [abstract
@@ -7,7 +7,7 @@
     ["[0]" try]]
    [data
     [collection
-     ["[0]" list (.open: "[1]#[0]" monoid functor)]]]
+     ["[0]" list (.use "[1]#[0]" monoid functor)]]]
    [math
     [number
      ["n" nat]
@@ -15,7 +15,7 @@
      ["[0]" i32]]]
    [target
     [jvm
-     ["_" bytecode (.only Label Bytecode) (.open: "[1]#[0]" monad)]
+     ["_" bytecode (.only Label Bytecode) (.use "[1]#[0]" monad)]
      ["[0]" method (.only Method)]
      [constant
       [pool (.only Resource)]]
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/implementation.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/implementation.lux
index 84ad5a397..86965220b 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/implementation.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/implementation.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except Type Label type)
    [data
@@ -9,7 +9,7 @@
      ["n" nat]]]
    [target
     [jvm
-     ["[0]" modifier (.only Modifier) (.open: "[1]#[0]" monoid)]
+     ["[0]" modifier (.only Modifier) (.use "[1]#[0]" monoid)]
      ["[0]" method (.only Method)]
      ["_" bytecode (.only Label Bytecode)]
      [constant
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/init.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/init.lux
index 934e7c561..d60aad8a3 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/init.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/init.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except Type type)
    [abstract
@@ -7,7 +7,7 @@
     ["[0]" try]]
    [data
     [collection
-     ["[0]" list (.open: "[1]#[0]" monoid functor)]]]
+     ["[0]" list (.use "[1]#[0]" monoid functor)]]]
    [math
     [number
      ["n" nat]]]
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/new.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/new.lux
index 7cfe7943e..e8ce71290 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/new.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/new.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except Type type)
    [abstract
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/reset.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/reset.lux
index 16909a692..faff66f47 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/reset.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/reset.lux
@@ -1,9 +1,9 @@
-(.using
+(.require
  [library
   [lux (.except Type type)
    [data
     [collection
-     ["[0]" list (.open: "[1]#[0]" functor)]]]
+     ["[0]" list (.use "[1]#[0]" functor)]]]
    [target
     [jvm
      ["[0]" method (.only Method)]
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/host.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/host.lux
index 2196d5c3e..4dd8d10c4 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/host.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/host.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except Definition)
    ["[0]" ffi (.only import do_to object)]
@@ -15,7 +15,7 @@
     [binary (.only Binary)
      ["[0]" \\format]]
     ["[0]" product]
-    ["[0]" text (.open: "[1]#[0]" hash)
+    ["[0]" text (.use "[1]#[0]" hash)
      ["%" \\format (.only format)]]
     [collection
      ["[0]" array]
@@ -25,7 +25,7 @@
     [jvm
      ["_" bytecode (.only Bytecode)]
      ["[0]" loader (.only Library)]
-     ["[0]" modifier (.only Modifier) (.open: "[1]#[0]" monoid)]
+     ["[0]" modifier (.only Modifier) (.use "[1]#[0]" monoid)]
      ["[0]" field (.only Field)]
      ["[0]" method (.only Method)]
      ["[0]" version]
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/loop.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/loop.lux
index 741098438..f95ac11cc 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/loop.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/loop.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except)
    [abstract
@@ -8,13 +8,13 @@
    [data
     ["[0]" product]
     [collection
-     ["[0]" list (.open: "[1]#[0]" functor)]]]
+     ["[0]" list (.use "[1]#[0]" functor)]]]
    [math
     [number
      ["n" nat]]]
    [target
     [jvm
-     ["_" bytecode (.only Bytecode) (.open: "[1]#[0]" monad)]]]]]
+     ["_" bytecode (.only Bytecode) (.use "[1]#[0]" monad)]]]]]
  ["[0]" //
   ["[1][0]" runtime (.only Operation Phase Generator)]
   ["[1][0]" value]
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/primitive.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/primitive.lux
index 772482ec8..ad9b0e720 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/primitive.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/primitive.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except i64)
    ["[0]" ffi (.only import)]
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/program.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/program.lux
index 8a374a859..2a89c066d 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/program.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/program.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except Definition)
    [abstract
@@ -13,7 +13,7 @@
    [target
     [jvm
      ["_" bytecode (.only Bytecode)]
-     ["[0]" modifier (.only Modifier) (.open: "[1]#[0]" monoid)]
+     ["[0]" modifier (.only Modifier) (.use "[1]#[0]" monoid)]
      ["[0]" method (.only Method)]
      ["[0]" version]
      ["[0]" class (.only Class)]
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/reference.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/reference.lux
index fe905d1bc..b7428004d 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/reference.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/reference.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except)
    [abstract
@@ -20,7 +20,7 @@
    [//
     ["[0]" generation]
     [///
-     ["[1]" phase (.open: "operation#[0]" monad)]
+     ["[1]" phase (.use "operation#[0]" monad)]
      [reference
       ["[0]" variable (.only Register Variable)]]
      [meta
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/runtime.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/runtime.lux
index b52d18de3..fc28510ff 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/runtime.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/runtime.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except Type Definition Label case false true try)
    [abstract
@@ -11,7 +11,7 @@
     [binary (.only Binary)
      ["[0]" \\format]]
     [collection
-     ["[0]" list (.open: "[1]#[0]" functor)]
+     ["[0]" list (.use "[1]#[0]" functor)]
      ["[0]" sequence]]
     [text
      ["%" \\format (.only format)]]]
@@ -25,7 +25,7 @@
    [target
     ["[0]" jvm
      ["_" bytecode (.only Label Bytecode)]
-     ["[0]" modifier (.only Modifier) (.open: "[1]#[0]" monoid)]
+     ["[0]" modifier (.only Modifier) (.use "[1]#[0]" monoid)]
      ["[0]" field (.only Field)]
      ["[0]" method (.only Method)]
      ["[1]/[0]" version]
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/structure.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/structure.lux
index ec2c60d9f..2fa2147b5 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/structure.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/structure.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except Variant Tuple)
    [abstract
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/type.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/type.lux
index 974fa4925..7dfbaf164 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/type.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/type.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
   [library
    [lux (.except)
     [target
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/value.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/value.lux
index d4f8b9a93..8421401c5 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/value.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/value.lux
@@ -1,10 +1,10 @@
-(.using
+(.require
  [library
   [lux (.except Type Primitive type)
    [target
     [jvm
      ["_" bytecode (.only Bytecode)]
-     ["[0]" type (.only Type) (.open: "[1]#[0]" equivalence)
+     ["[0]" type (.only Type) (.use "[1]#[0]" equivalence)
       [category (.only Primitive)]
       ["[0]" box]]]]]])
 
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua.lux
index f0965920a..686747752 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except)
    [abstract
@@ -28,7 +28,7 @@
      [analysis (.only)]
      ["[0]" synthesis]
      ["//[1]" ///
-      ["[1][0]" phase (.open: "[1]#[0]" monad)]
+      ["[1][0]" phase (.use "[1]#[0]" monad)]
       [reference (.only)
        [variable (.only)]]]]]]])
 
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/case.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/case.lux
index 418694f74..5d87b83d7 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/case.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/case.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except case exec let if)
    [abstract
@@ -7,7 +7,7 @@
     ["[0]" text (.only)
      ["%" \\format (.only format)]]
     [collection
-     ["[0]" list (.open: "[1]#[0]" functor mix)]
+     ["[0]" list (.use "[1]#[0]" functor mix)]
      ["[0]" set]]]
    [macro
     ["^" pattern]]
@@ -30,7 +30,7 @@
      ["//[1]" ///
       [reference
        ["[1][0]" variable (.only Register)]]
-      ["[1][0]" phase (.open: "[1]#[0]" monad)]
+      ["[1][0]" phase (.use "[1]#[0]" monad)]
       [meta
        [archive (.only Archive)]]]]]]])
 
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/function.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/function.lux
index 3454cfe52..d23070fc8 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/function.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/function.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except Label function)
    [abstract
@@ -8,7 +8,7 @@
     [text
      ["%" \\format (.only format)]]
     [collection
-     ["[0]" list (.open: "[1]#[0]" functor mix)]]]
+     ["[0]" list (.use "[1]#[0]" functor mix)]]]
    [target
     ["_" lua (.only Var Expression Label Statement)]]]]
  ["[0]" //
@@ -23,7 +23,7 @@
     ["[1][0]" generation]
     ["//[1]" ///
      [arity (.only Arity)]
-     ["[1][0]" phase (.open: "[1]#[0]" monad)]
+     ["[1][0]" phase (.use "[1]#[0]" monad)]
      [meta
       [archive
        ["[0]" unit]]
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/loop.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/loop.lux
index 4878f0b72..53ab302e9 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/loop.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/loop.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except Label Scope)
    [abstract
@@ -8,7 +8,7 @@
     [text
      ["%" \\format (.only format)]]
     [collection
-     ["[0]" list (.open: "[1]#[0]" functor)]
+     ["[0]" list (.use "[1]#[0]" functor)]
      ["[0]" set]]]
    [math
     [number
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/primitive.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/primitive.lux
index d6104a879..0b5be3e97 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/primitive.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/primitive.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except i64)
    [target
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/reference.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/reference.lux
index 47df3bed5..8ebc27887 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/reference.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/reference.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except)
    [target
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/runtime.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/runtime.lux
index a287bf380..e23a2c50d 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/runtime.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/runtime.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except Label Location left right)
    ["[0]" meta]
@@ -10,12 +10,12 @@
      ["<[0]>" code]]]
    [data
     ["[0]" product]
-    ["[0]" text (.open: "[1]#[0]" hash)
+    ["[0]" text (.use "[1]#[0]" hash)
      ["%" \\format (.only format)]
      [encoding
       ["[0]" utf8]]]
     [collection
-     ["[0]" list (.open: "[1]#[0]" functor)]
+     ["[0]" list (.use "[1]#[0]" functor)]
      ["[0]" sequence]]]
    ["[0]" macro (.only)
     [syntax (.only syntax)]
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/structure.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/structure.lux
index 128bedbbe..dd87319b7 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/structure.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/structure.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except Tuple Variant)
    [abstract
@@ -13,7 +13,7 @@
    [analysis
     [complex (.only Variant Tuple)]]
    ["//[1]" ///
-    ["[1][0]" phase (.open: "[1]#[0]" monad)]]]])
+    ["[1][0]" phase (.use "[1]#[0]" monad)]]]])
 
 (def .public (tuple phase archive elemsS+)
   (Generator (Tuple Synthesis))
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php.lux
index 5a1e5294c..f70ea250f 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except)
    [abstract
@@ -25,7 +25,7 @@
      [analysis (.only)]
      ["[1][0]" synthesis]
      ["//[1]" ///
-      ["[1][0]" phase (.open: "[1]#[0]" monad)]
+      ["[1][0]" phase (.use "[1]#[0]" monad)]
       [reference (.only)
        [variable (.only)]]]]]]])
 
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/case.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/case.lux
index da294881a..8fdaeabc9 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/case.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/case.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except case let if)
    [abstract
@@ -8,7 +8,7 @@
     ["[0]" text (.only)
      ["%" \\format (.only format)]]
     [collection
-     ["[0]" list (.open: "[1]#[0]" functor mix)]
+     ["[0]" list (.use "[1]#[0]" functor mix)]
      ["[0]" set]]]
    [macro
     ["^" pattern]]
@@ -32,7 +32,7 @@
      ["//[1]" ///
       [reference
        ["[1][0]" variable (.only Register)]]
-      ["[1][0]" phase (.open: "[1]#[0]" monad)]
+      ["[1][0]" phase (.use "[1]#[0]" monad)]
       [meta
        [archive (.only Archive)]]]]]]])
 
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/extension.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/extension.lux
index eac649c9c..1d1c8473f 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/extension.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/extension.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except)
    [data
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/extension/common.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/extension/common.lux
index fd5202409..5ad80978c 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/extension/common.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/extension/common.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except)
    [abstract
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/function.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/function.lux
index 5a07d5032..d353cb535 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/function.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/function.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except Global function)
    [abstract
@@ -10,7 +10,7 @@
     ["[0]" text (.only)
      ["%" \\format (.only format)]]
     [collection
-     ["[0]" list (.open: "[1]#[0]" functor mix)]]]
+     ["[0]" list (.use "[1]#[0]" functor mix)]]]
    [target
     ["_" php (.only Var Global Expression Argument Label Statement)]]]]
  ["[0]" //
@@ -25,7 +25,7 @@
     ["[1][0]" generation (.only Context)]
     ["//[1]" ///
      [arity (.only Arity)]
-     ["[1][0]" phase (.open: "[1]#[0]" monad)]
+     ["[1][0]" phase (.use "[1]#[0]" monad)]
      [reference
       [variable (.only Register Variable)]]]]]])
 
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/loop.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/loop.lux
index c495d5a12..4a80287a7 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/loop.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/loop.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except Scope)
    [abstract
@@ -8,7 +8,7 @@
     ["[0]" text (.only)
      ["%" \\format (.only format)]]
     [collection
-     ["[0]" list (.open: "[1]#[0]" functor mix)]
+     ["[0]" list (.use "[1]#[0]" functor mix)]
      ["[0]" set (.only Set)]]]
    [math
     [number
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/primitive.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/primitive.lux
index b88e520c8..8a8b6e9b8 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/primitive.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/primitive.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except i64)
    [math
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/reference.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/reference.lux
index 8d723c451..28164075c 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/reference.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/reference.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except)
    [target
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/runtime.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/runtime.lux
index 425dee836..27e557f1f 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/runtime.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/runtime.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except Location)
    ["[0]" meta]
@@ -10,12 +10,12 @@
      ["<[0]>" code]]]
    [data
     ["[0]" product]
-    ["[0]" text (.open: "[1]#[0]" hash)
+    ["[0]" text (.use "[1]#[0]" hash)
      ["%" \\format (.only format)]
      [encoding
       ["[0]" utf8]]]
     [collection
-     ["[0]" list (.open: "[1]#[0]" functor)]
+     ["[0]" list (.use "[1]#[0]" functor)]
      ["[0]" sequence]]]
    ["[0]" macro (.only)
     [syntax (.only syntax)]
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/structure.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/structure.lux
index 2cc580fe5..749ba0f5d 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/structure.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/structure.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except)
    [abstract
@@ -15,7 +15,7 @@
    [analysis (.only Variant Tuple)]
    ["[1][0]" synthesis (.only Synthesis)]
    ["//[1]" ///
-    ["[1][0]" phase (.open: "[1]#[0]" monad)]]]])
+    ["[1][0]" phase (.use "[1]#[0]" monad)]]]])
 
 (def .public (tuple expression archive elemsS+)
   (Generator (Tuple Synthesis))
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python.lux
index f51b79f96..eba1868c0 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except)
    [abstract
@@ -28,7 +28,7 @@
      [analysis (.only)]
      ["[1][0]" synthesis]
      ["//[1]" ///
-      ["[1][0]" phase (.open: "[1]#[0]" monad)]
+      ["[1][0]" phase (.use "[1]#[0]" monad)]
       [reference (.only)
        [variable (.only)]]]]]]])
 
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/case.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/case.lux
index 48ab895d4..9b7ad5575 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/case.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/case.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except case exec let if symbol)
    [abstract
@@ -7,7 +7,7 @@
     ["[0]" text (.only)
      ["%" \\format (.only format)]]
     [collection
-     ["[0]" list (.open: "[1]#[0]" functor mix)]
+     ["[0]" list (.use "[1]#[0]" functor mix)]
      ["[0]" set]]]
    [macro
     ["^" pattern]]
@@ -34,7 +34,7 @@
      ["//[1]" ///
       [reference
        ["[1][0]" variable (.only Register)]]
-      ["[1][0]" phase (.open: "[1]#[0]" monad)]
+      ["[1][0]" phase (.use "[1]#[0]" monad)]
       [meta
        [archive (.only Archive)]
        ["[0]" cache
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/function.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/function.lux
index ca93b78d7..efbc2ca8c 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/function.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/function.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except function)
    [abstract
@@ -8,7 +8,7 @@
     [text
      ["%" \\format (.only format)]]
     [collection
-     ["[0]" list (.open: "[1]#[0]" functor mix)]]]
+     ["[0]" list (.use "[1]#[0]" functor mix)]]]
    [target
     ["_" python (.only SVar Expression Statement)]]]]
  ["[0]" //
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/loop.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/loop.lux
index def965231..6ef7dd75d 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/loop.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/loop.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except Scope)
    [abstract
@@ -8,7 +8,7 @@
     [text
      ["%" \\format (.only format)]]
     [collection
-     ["[0]" list (.open: "[1]#[0]" functor mix)]
+     ["[0]" list (.use "[1]#[0]" functor mix)]
      ["[0]" set]]]
    [math
     [number
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/primitive.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/primitive.lux
index 7e565f3fe..14ced2e59 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/primitive.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/primitive.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except i64)
    [target
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/reference.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/reference.lux
index 8786e5309..673eb78cf 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/reference.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/reference.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except)
    [target
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/runtime.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/runtime.lux
index 5c984981b..41fbd5f78 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/runtime.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/runtime.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except ++ left right)
    [abstract
@@ -9,12 +9,12 @@
      ["<[0]>" code]]]
    [data
     ["[0]" product]
-    ["[0]" text (.open: "[1]#[0]" hash)
+    ["[0]" text (.use "[1]#[0]" hash)
      ["%" \\format (.only format)]
      [encoding
       ["[0]" utf8]]]
     [collection
-     ["[0]" list (.open: "[1]#[0]" functor)]
+     ["[0]" list (.use "[1]#[0]" functor)]
      ["[0]" sequence]]]
    ["[0]" macro (.only)
     [syntax (.only syntax)]
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/structure.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/structure.lux
index cd9fe5bee..76dcc39ec 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/structure.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/structure.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except Variant Tuple)
    [abstract
@@ -13,7 +13,7 @@
     [complex (.only Variant Tuple)]]
    ["[1][0]" synthesis (.only Synthesis)]
    ["//[1]" ///
-    ["[1][0]" phase (.open: "[1]#[0]" monad)]]]])
+    ["[1][0]" phase (.use "[1]#[0]" monad)]]]])
 
 (def .public (tuple generate archive elemsS+)
   (Generator (Tuple Synthesis))
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r.lux
index b73d54264..cb2ccd087 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except)
    [abstract
@@ -23,7 +23,7 @@
      [analysis (.only)]
      ["[1][0]" synthesis]
      ["//[1]" ///
-      ["[1][0]" phase (.open: "[1]#[0]" monad)]
+      ["[1][0]" phase (.use "[1]#[0]" monad)]
       [reference (.only)
        [variable (.only)]]]]]]])
 
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/case.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/case.lux
index ff52e460e..ac0a29c7e 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/case.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/case.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except case let if)
    [abstract
@@ -8,7 +8,7 @@
     ["[0]" text (.only)
      ["%" \\format (.only format)]]
     [collection
-     ["[0]" list (.open: "[1]#[0]" functor mix)]
+     ["[0]" list (.use "[1]#[0]" functor mix)]
      ["[0]" set]]]
    [macro
     ["^" pattern]
@@ -33,7 +33,7 @@
      ["//[1]" ///
       [reference
        ["[1][0]" variable (.only Register)]]
-      ["[1][0]" phase (.open: "[1]#[0]" monad)]
+      ["[1][0]" phase (.use "[1]#[0]" monad)]
       [meta
        [archive (.only Archive)]]]]]]])
 
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/function.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/function.lux
index d0933505c..eecc00423 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/function.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/function.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except function)
    [abstract
@@ -10,7 +10,7 @@
     ["[0]" text (.only)
      ["%" \\format (.only format)]]
     [collection
-     ["[0]" list (.open: "[1]#[0]" functor mix)]]]
+     ["[0]" list (.use "[1]#[0]" functor mix)]]]
    [target
     ["_" r (.only Expression SVar)]]]]
  ["[0]" //
@@ -25,7 +25,7 @@
     ["[1][0]" generation (.only Context)]
     ["//[1]" ///
      [arity (.only Arity)]
-     ["[1][0]" phase (.open: "[1]#[0]" monad)]
+     ["[1][0]" phase (.use "[1]#[0]" monad)]
      [reference
       [variable (.only Register Variable)]]
      [meta
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/loop.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/loop.lux
index a3b660bd8..10994fbca 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/loop.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/loop.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except Scope)
    [abstract
@@ -8,7 +8,7 @@
     ["[0]" text (.only)
      ["%" \\format (.only format)]]
     [collection
-     ["[0]" list (.open: "[1]#[0]" functor)]
+     ["[0]" list (.use "[1]#[0]" functor)]
      ["[0]" set (.only Set)]]]
    [math
     [number
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/primitive.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/primitive.lux
index 1bbd9332c..07ed2ccc8 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/primitive.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/primitive.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except i64)
    [target
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/procedure/common.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/procedure/common.lux
index 62d2f235b..32bc797c5 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/procedure/common.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/procedure/common.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  lux
  (lux (control [library
                 [monad (.only do)]]
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/procedure/host.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/procedure/host.lux
index fcc48447c..0201e556d 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/procedure/host.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/procedure/host.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  lux
  (lux (control [library
                 [monad (.only do)]])
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/reference.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/reference.lux
index 4cc1f49ba..5097a3c80 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/reference.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/reference.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except)
    [target
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/runtime.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/runtime.lux
index ff87c9113..ea448fa0a 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/runtime.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/runtime.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except Location ++ i64)
    ["[0]" meta]
@@ -10,12 +10,12 @@
      ["<[0]>" code]]]
    [data
     ["[0]" product]
-    ["[0]" text (.open: "[1]#[0]" hash)
+    ["[0]" text (.use "[1]#[0]" hash)
      ["%" \\format (.only format)]
      [encoding
       ["[0]" utf8]]]
     [collection
-     ["[0]" list (.open: "[1]#[0]" functor)]
+     ["[0]" list (.use "[1]#[0]" functor)]
      ["[0]" sequence]]]
    ["[0]" macro (.only)
     [syntax (.only syntax)]
@@ -23,7 +23,7 @@
    [math
     [number (.only hex)
      ["n" nat]
-     ["i" int (.open: "[1]#[0]" interval)]
+     ["i" int (.use "[1]#[0]" interval)]
      ["[0]" i64]]]
    ["@" target (.only)
     ["_" r (.only SVar Expression)]]]]
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/structure.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/structure.lux
index 5e376dd1f..70ff1a0f8 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/structure.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/structure.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except)
    [abstract
@@ -15,7 +15,7 @@
    [analysis (.only Variant Tuple)]
    ["[1][0]" synthesis (.only Synthesis)]
    ["//[1]" ///
-    ["[1][0]" phase (.open: "[1]#[0]" monad)]]]])
+    ["[1][0]" phase (.use "[1]#[0]" monad)]]]])
 
 (def .public (tuple expression archive elemsS+)
   (Generator (Tuple Synthesis))
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/reference.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/reference.lux
index 5ee5957eb..62f559549 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/reference.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/reference.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except local)
    ["@" target]
@@ -10,7 +10,7 @@
  ["[0]" ////
   ["[1][0]" generation]
   ["//[1]" ///
-   ["[0]" phase (.open: "[1]#[0]" monad)]
+   ["[0]" phase (.use "[1]#[0]" monad)]
    ["[0]" reference (.only Reference)
     ["[0]" variable (.only Register Variable)]]
    [meta
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby.lux
index 8cc7466cc..e64b543c1 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except)
    [abstract
@@ -28,7 +28,7 @@
      [analysis (.only)]
      ["[1][0]" synthesis]
      ["//[1]" ///
-      ["[1][0]" phase (.open: "[1]#[0]" monad)]
+      ["[1][0]" phase (.use "[1]#[0]" monad)]
       [reference (.only)
        [variable (.only)]]]]]]])
 
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/case.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/case.lux
index bd9e27049..9e85dd63f 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/case.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/case.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except case exec let if symbol)
    [abstract
@@ -9,7 +9,7 @@
     ["[0]" text (.only)
      ["%" \\format (.only format)]]
     [collection
-     ["[0]" list (.open: "[1]#[0]" functor mix)]
+     ["[0]" list (.use "[1]#[0]" functor mix)]
      ["[0]" set]]]
    [macro
     ["^" pattern]]
@@ -36,7 +36,7 @@
      ["//[1]" ///
       [reference
        ["[1][0]" variable (.only Register)]]
-      ["[1][0]" phase (.open: "[1]#[0]" monad)]
+      ["[1][0]" phase (.use "[1]#[0]" monad)]
       [meta
        [archive (.only Archive)]]]]]]])
 
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/function.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/function.lux
index 67fd28d7b..b22497918 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/function.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/function.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except function)
    [abstract
@@ -8,7 +8,7 @@
     [text
      ["%" \\format (.only format)]]
     [collection
-     ["[0]" list (.open: "[1]#[0]" functor mix)]]]
+     ["[0]" list (.use "[1]#[0]" functor mix)]]]
    [target
     ["_" ruby (.only LVar GVar Expression Statement)]]]]
  ["[0]" //
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/loop.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/loop.lux
index 693f5a46d..46b743b34 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/loop.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/loop.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except Scope symbol)
    [abstract
@@ -8,7 +8,7 @@
     ["[0]" text (.only)
      ["%" \\format (.only format)]]
     [collection
-     ["[0]" list (.open: "[1]#[0]" functor mix)]
+     ["[0]" list (.use "[1]#[0]" functor mix)]
      ["[0]" set]]]
    [math
     [number
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/primitive.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/primitive.lux
index eebaa01d5..609e7683c 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/primitive.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/primitive.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except i64)
    [target
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/reference.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/reference.lux
index b29560a21..d0d6399dc 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/reference.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/reference.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except)
    [target
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/runtime.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/runtime.lux
index 7d5b9d6b4..f1af54d33 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/runtime.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/runtime.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except i64 left right)
    ["[0]" meta]
@@ -10,12 +10,12 @@
      ["<[0]>" code]]]
    [data
     ["[0]" product]
-    ["[0]" text (.open: "[1]#[0]" hash)
+    ["[0]" text (.use "[1]#[0]" hash)
      ["%" \\format (.only format)]
      [encoding
       ["[0]" utf8]]]
     [collection
-     ["[0]" list (.open: "[1]#[0]" functor mix)]
+     ["[0]" list (.use "[1]#[0]" functor mix)]
      ["[0]" sequence]]]
    ["[0]" macro (.only)
     [syntax (.only syntax)]
@@ -23,7 +23,7 @@
    [math
     [number (.only hex)
      ["[0]" i64]
-     ["[0]" int (.open: "[1]#[0]" interval)]]]
+     ["[0]" int (.use "[1]#[0]" interval)]]]
    ["@" target (.only)
     ["_" ruby (.only Expression LVar Computation Literal Statement)]]]]
  ["[0]" ///
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/structure.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/structure.lux
index 3cdbd9591..2438ada4a 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/structure.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/structure.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except Variant Tuple)
    [abstract
@@ -13,7 +13,7 @@
     [complex (.only Variant Tuple)]]
    ["[1][0]" synthesis (.only Synthesis)]
    ["//[1]" ///
-    ["[1][0]" phase (.open: "[1]#[0]" monad)]]]])
+    ["[1][0]" phase (.use "[1]#[0]" monad)]]]])
 
 (def .public (tuple generate archive elemsS+)
   (Generator (Tuple Synthesis))
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme.lux
index b6a3a5842..35c505b59 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except)
    [abstract
@@ -23,7 +23,7 @@
      [analysis (.only)]
      ["[1][0]" synthesis]
      ["//[1]" ///
-      ["[1][0]" phase (.open: "[1]#[0]" monad)]
+      ["[1][0]" phase (.use "[1]#[0]" monad)]
       [reference (.only)
        [variable (.only)]]]]]]])
 
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/case.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/case.lux
index f492d94df..5f07b07e7 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/case.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/case.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except case let if)
    [abstract
@@ -8,7 +8,7 @@
     ["[0]" text (.only)
      ["%" \\format (.only format)]]
     [collection
-     ["[0]" list (.open: "[1]#[0]" functor mix)]
+     ["[0]" list (.use "[1]#[0]" functor mix)]
      ["[0]" set]]]
    [macro
     ["^" pattern]
@@ -33,7 +33,7 @@
      ["//[1]" ///
       [reference
        ["[1][0]" variable (.only Register)]]
-      ["[1][0]" phase (.open: "[1]#[0]" monad)]
+      ["[1][0]" phase (.use "[1]#[0]" monad)]
       [meta
        [archive (.only Archive)]]]]]]])
 
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/extension.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/extension.lux
index eac649c9c..1d1c8473f 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/extension.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/extension.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except)
    [data
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/extension/common.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/extension/common.lux
index 815a712b3..50cdca756 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/extension/common.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/extension/common.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except)
    [abstract
@@ -13,7 +13,7 @@
     [number (.only hex)
      ["f" frac]]
     [collection
-     ["[0]" list (.open: "[1]#[0]" functor)]
+     ["[0]" list (.use "[1]#[0]" functor)]
      ["dict" dictionary (.only Dictionary)]]]
    ["[0]" macro (.only with_symbols)
     ["[0]" code]
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/function.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/function.lux
index 8f07bec50..00ebc8b7d 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/function.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/function.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except function)
    [abstract
@@ -10,7 +10,7 @@
     ["[0]" text (.only)
      ["%" \\format (.only format)]]
     [collection
-     ["[0]" list (.open: "[1]#[0]" functor)]]]
+     ["[0]" list (.use "[1]#[0]" functor)]]]
    [target
     ["_" scheme (.only Expression Computation Var)]]]]
  ["[0]" //
@@ -25,7 +25,7 @@
     ["[1][0]" generation (.only Context)]
     ["//[1]" ///
      [arity (.only Arity)]
-     ["[1][0]" phase (.open: "[1]#[0]" monad)]
+     ["[1][0]" phase (.use "[1]#[0]" monad)]
      [reference
       [variable (.only Register Variable)]]]]]])
 
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/loop.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/loop.lux
index cd2ebc5af..04fe3dfde 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/loop.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/loop.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except Scope)
    [abstract
@@ -8,7 +8,7 @@
     ["[0]" text (.only)
      ["%" \\format (.only format)]]
     [collection
-     ["[0]" list (.open: "[1]#[0]" functor)]
+     ["[0]" list (.use "[1]#[0]" functor)]
      ["[0]" set (.only Set)]]]
    [math
     [number
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/primitive.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/primitive.lux
index cba7e79d6..b670b2868 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/primitive.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/primitive.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except i64)
    [target
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/reference.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/reference.lux
index cef4fe09f..84dac3329 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/reference.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/reference.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except)
    [target
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/runtime.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/runtime.lux
index 8d145794e..746cf6aff 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/runtime.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/runtime.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except Location)
    ["[0]" meta]
@@ -10,12 +10,12 @@
      ["<[0]>" code]]]
    [data
     ["[0]" product]
-    ["[0]" text (.open: "[1]#[0]" hash)
+    ["[0]" text (.use "[1]#[0]" hash)
      ["%" \\format (.only format)]
      [encoding
       ["[0]" utf8]]]
     [collection
-     ["[0]" list (.open: "[1]#[0]" functor)]
+     ["[0]" list (.use "[1]#[0]" functor)]
      ["[0]" sequence]]]
    ["[0]" macro (.only)
     [syntax (.only syntax)]
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/structure.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/structure.lux
index fec696893..d736f2371 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/structure.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/structure.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except)
    [abstract
@@ -15,7 +15,7 @@
    [analysis (.only Variant Tuple)]
    ["[1][0]" synthesis (.only Synthesis)]
    ["//[1]" ///
-    ["[1][0]" phase (.open: "[1]#[0]" monad)]]]])
+    ["[1][0]" phase (.use "[1]#[0]" monad)]]]])
 
 (def .public (tuple expression archive elemsS+)
   (Generator (Tuple Synthesis))
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis.lux
index 3e7102696..69c424b5b 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except)
    [abstract
@@ -8,7 +8,7 @@
     ["[0]" try]]
    [data
     [collection
-     ["[0]" list (.open: "[1]#[0]" functor)]
+     ["[0]" list (.use "[1]#[0]" functor)]
      ["[0]" dictionary (.only Dictionary)]]]
    [macro
     ["^" pattern]]]]
@@ -25,7 +25,7 @@
      ["[2][0]" simple]
      ["[2][0]" complex]]
     [///
-     ["[0]" phase (.open: "[1]#[0]" monad)]
+     ["[0]" phase (.use "[1]#[0]" monad)]
      [reference (.only)
       [variable (.only)]]]]]])
 
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/case.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/case.lux
index 4f772b16c..a2a43f7d5 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/case.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/case.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except)
    [abstract
@@ -8,10 +8,10 @@
     ["[0]" pipe]]
    [data
     ["[0]" product]
-    ["[0]" bit (.open: "[1]#[0]" equivalence)]
-    ["[0]" text (.open: "[1]#[0]" equivalence)]
+    ["[0]" bit (.use "[1]#[0]" equivalence)]
+    ["[0]" text (.use "[1]#[0]" equivalence)]
     [collection
-     ["[0]" list (.open: "[1]#[0]" functor mix monoid)]
+     ["[0]" list (.use "[1]#[0]" functor mix monoid)]
      ["[0]" set (.only Set)]]]
    [macro
     ["^" pattern]]
@@ -31,7 +31,7 @@
      ["[2][0]" side]
      ["[2][0]" member (.only Member)]]]
    [///
-    ["[1]" phase (.open: "[1]#[0]" monad)]
+    ["[1]" phase (.use "[1]#[0]" monad)]
     ["[1][0]" reference (.only)
      ["[1]/[0]" variable (.only Register Variable)]]
     [meta
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/function.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/function.lux
index 89af418b6..1ab4fbd2b 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/function.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/function.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except)
    [abstract
@@ -6,13 +6,13 @@
     ["[0]" enum]]
    [control
     ["[0]" pipe]
-    ["[0]" maybe (.open: "[1]#[0]" functor)]
+    ["[0]" maybe (.use "[1]#[0]" functor)]
     ["[0]" exception (.only exception:)]]
    [data
     [text
      ["%" \\format (.only format)]]
     [collection
-     ["[0]" list (.open: "[1]#[0]" functor monoid)]]]
+     ["[0]" list (.use "[1]#[0]" functor monoid)]]]
    [macro
     ["^" pattern]]
    [math
@@ -26,7 +26,7 @@
    ["/" synthesis (.only Path Abstraction Synthesis Operation Phase)]
    [///
     [arity (.only Arity)]
-    ["[0]" phase (.open: "[1]#[0]" monad)]
+    ["[0]" phase (.use "[1]#[0]" monad)]
     ["[1][0]" reference (.only)
      ["[1]/[0]" variable (.only Register Variable)]]]]])
 
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/loop.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/loop.lux
index f3c5fb252..e31a5ca84 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/loop.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/loop.lux
@@ -1,10 +1,10 @@
-(.using
+(.require
  [library
   [lux (.except)
    [abstract
     ["[0]" monad (.only do)]]
    [control
-    ["[0]" maybe (.open: "[1]#[0]" monad)]]
+    ["[0]" maybe (.use "[1]#[0]" monad)]]
    [data
     [collection
      ["[0]" list]]]
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/variable.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/variable.lux
index 1ca58edd0..29837c146 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/variable.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/variable.lux
@@ -1,10 +1,10 @@
-(.using
+(.require
  [library
   [lux (.except)
    [abstract
     ["[0]" monad (.only do)]]
    [control
-    ["[0]" maybe (.open: "[1]#[0]" functor)]
+    ["[0]" maybe (.use "[1]#[0]" functor)]
     ["[0]" try (.only Try)]
     ["[0]" exception (.only exception:)]]
    [data
@@ -13,7 +13,7 @@
      ["%" \\format]]
     [collection
      ["[0]" dictionary (.only Dictionary)]
-     ["[0]" list (.open: "[1]#[0]" functor mix)]
+     ["[0]" list (.use "[1]#[0]" functor mix)]
      ["[0]" set]]]
    [macro
     ["^" pattern]]
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/program.lux b/stdlib/source/library/lux/tool/compiler/language/lux/program.lux
index 625448c47..34b894a90 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/program.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/program.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except)
    [abstract
@@ -12,7 +12,7 @@
     [text
      ["%" \\format (.only format)]]
     [collection
-     ["[0]" list (.open: "[1]#[0]" functor)]]]]]
+     ["[0]" list (.use "[1]#[0]" functor)]]]]]
  [////
   [meta
    ["[0]" archive (.only Archive)
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/syntax.lux b/stdlib/source/library/lux/tool/compiler/language/lux/syntax.lux
index 054c8eeb2..840502786 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/syntax.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/syntax.lux
@@ -24,7 +24,7 @@
 ... Lux Code nodes/tokens are annotated with location meta-data
 ... [file-name, line, column] to keep track of their provenance and
 ... location, which is helpful for documentation and debugging.
-(.using
+(.require
  [library
   [lux (.except prelude)
    ["@" target]
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/synthesis.lux b/stdlib/source/library/lux/tool/compiler/language/lux/synthesis.lux
index 722029eb2..74a7e41a1 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/synthesis.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/synthesis.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except Scope i64)
    [abstract
@@ -11,11 +11,11 @@
    [data
     ["[0]" sum]
     ["[0]" product]
-    ["[0]" bit (.open: "[1]#[0]" equivalence)]
-    ["[0]" text (.open: "[1]#[0]" equivalence)
+    ["[0]" bit (.use "[1]#[0]" equivalence)]
+    ["[0]" text (.use "[1]#[0]" equivalence)
      ["%" \\format (.only Format format)]]
     [collection
-     ["[0]" list (.open: "[1]#[0]" functor)]
+     ["[0]" list (.use "[1]#[0]" functor)]
      ["[0]" dictionary (.only Dictionary)]]]
    [macro
     ["^" pattern]]
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/synthesis/access.lux b/stdlib/source/library/lux/tool/compiler/language/lux/synthesis/access.lux
index 76c9a0400..179a48ca8 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/synthesis/access.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/synthesis/access.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except)
    [abstract
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/synthesis/access/member.lux b/stdlib/source/library/lux/tool/compiler/language/lux/synthesis/access/member.lux
index ec159b99a..2618b1421 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/synthesis/access/member.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/synthesis/access/member.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except)
    [abstract
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/synthesis/access/side.lux b/stdlib/source/library/lux/tool/compiler/language/lux/synthesis/access/side.lux
index df1bda351..0e1f79079 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/synthesis/access/side.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/synthesis/access/side.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except)
    [abstract
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/synthesis/simple.lux b/stdlib/source/library/lux/tool/compiler/language/lux/synthesis/simple.lux
index 3774c0319..ce183bf7a 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/synthesis/simple.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/synthesis/simple.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except)
    [abstract
@@ -7,14 +7,14 @@
    [control
     ["[0]" pipe]]
    [data
-    ["[0]" bit (.open: "[1]#[0]" equivalence)]
-    ["[0]" text (.open: "[1]#[0]" equivalence)
+    ["[0]" bit (.use "[1]#[0]" equivalence)]
+    ["[0]" text (.use "[1]#[0]" equivalence)
      ["%" \\format]]]
    [macro
     ["^" pattern]]
    [math
     [number
-     ["[0]" i64 (.open: "[1]#[0]" equivalence)]
+     ["[0]" i64 (.use "[1]#[0]" equivalence)]
      ["n" nat]
      ["i" int]
      ["f" frac]]]]])
diff --git a/stdlib/source/library/lux/tool/compiler/meta.lux b/stdlib/source/library/lux/tool/compiler/meta.lux
index ef6e71986..00e782b29 100644
--- a/stdlib/source/library/lux/tool/compiler/meta.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except)]]
  [//
diff --git a/stdlib/source/library/lux/tool/compiler/meta/archive.lux b/stdlib/source/library/lux/tool/compiler/meta/archive.lux
index b3b213099..4bdbb734f 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/archive.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/archive.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except Module has)
    [abstract
@@ -18,13 +18,13 @@
     ["[0]" text (.only)
      ["%" \\format (.only format)]]
     [collection
-     ["[0]" list (.open: "[1]#[0]" functor mix)]
+     ["[0]" list (.use "[1]#[0]" functor mix)]
      ["[0]" dictionary (.only Dictionary)]
      ["[0]" set]
      ["[0]" sequence (.only Sequence)]]]
    [math
     [number
-     ["n" nat (.open: "[1]#[0]" equivalence)]]]
+     ["n" nat (.use "[1]#[0]" equivalence)]]]
    [type
     [primitive (.except)]]]]
  [/
diff --git a/stdlib/source/library/lux/tool/compiler/meta/archive/artifact.lux b/stdlib/source/library/lux/tool/compiler/meta/archive/artifact.lux
index 252776c37..77a4410d1 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/archive/artifact.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/archive/artifact.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except)
    [abstract
diff --git a/stdlib/source/library/lux/tool/compiler/meta/archive/artifact/category.lux b/stdlib/source/library/lux/tool/compiler/meta/archive/artifact/category.lux
index d9801694c..43ae87386 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/archive/artifact/category.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/archive/artifact/category.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except Definition)
    [abstract
@@ -7,7 +7,7 @@
     ["[0]" maybe]]
    [data
     ["[0]" product]
-    ["[0]" text (.open: "[1]#[0]" equivalence)]]
+    ["[0]" text (.use "[1]#[0]" equivalence)]]
    [macro
     ["^" pattern]]
    [math
diff --git a/stdlib/source/library/lux/tool/compiler/meta/archive/key.lux b/stdlib/source/library/lux/tool/compiler/meta/archive/key.lux
index 0e35d6528..0e26e7718 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/archive/key.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/archive/key.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except)
    [type
diff --git a/stdlib/source/library/lux/tool/compiler/meta/archive/module.lux b/stdlib/source/library/lux/tool/compiler/meta/archive/module.lux
index 4e2757bb8..76822e0e1 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/archive/module.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/archive/module.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except Module)]]
  [/
diff --git a/stdlib/source/library/lux/tool/compiler/meta/archive/module/descriptor.lux b/stdlib/source/library/lux/tool/compiler/meta/archive/module/descriptor.lux
index 92e8dcc60..b3fc0fb09 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/archive/module/descriptor.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/archive/module/descriptor.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except Module)
    [abstract
diff --git a/stdlib/source/library/lux/tool/compiler/meta/archive/module/document.lux b/stdlib/source/library/lux/tool/compiler/meta/archive/module/document.lux
index fe4977e8d..d7ccc2a33 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/archive/module/document.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/archive/module/document.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except)
    [abstract
@@ -16,7 +16,7 @@
    [type (.only sharing)
     [primitive (.except)]]]]
  [///
-  ["[0]" signature (.only Signature) (.open: "[1]#[0]" equivalence)]
+  ["[0]" signature (.only Signature) (.use "[1]#[0]" equivalence)]
   ["[0]" key (.only Key)]])
 
 (exception: .public (invalid_signature [expected Signature
diff --git a/stdlib/source/library/lux/tool/compiler/meta/archive/registry.lux b/stdlib/source/library/lux/tool/compiler/meta/archive/registry.lux
index 9f23cad2e..7949df255 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/archive/registry.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/archive/registry.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except)
    [abstract
@@ -6,7 +6,7 @@
    [control
     ["<>" parser]
     ["[0]" pipe]
-    ["[0]" maybe (.open: "[1]#[0]" functor)]
+    ["[0]" maybe (.use "[1]#[0]" functor)]
     ["[0]" exception (.only exception:)]]
    [data
     ["[0]" product]
@@ -18,7 +18,7 @@
     [collection
      [set (.only Set)]
      ["[0]" list]
-     ["[0]" sequence (.only Sequence) (.open: "[1]#[0]" functor mix)]
+     ["[0]" sequence (.only Sequence) (.use "[1]#[0]" functor mix)]
      ["[0]" dictionary (.only Dictionary)]]]
    [macro
     ["^" pattern]]
diff --git a/stdlib/source/library/lux/tool/compiler/meta/archive/signature.lux b/stdlib/source/library/lux/tool/compiler/meta/archive/signature.lux
index 075e12c77..beb776044 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/archive/signature.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/archive/signature.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except)
    [abstract
diff --git a/stdlib/source/library/lux/tool/compiler/meta/archive/unit.lux b/stdlib/source/library/lux/tool/compiler/meta/archive/unit.lux
index 937f87043..175dda1d4 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/archive/unit.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/archive/unit.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except)
    [abstract
diff --git a/stdlib/source/library/lux/tool/compiler/meta/cache.lux b/stdlib/source/library/lux/tool/compiler/meta/cache.lux
index 0ebd1e7d5..fb4085f0e 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/cache.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/cache.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except)
    [abstract
diff --git a/stdlib/source/library/lux/tool/compiler/meta/cache/archive.lux b/stdlib/source/library/lux/tool/compiler/meta/cache/archive.lux
index 8876e3e77..4174ebbe6 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/cache/archive.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/cache/archive.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except)
    [control
diff --git a/stdlib/source/library/lux/tool/compiler/meta/cache/artifact.lux b/stdlib/source/library/lux/tool/compiler/meta/cache/artifact.lux
index 69c131082..216a07d76 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/cache/artifact.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/cache/artifact.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except)
    [target (.only Target)]
diff --git a/stdlib/source/library/lux/tool/compiler/meta/cache/dependency/artifact.lux b/stdlib/source/library/lux/tool/compiler/meta/cache/dependency/artifact.lux
index 5640bdd7e..4a1572890 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/cache/dependency/artifact.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/cache/dependency/artifact.lux
@@ -1,5 +1,5 @@
 ... https://en.wikipedia.org/wiki/Tree_shaking
-(.using
+(.require
  [library
   [lux (.except all)
    [abstract
@@ -8,7 +8,7 @@
    [data
     ["[0]" product]
     [collection
-     ["[0]" list (.open: "[1]#[0]" monoid mix monad)]
+     ["[0]" list (.use "[1]#[0]" monoid mix monad)]
      ["[0]" set (.only Set)]
      ["[0]" dictionary (.only Dictionary)]
      ["[0]" sequence]]]
diff --git a/stdlib/source/library/lux/tool/compiler/meta/cache/dependency/module.lux b/stdlib/source/library/lux/tool/compiler/meta/cache/dependency/module.lux
index bdb09274d..8b3dbdcfc 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/cache/dependency/module.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/cache/dependency/module.lux
@@ -1,10 +1,10 @@
-(.using
+(.require
  [library
   [lux (.except)
    [abstract
     ["[0]" monad (.only do)]]
    [control
-    ["[0]" maybe (.open: "[1]#[0]" functor)]
+    ["[0]" maybe (.use "[1]#[0]" functor)]
     ["[0]" try (.only Try)]
     ["[0]" state]
     [function
@@ -13,7 +13,7 @@
     ["[0]" text (.only)
      ["%" \\format (.only format)]]
     [collection
-     ["[0]" list (.open: "[1]#[0]" functor mix)]
+     ["[0]" list (.use "[1]#[0]" functor mix)]
      ["[0]" dictionary (.only Dictionary)]
      ["[0]" set (.only Set)]]]]]
  [////
diff --git a/stdlib/source/library/lux/tool/compiler/meta/cache/module.lux b/stdlib/source/library/lux/tool/compiler/meta/cache/module.lux
index ea6c1a660..b261c7c04 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/cache/module.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/cache/module.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except)
    ["@" target]
@@ -11,10 +11,10 @@
    [data
     [binary (.only Binary)]
     ["[0]" product]
-    ["[0]" text (.open: "[1]#[0]" equivalence)
+    ["[0]" text (.use "[1]#[0]" equivalence)
      ["%" \\format (.only format)]]
     [collection
-     ["[0]" list (.open: "[1]#[0]" functor)]
+     ["[0]" list (.use "[1]#[0]" functor)]
      ["[0]" dictionary (.only Dictionary)]]]
    [world
     ["[0]" file]]]]
diff --git a/stdlib/source/library/lux/tool/compiler/meta/cache/purge.lux b/stdlib/source/library/lux/tool/compiler/meta/cache/purge.lux
index d538861e6..afa78e37d 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/cache/purge.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/cache/purge.lux
@@ -1,17 +1,17 @@
-(.using
+(.require
  [library
   [lux (.except)
    [abstract
     [predicate (.only Predicate)]
     ["[0]" monad (.only Monad do)]]
    [control
-    ["[0]" try (.only Try) (.open: "[1]#[0]" functor)]
+    ["[0]" try (.only Try) (.use "[1]#[0]" functor)]
     [concurrency
      ["[0]" async (.only Async)]]]
    [data
-    ["[0]" text (.open: "[1]#[0]" equivalence)]
+    ["[0]" text (.use "[1]#[0]" equivalence)]
     [collection
-     ["[0]" list (.open: "[1]#[0]" mix functor)]
+     ["[0]" list (.use "[1]#[0]" mix functor)]
      ["[0]" dictionary (.only Dictionary)]
      ["[0]" set]]]
    [math
diff --git a/stdlib/source/library/lux/tool/compiler/meta/cli.lux b/stdlib/source/library/lux/tool/compiler/meta/cli.lux
index 76c30f475..3c502b3c7 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/cli.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/cli.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except Module Source)
    [abstract
@@ -14,7 +14,7 @@
      ["%" \\format]
      ["<[1]>" \\parser]]
     [collection
-     ["[0]" list (.open: "[1]#[0]" functor)]]]
+     ["[0]" list (.use "[1]#[0]" functor)]]]
    [macro
     ["^" pattern]]
    [math
diff --git a/stdlib/source/library/lux/tool/compiler/meta/cli/compiler.lux b/stdlib/source/library/lux/tool/compiler/meta/cli/compiler.lux
index e8c4196dd..7e3a4a569 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/cli/compiler.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/cli/compiler.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except parameter)
    [abstract
@@ -12,7 +12,7 @@
      ["%" \\format]
      ["<[1]>" \\parser (.only Parser)]]
     [collection
-     ["[0]" list (.open: "[1]#[0]" functor)]]]
+     ["[0]" list (.use "[1]#[0]" functor)]]]
    [math
     [number (.only hex)]]
    [meta
diff --git a/stdlib/source/library/lux/tool/compiler/meta/context.lux b/stdlib/source/library/lux/tool/compiler/meta/context.lux
index a2126c773..17258fa87 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/context.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/context.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except)
    ["@" target (.only Target)]
diff --git a/stdlib/source/library/lux/tool/compiler/meta/export.lux b/stdlib/source/library/lux/tool/compiler/meta/export.lux
index aab3dae55..4b0621fb9 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/export.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/export.lux
@@ -1,12 +1,12 @@
-(.using
+(.require
  [library
   [lux (.except Source)
    [abstract
     ["[0]" monad (.only do)]]
    [control
-    ["[0]" try (.only Try) (.open: "[1]#[0]" monad)]
+    ["[0]" try (.only Try) (.use "[1]#[0]" monad)]
     [concurrency
-     ["[0]" async (.only Async) (.open: "[1]#[0]" functor)]]]
+     ["[0]" async (.only Async) (.use "[1]#[0]" functor)]]]
    [data
     ["[0]" text (.only)
      ["%" \\format (.only format)]]
diff --git a/stdlib/source/library/lux/tool/compiler/meta/import.lux b/stdlib/source/library/lux/tool/compiler/meta/import.lux
index d653afbac..562904334 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/import.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/import.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except Module)
    [abstract
diff --git a/stdlib/source/library/lux/tool/compiler/meta/io.lux b/stdlib/source/library/lux/tool/compiler/meta/io.lux
index 374e71ef3..9274c9c1c 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/io.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/io.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except Code)
    [data
diff --git a/stdlib/source/library/lux/tool/compiler/meta/io/archive.lux b/stdlib/source/library/lux/tool/compiler/meta/io/archive.lux
index 2cef8ada4..2ee82990e 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/io/archive.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/io/archive.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except)
    ["@" target (.only Target)]
@@ -8,16 +8,16 @@
     ["<>" parser]
     ["[0]" try (.only Try)]
     [concurrency
-     ["[0]" async (.only Async) (.open: "[1]#[0]" monad)]]]
+     ["[0]" async (.only Async) (.use "[1]#[0]" monad)]]]
    [data
     ["[0]" product]
     ["[0]" binary (.only Binary)
      ["<[1]>" \\parser (.only Parser)]]
-    ["[0]" text (.open: "[1]#[0]" equivalence)
+    ["[0]" text (.use "[1]#[0]" equivalence)
      ["%" \\format (.only format)]]
     [collection
      [set (.only Set)]
-     ["[0]" list (.open: "[1]#[0]" mix)]
+     ["[0]" list (.use "[1]#[0]" mix)]
      ["[0]" dictionary (.only Dictionary)]
      ["[0]" sequence (.only Sequence)]]]
    [macro
diff --git a/stdlib/source/library/lux/tool/compiler/meta/io/context.lux b/stdlib/source/library/lux/tool/compiler/meta/io/context.lux
index e79b60e7b..9909f8a5d 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/io/context.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/io/context.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except Module Code)
    ["@" target]
@@ -10,10 +10,10 @@
     ["[0]" try (.only Try)]
     ["[0]" exception (.only exception:)]
     [concurrency
-     ["[0]" async (.only Async) (.open: "[1]#[0]" monad)]]]
+     ["[0]" async (.only Async) (.use "[1]#[0]" monad)]]]
    [data
     [binary (.only Binary)]
-    ["[0]" text (.open: "[1]#[0]" hash)
+    ["[0]" text (.use "[1]#[0]" hash)
      ["%" \\format (.only format)]
      [encoding
       ["[0]" utf8]]]
diff --git a/stdlib/source/library/lux/tool/compiler/meta/packager.lux b/stdlib/source/library/lux/tool/compiler/meta/packager.lux
index 759cb26a5..59d28df77 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/packager.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/packager.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except)
    [control
@@ -9,7 +9,7 @@
     [collection
      [dictionary (.only Dictionary)]
      ["[0]" sequence]
-     ["[0]" list (.open: "[1]#[0]" functor)]]]
+     ["[0]" list (.use "[1]#[0]" functor)]]]
    [world
     ["[0]" file]]]]
  [//
diff --git a/stdlib/source/library/lux/tool/compiler/meta/packager/jvm.lux b/stdlib/source/library/lux/tool/compiler/meta/packager/jvm.lux
index ddc522426..2ff0b2d95 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/packager/jvm.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/packager/jvm.lux
@@ -1,11 +1,11 @@
-(.using
+(.require
  [library
   [lux (.except Module Definition)
    ["[0]" ffi (.only import do_to)]
    [abstract
     ["[0]" monad (.only Monad do)]]
    [control
-    ["[0]" maybe (.open: "[1]#[0]" functor)]
+    ["[0]" maybe (.use "[1]#[0]" functor)]
     ["[0]" try (.only Try)]]
    [data
     ["[0]" binary (.only Binary)]
@@ -13,7 +13,7 @@
      ["%" \\format (.only format)]]
     [collection
      ["[0]" sequence]
-     ["[0]" list (.open: "[1]#[0]" functor)]
+     ["[0]" list (.use "[1]#[0]" functor)]
      ["[0]" dictionary]
      ["[0]" set (.only Set)]]]
    [math
diff --git a/stdlib/source/library/lux/tool/compiler/meta/packager/ruby.lux b/stdlib/source/library/lux/tool/compiler/meta/packager/ruby.lux
index cc5938094..c59a31672 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/packager/ruby.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/packager/ruby.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except)
    [type (.only sharing)]
@@ -15,7 +15,7 @@
       ["[0]" utf8]]]
     [collection
      ["[0]" sequence]
-     ["[0]" list (.open: "[1]#[0]" functor mix)]
+     ["[0]" list (.use "[1]#[0]" functor mix)]
      ["[0]" dictionary (.only Dictionary)]
      ["[0]" set (.only Set)]]]
    [math
diff --git a/stdlib/source/library/lux/tool/compiler/meta/packager/scheme.lux b/stdlib/source/library/lux/tool/compiler/meta/packager/scheme.lux
index 70f595ff4..a574aab07 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/packager/scheme.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/packager/scheme.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except Module)
    [type (.only sharing)]
@@ -15,7 +15,7 @@
      ["[0]" encoding]]
     [collection
      ["[0]" sequence]
-     ["[0]" list (.open: "[1]#[0]" functor mix)]
+     ["[0]" list (.use "[1]#[0]" functor mix)]
      ["[0]" dictionary (.only Dictionary)]
      ["[0]" set]]
     [format
diff --git a/stdlib/source/library/lux/tool/compiler/meta/packager/script.lux b/stdlib/source/library/lux/tool/compiler/meta/packager/script.lux
index d68c344e5..042b0fcdb 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/packager/script.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/packager/script.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except)
    [type (.only sharing)]
@@ -16,7 +16,7 @@
     [collection
      ["[0]" sequence]
      ["[0]" set (.only Set)]
-     ["[0]" list (.open: "[1]#[0]" functor)]]]]]
+     ["[0]" list (.use "[1]#[0]" functor)]]]]]
  ["[0]" // (.only Packager)
   [//
    ["[0]" archive (.only Output)
diff --git a/stdlib/source/library/lux/tool/compiler/phase.lux b/stdlib/source/library/lux/tool/compiler/phase.lux
index c2aa03feb..f27b3a5e3 100644
--- a/stdlib/source/library/lux/tool/compiler/phase.lux
+++ b/stdlib/source/library/lux/tool/compiler/phase.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except except with)
    [abstract
@@ -6,7 +6,7 @@
     [monad (.only Monad do)]]
    [control
     ["[0]" state]
-    ["[0]" try (.only Try) (.open: "[1]#[0]" functor)]
+    ["[0]" try (.only Try) (.use "[1]#[0]" functor)]
     ["[0]" exception (.only Exception)]
     ["[0]" io]]
    [data
diff --git a/stdlib/source/library/lux/tool/compiler/reference.lux b/stdlib/source/library/lux/tool/compiler/reference.lux
index 9701fbf11..116d4bf62 100644
--- a/stdlib/source/library/lux/tool/compiler/reference.lux
+++ b/stdlib/source/library/lux/tool/compiler/reference.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except local)
    [abstract
diff --git a/stdlib/source/library/lux/tool/compiler/reference/variable.lux b/stdlib/source/library/lux/tool/compiler/reference/variable.lux
index 7dd3cdc4c..bb93abe4b 100644
--- a/stdlib/source/library/lux/tool/compiler/reference/variable.lux
+++ b/stdlib/source/library/lux/tool/compiler/reference/variable.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except)
    [abstract
diff --git a/stdlib/source/library/lux/tool/compiler/version.lux b/stdlib/source/library/lux/tool/compiler/version.lux
index 1c8b12785..2fd579803 100644
--- a/stdlib/source/library/lux/tool/compiler/version.lux
+++ b/stdlib/source/library/lux/tool/compiler/version.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except)
    [data
author	Eduardo Julian	2022-06-16 21:37:38 -0400
committer	Eduardo Julian	2022-06-16 21:37:38 -0400
commit	7249707e7c09be68dfb7507ba363efd3300a0141 (patch)
tree	1fb4764458da16353315ea7e267f997c9be70f49 /stdlib/source/library/lux/tool/compiler
parent	e00e0b5f1e5fb509cf8f32424397110f524b8148 (diff)