11 files changed, 26 insertions, 26 deletions
diff --git a/stdlib/source/library/lux/type/check.lux b/stdlib/source/library/lux/type/check.lux
index 7241146ec..0c91e0c24 100644
--- a/stdlib/source/library/lux/type/check.lux
+++ b/stdlib/source/library/lux/type/check.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except try except with)
    ["@" target]
@@ -12,16 +12,16 @@
     ["[0]" exception (.only Exception exception:)]]
    [data
     ["[0]" product]
-    ["[0]" text (.open: "[1]#[0]" monoid equivalence)]
+    ["[0]" text (.use "[1]#[0]" monoid equivalence)]
     [collection
-     ["[0]" list (.open: "[1]#[0]" mix)]
+     ["[0]" list (.use "[1]#[0]" mix)]
      ["[0]" set (.only Set)]]]
    [macro
     ["^" pattern]]
    [math
     [number
-     ["n" nat (.open: "[1]#[0]" decimal)]]]]]
- ["[0]" // (.open: "[1]#[0]" equivalence)])
+     ["n" nat (.use "[1]#[0]" decimal)]]]]]
+ ["[0]" // (.use "[1]#[0]" equivalence)])
 
 (def !n#=
   (template (_ reference subject)
@@ -132,7 +132,7 @@
          )))
    ))
 
-(open: "check#[0]" ..monad)
+(use "check#[0]" ..monad)
 
 (def (var::new id plist)
   (-> Var Type_Vars Type_Vars)
diff --git a/stdlib/source/library/lux/type/dynamic.lux b/stdlib/source/library/lux/type/dynamic.lux
index 169e16464..9c41cffff 100644
--- a/stdlib/source/library/lux/type/dynamic.lux
+++ b/stdlib/source/library/lux/type/dynamic.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except static)
    ["[0]" debug]
diff --git a/stdlib/source/library/lux/type/implicit.lux b/stdlib/source/library/lux/type/implicit.lux
index fb06527c8..733760bf5 100644
--- a/stdlib/source/library/lux/type/implicit.lux
+++ b/stdlib/source/library/lux/type/implicit.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except with)
    [abstract
@@ -11,10 +11,10 @@
      ["<[0]>" code (.only Parser)]]]
    [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 mix)]
+     ["[0]" list (.use "[1]#[0]" monad mix)]
      ["[0]" dictionary (.only Dictionary)]]]
    ["[0]" macro (.only)
     ["[0]" code]
@@ -23,7 +23,7 @@
     ["[0]" number (.only)
      ["n" nat]]]
    ["[0]" meta]
-   ["[0]" type (.open: "[1]#[0]" equivalence)
+   ["[0]" type (.use "[1]#[0]" equivalence)
     ["[0]" check (.only Check)]]]])
 
 (def (type_var id env)
diff --git a/stdlib/source/library/lux/type/poly.lux b/stdlib/source/library/lux/type/poly.lux
index 997c7b65f..1555bfe9a 100644
--- a/stdlib/source/library/lux/type/poly.lux
+++ b/stdlib/source/library/lux/type/poly.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except)
    ["[0]" meta]
@@ -7,14 +7,14 @@
     ["[0]" monad (.only do)]]
    [control
     ["[0]" maybe]
-    ["<>" parser (.open: "[1]#[0]" monad)
+    ["<>" parser (.use "[1]#[0]" monad)
      ["<[0]>" type (.only Env)]
      ["<[0]>" code (.only Parser)]]]
    [data
     ["[0]" product]
     ["[0]" text]
     [collection
-     ["[0]" list (.open: "[1]#[0]" functor)]
+     ["[0]" list (.use "[1]#[0]" functor)]
      ["[0]" dictionary]]]
    [macro (.only with_symbols)
     [syntax (.only syntax)]
diff --git a/stdlib/source/library/lux/type/primitive.lux b/stdlib/source/library/lux/type/primitive.lux
index 274e07b32..52655b950 100644
--- a/stdlib/source/library/lux/type/primitive.lux
+++ b/stdlib/source/library/lux/type/primitive.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except)
    ["[0]" meta]
@@ -6,19 +6,19 @@
     [monad (.only Monad do)]]
    [control
     ["[0]" exception (.only exception:)]
-    ["<>" parser (.open: "[1]#[0]" monad)
+    ["<>" parser (.use "[1]#[0]" monad)
      ["<[0]>" code (.only Parser)]]]
    [data
-    ["[0]" text (.open: "[1]#[0]" equivalence monoid)]
+    ["[0]" text (.use "[1]#[0]" equivalence monoid)]
     [collection
-     ["[0]" list (.open: "[1]#[0]" functor monoid)]]]
+     ["[0]" list (.use "[1]#[0]" functor monoid)]]]
    [macro
     ["^" pattern]
     ["[0]" code]
     [syntax (.only syntax)
      ["|[0]|" export]]]
    [meta
-    ["[0]" symbol (.open: "[1]#[0]" codec)]]]]
+    ["[0]" symbol (.use "[1]#[0]" codec)]]]]
  ["[0]" //])
 
 (type: Stack
diff --git a/stdlib/source/library/lux/type/quotient.lux b/stdlib/source/library/lux/type/quotient.lux
index 355e14d0e..bec09aeeb 100644
--- a/stdlib/source/library/lux/type/quotient.lux
+++ b/stdlib/source/library/lux/type/quotient.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except type)
    [abstract
diff --git a/stdlib/source/library/lux/type/refinement.lux b/stdlib/source/library/lux/type/refinement.lux
index 5b1cec8db..4292f771c 100644
--- a/stdlib/source/library/lux/type/refinement.lux
+++ b/stdlib/source/library/lux/type/refinement.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except type only)
    [abstract
diff --git a/stdlib/source/library/lux/type/resource.lux b/stdlib/source/library/lux/type/resource.lux
index c906fc13e..dd1421e6a 100644
--- a/stdlib/source/library/lux/type/resource.lux
+++ b/stdlib/source/library/lux/type/resource.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except)
    ["[0]" meta]
@@ -16,7 +16,7 @@
     [collection
      ["[0]" set]
      ["[0]" sequence (.only Sequence)]
-     ["[0]" list (.open: "[1]#[0]" functor mix)]]]
+     ["[0]" list (.use "[1]#[0]" functor mix)]]]
    ["[0]" macro (.only)
     [syntax (.only syntax)]]
    [math
diff --git a/stdlib/source/library/lux/type/unit.lux b/stdlib/source/library/lux/type/unit.lux
index ba76121f0..1b63245bf 100644
--- a/stdlib/source/library/lux/type/unit.lux
+++ b/stdlib/source/library/lux/type/unit.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except type)
    [abstract
diff --git a/stdlib/source/library/lux/type/unit/scale.lux b/stdlib/source/library/lux/type/unit/scale.lux
index efca489a0..c4aa8cbba 100644
--- a/stdlib/source/library/lux/type/unit/scale.lux
+++ b/stdlib/source/library/lux/type/unit/scale.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except type)
    [control
diff --git a/stdlib/source/library/lux/type/variance.lux b/stdlib/source/library/lux/type/variance.lux
index 53797fc61..68c9b4af3 100644
--- a/stdlib/source/library/lux/type/variance.lux
+++ b/stdlib/source/library/lux/type/variance.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
  [library
   [lux (.except)
    [meta