Extensible import syntax [Part 5]

272 files changed, 314 insertions, 332 deletions

diff --git a/stdlib/source/library/lux.lux b/stdlib/source/library/lux.lux
index def83aa1c..633ec16ce 100644
--- a/stdlib/source/library/lux.lux
+++ b/stdlib/source/library/lux.lux
@@ -3420,7 +3420,7 @@
 
     (pattern (list))
     (meta#in [(if aliased?
-                {#Referral [(symbol ..none) (list)]}
+                {#Referral [(symbol ..only) (list)]}
                 {#Nothing})
               (list)])
 
@@ -3764,24 +3764,6 @@
     {.#None}
     (failure (..wrong_syntax_error (symbol ..except)))))
 
-(template [<simple> <complex>]
-  [(macro: .public (<simple> tokens)
-     (case (..parsed (all ..andP
-                          ..anyP
-                          ..anyP)
-                     tokens)
-       {.#Some [current_module imported_module]}
-       (meta#in (list (` (<complex> (~ current_module) (~ imported_module)))))
-
-       {.#None}
-       (let [[module _] (symbol .._)
-             [_ short] (symbol <simple>)]
-         (failure (..wrong_syntax_error [module short])))))]
-
-  [full ..except]
-  [none ..only]
-  )
-
 (def: (in_env name state)
   (-> Text Lux (Maybe Type))
   (case state
diff --git a/stdlib/source/library/lux/abstract/algebra.lux b/stdlib/source/library/lux/abstract/algebra.lux
index 0dbf296b5..4daff502e 100644
--- a/stdlib/source/library/lux/abstract/algebra.lux
+++ b/stdlib/source/library/lux/abstract/algebra.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [control
     [functor (.only Fix)]]]])
 
diff --git a/stdlib/source/library/lux/abstract/apply.lux b/stdlib/source/library/lux/abstract/apply.lux
index de555f5c2..7e531efe4 100644
--- a/stdlib/source/library/lux/abstract/apply.lux
+++ b/stdlib/source/library/lux/abstract/apply.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    ["@" target]]]
  [//
   [monad (.only Monad do)]
diff --git a/stdlib/source/library/lux/abstract/codec.lux b/stdlib/source/library/lux/abstract/codec.lux
index 5cec0d814..6c0cc0a12 100644
--- a/stdlib/source/library/lux/abstract/codec.lux
+++ b/stdlib/source/library/lux/abstract/codec.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [control
     ["[0]" try (.only Try)]]]]
  [//
diff --git a/stdlib/source/library/lux/abstract/comonad.lux b/stdlib/source/library/lux/abstract/comonad.lux
index a9792734b..2660ba081 100644
--- a/stdlib/source/library/lux/abstract/comonad.lux
+++ b/stdlib/source/library/lux/abstract/comonad.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [data
     [collection
      ["[0]" list ("[1]#[0]" mix)]]]
diff --git a/stdlib/source/library/lux/abstract/comonad/cofree.lux b/stdlib/source/library/lux/abstract/comonad/cofree.lux
index 60eac83df..d07b3e67c 100644
--- a/stdlib/source/library/lux/abstract/comonad/cofree.lux
+++ b/stdlib/source/library/lux/abstract/comonad/cofree.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)]]
+  [lux (.except)]]
  [// (.only CoMonad)
   [//
    [functor (.only Functor)]]])
diff --git a/stdlib/source/library/lux/abstract/enum.lux b/stdlib/source/library/lux/abstract/enum.lux
index 4c55bffce..fbc9249ba 100644
--- a/stdlib/source/library/lux/abstract/enum.lux
+++ b/stdlib/source/library/lux/abstract/enum.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)]]
+  [lux (.except)]]
  [//
   ["[0]" order (.only Order)]])
 
diff --git a/stdlib/source/library/lux/abstract/equivalence.lux b/stdlib/source/library/lux/abstract/equivalence.lux
index a3df9e8e0..5c613a725 100644
--- a/stdlib/source/library/lux/abstract/equivalence.lux
+++ b/stdlib/source/library/lux/abstract/equivalence.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)]]
+  [lux (.except)]]
  [//
   [functor
    ["[0]" contravariant]]])
diff --git a/stdlib/source/library/lux/abstract/functor/contravariant.lux b/stdlib/source/library/lux/abstract/functor/contravariant.lux
index a0e0641e4..84c16bd01 100644
--- a/stdlib/source/library/lux/abstract/functor/contravariant.lux
+++ b/stdlib/source/library/lux/abstract/functor/contravariant.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)]])
+  [lux (.except)]])
 
 (type: .public (Functor f)
   (Interface
diff --git a/stdlib/source/library/lux/abstract/hash.lux b/stdlib/source/library/lux/abstract/hash.lux
index 1c06bbcf6..18806daea 100644
--- a/stdlib/source/library/lux/abstract/hash.lux
+++ b/stdlib/source/library/lux/abstract/hash.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)]]
+  [lux (.except)]]
  [//
   ["[0]" equivalence (.only Equivalence)]
   [functor
diff --git a/stdlib/source/library/lux/abstract/interval.lux b/stdlib/source/library/lux/abstract/interval.lux
index d0c1df135..452121f5e 100644
--- a/stdlib/source/library/lux/abstract/interval.lux
+++ b/stdlib/source/library/lux/abstract/interval.lux
@@ -1,7 +1,7 @@
 ... https://en.wikipedia.org/wiki/Interval_(mathematics)
 (.using
  [library
-  [lux (.full)]]
+  [lux (.except)]]
  [//
   [equivalence (.only Equivalence)]
   ["[0]" order]
diff --git a/stdlib/source/library/lux/abstract/mix.lux b/stdlib/source/library/lux/abstract/mix.lux
index 98ff86aae..3dc3ecc71 100644
--- a/stdlib/source/library/lux/abstract/mix.lux
+++ b/stdlib/source/library/lux/abstract/mix.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)]]
+  [lux (.except)]]
  [//
   [monoid (.only Monoid)]])
 
diff --git a/stdlib/source/library/lux/abstract/monad/free.lux b/stdlib/source/library/lux/abstract/monad/free.lux
index 8a264766e..70cbeb72d 100644
--- a/stdlib/source/library/lux/abstract/monad/free.lux
+++ b/stdlib/source/library/lux/abstract/monad/free.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)]]
+  [lux (.except)]]
  [///
   [functor (.only Functor)]
   [apply (.only Apply)]
diff --git a/stdlib/source/library/lux/abstract/order.lux b/stdlib/source/library/lux/abstract/order.lux
index 7add1a61e..31770b95b 100644
--- a/stdlib/source/library/lux/abstract/order.lux
+++ b/stdlib/source/library/lux/abstract/order.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [control
     ["[0]" function]]]]
  [//
diff --git a/stdlib/source/library/lux/abstract/predicate.lux b/stdlib/source/library/lux/abstract/predicate.lux
index 2ac8933fb..590741de7 100644
--- a/stdlib/source/library/lux/abstract/predicate.lux
+++ b/stdlib/source/library/lux/abstract/predicate.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.except all or and none)
+  [lux (.except all or and)
    [control
     ["[0]" function]]]]
  [//
diff --git a/stdlib/source/library/lux/control/concurrency/actor.lux b/stdlib/source/library/lux/control/concurrency/actor.lux
index 4b50f2658..17d986c44 100644
--- a/stdlib/source/library/lux/control/concurrency/actor.lux
+++ b/stdlib/source/library/lux/control/concurrency/actor.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    ["[0]" debug]
    [abstract
     [monad (.only do)]]
diff --git a/stdlib/source/library/lux/control/concurrency/async.lux b/stdlib/source/library/lux/control/concurrency/async.lux
index e71be8dbe..430637d8b 100644
--- a/stdlib/source/library/lux/control/concurrency/async.lux
+++ b/stdlib/source/library/lux/control/concurrency/async.lux
@@ -15,7 +15,7 @@
    [macro
     ["^" pattern]]
    [type (.only sharing)
-    [primitive (.full)]
+    [primitive (.except)]
     ["[0]" variance (.only Mutable)]]]]
  [//
   ["[0]" thread]
diff --git a/stdlib/source/library/lux/control/concurrency/atom.lux b/stdlib/source/library/lux/control/concurrency/atom.lux
index 58691f52c..da13c860d 100644
--- a/stdlib/source/library/lux/control/concurrency/atom.lux
+++ b/stdlib/source/library/lux/control/concurrency/atom.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    ["@" target]
    ["[0]" ffi]
    [abstract
@@ -14,7 +14,7 @@
      ["[0]" array
       ["[1]" \\unsafe]]]]
    [type
-    [primitive (.full)]
+    [primitive (.except)]
     ["[0]" variance (.only Mutable)]]]])
 
 (with_expansions [<jvm> (these (ffi.import: (java/util/concurrent/atomic/AtomicReference a)
diff --git a/stdlib/source/library/lux/control/concurrency/semaphore.lux b/stdlib/source/library/lux/control/concurrency/semaphore.lux
index 1c38e985b..d200c9d52 100644
--- a/stdlib/source/library/lux/control/concurrency/semaphore.lux
+++ b/stdlib/source/library/lux/control/concurrency/semaphore.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [abstract
     [monad (.only do)]]
    [control
@@ -18,7 +18,7 @@
      ["n" nat]
      ["i" int]]]
    [type
-    ["[0]" primitive (.full)]
+    ["[0]" primitive (.except)]
     ["[0]" refinement]]]]
  [//
   ["[0]" atom (.only Atom)]
diff --git a/stdlib/source/library/lux/control/concurrency/stm.lux b/stdlib/source/library/lux/control/concurrency/stm.lux
index 41367dd00..16463523a 100644
--- a/stdlib/source/library/lux/control/concurrency/stm.lux
+++ b/stdlib/source/library/lux/control/concurrency/stm.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [abstract
     [functor (.only Functor)]
     [apply (.only Apply)]
@@ -16,7 +16,7 @@
    [macro
     ["^" pattern]]
    [type (.only sharing)
-    [primitive (.full)]
+    [primitive (.except)]
     ["[0]" variance (.only Mutable)]]]]
  [//
   ["[0]" atom (.only Atom atom)]
diff --git a/stdlib/source/library/lux/control/concurrency/thread.lux b/stdlib/source/library/lux/control/concurrency/thread.lux
index 96c2a7d9b..6853c0829 100644
--- a/stdlib/source/library/lux/control/concurrency/thread.lux
+++ b/stdlib/source/library/lux/control/concurrency/thread.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    ["@" target]
    ["[0]" ffi]
    [abstract
diff --git a/stdlib/source/library/lux/control/continuation.lux b/stdlib/source/library/lux/control/continuation.lux
index a6327b13b..3b22917af 100644
--- a/stdlib/source/library/lux/control/continuation.lux
+++ b/stdlib/source/library/lux/control/continuation.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [abstract
     [functor (.only Functor)]
     [apply (.only Apply)]
diff --git a/stdlib/source/library/lux/control/function.lux b/stdlib/source/library/lux/control/function.lux
index e2d583b93..bdbe4407f 100644
--- a/stdlib/source/library/lux/control/function.lux
+++ b/stdlib/source/library/lux/control/function.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [abstract
     [monoid (.only Monoid)]]]])
 
diff --git a/stdlib/source/library/lux/control/function/contract.lux b/stdlib/source/library/lux/control/function/contract.lux
index b3fa85f14..d475de3e0 100644
--- a/stdlib/source/library/lux/control/function/contract.lux
+++ b/stdlib/source/library/lux/control/function/contract.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [control
     ["[0]" exception (.only exception:)]
     [parser
diff --git a/stdlib/source/library/lux/control/function/inline.lux b/stdlib/source/library/lux/control/function/inline.lux
index f83d6418c..38e1c795f 100644
--- a/stdlib/source/library/lux/control/function/inline.lux
+++ b/stdlib/source/library/lux/control/function/inline.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    ["[0]" meta]
    [abstract
     ["[0]" monad (.only do)]]
diff --git a/stdlib/source/library/lux/control/function/memo.lux b/stdlib/source/library/lux/control/function/memo.lux
index 1bd9db5a6..47ed679d5 100644
--- a/stdlib/source/library/lux/control/function/memo.lux
+++ b/stdlib/source/library/lux/control/function/memo.lux
@@ -3,7 +3,7 @@
 
 (.using
  [library
-  [lux (.except open none)
+  [lux (.except open)
    ["[0]" type]
    [abstract
     [hash (.only Hash)]
diff --git a/stdlib/source/library/lux/control/function/mixin.lux b/stdlib/source/library/lux/control/function/mixin.lux
index dd2b0b030..0a087b121 100644
--- a/stdlib/source/library/lux/control/function/mixin.lux
+++ b/stdlib/source/library/lux/control/function/mixin.lux
@@ -3,7 +3,7 @@
 
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [abstract
     [monoid (.only Monoid)]
     [predicate (.only Predicate)]
diff --git a/stdlib/source/library/lux/control/io.lux b/stdlib/source/library/lux/control/io.lux
index 177b058af..ac513fc05 100644
--- a/stdlib/source/library/lux/control/io.lux
+++ b/stdlib/source/library/lux/control/io.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [abstract
     [functor (.only Functor)]
     [apply (.only Apply)]
@@ -9,7 +9,7 @@
     [parser
      ["<[0]>" code]]]
    [type
-    [primitive (.full)]]
+    [primitive (.except)]]
    [macro (.only with_symbols)
     [syntax (.only syntax:)]
     ["[0]" template]]]])
diff --git a/stdlib/source/library/lux/control/lazy.lux b/stdlib/source/library/lux/control/lazy.lux
index b42cc74ec..fc97cd06f 100644
--- a/stdlib/source/library/lux/control/lazy.lux
+++ b/stdlib/source/library/lux/control/lazy.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [abstract
     [functor (.only Functor)]
     [apply (.only Apply)]
@@ -15,7 +15,7 @@
    [macro (.only with_symbols)
     [syntax (.only syntax:)]]
    [type (.only sharing)
-    [primitive (.full)]]]])
+    [primitive (.except)]]]])
 
 (primitive: .public (Lazy a)
   (-> [] a)
diff --git a/stdlib/source/library/lux/control/parser/environment.lux b/stdlib/source/library/lux/control/parser/environment.lux
index 86ccd13b2..484671355 100644
--- a/stdlib/source/library/lux/control/parser/environment.lux
+++ b/stdlib/source/library/lux/control/parser/environment.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [control
     ["[0]" try (.only Try)]
     ["[0]" exception (.only exception:)]]
diff --git a/stdlib/source/library/lux/control/parser/xml.lux b/stdlib/source/library/lux/control/parser/xml.lux
index f87df4f51..36b62f782 100644
--- a/stdlib/source/library/lux/control/parser/xml.lux
+++ b/stdlib/source/library/lux/control/parser/xml.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [abstract
     [monad (.only do)]]
    [control
diff --git a/stdlib/source/library/lux/control/remember.lux b/stdlib/source/library/lux/control/remember.lux
index d59bc8fec..e19b39036 100644
--- a/stdlib/source/library/lux/control/remember.lux
+++ b/stdlib/source/library/lux/control/remember.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [abstract
     [monad (.only do)]]
    [control
diff --git a/stdlib/source/library/lux/control/security/capability.lux b/stdlib/source/library/lux/control/security/capability.lux
index 08ccaafac..3317a8f15 100644
--- a/stdlib/source/library/lux/control/security/capability.lux
+++ b/stdlib/source/library/lux/control/security/capability.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [abstract
     [monad (.only do)]]
    [control
@@ -15,7 +15,7 @@
     [collection
      ["[0]" list ("[1]#[0]" functor)]]]
    [type
-    [primitive (.full)]]
+    [primitive (.except)]]
    ["[0]" meta]
    ["[0]" macro (.only)
     ["[0]" code]
diff --git a/stdlib/source/library/lux/control/security/policy.lux b/stdlib/source/library/lux/control/security/policy.lux
index 3f1b239be..f01773f36 100644
--- a/stdlib/source/library/lux/control/security/policy.lux
+++ b/stdlib/source/library/lux/control/security/policy.lux
@@ -1,12 +1,12 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [abstract
     [functor (.only Functor)]
     [apply (.only Apply)]
     [monad (.only Monad)]]
    [type
-    [primitive (.full)]]]])
+    [primitive (.except)]]]])
 
 (primitive: .public (Policy brand value label)
   value
diff --git a/stdlib/source/library/lux/control/thread.lux b/stdlib/source/library/lux/control/thread.lux
index ccb4f654a..13ac32bf5 100644
--- a/stdlib/source/library/lux/control/thread.lux
+++ b/stdlib/source/library/lux/control/thread.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    ["@" target]
    [abstract
     [functor (.only Functor)]
@@ -13,7 +13,7 @@
      ["[0]" array
       ["[1]" \\unsafe (.only Array)]]]]
    [type
-    [primitive (.full)]
+    [primitive (.except)]
     ["[0]" variance (.only Mutable)]]]])
 
 (type: .public (Thread ! a)
diff --git a/stdlib/source/library/lux/control/try.lux b/stdlib/source/library/lux/control/try.lux
index 9a91b7042..2a5c9bb03 100644
--- a/stdlib/source/library/lux/control/try.lux
+++ b/stdlib/source/library/lux/control/try.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    ["@" target]
    [abstract
     [apply (.only Apply)]
diff --git a/stdlib/source/library/lux/control/writer.lux b/stdlib/source/library/lux/control/writer.lux
index 552b08105..118d41ee0 100644
--- a/stdlib/source/library/lux/control/writer.lux
+++ b/stdlib/source/library/lux/control/writer.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    ["@" target]
    [abstract
     [monoid (.only Monoid)]
diff --git a/stdlib/source/library/lux/data/binary.lux b/stdlib/source/library/lux/data/binary.lux
index a88729a42..2335c38a0 100644
--- a/stdlib/source/library/lux/data/binary.lux
+++ b/stdlib/source/library/lux/data/binary.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    ["[0]" ffi]
    [abstract
     [equivalence (.only Equivalence)]
diff --git a/stdlib/source/library/lux/data/bit.lux b/stdlib/source/library/lux/data/bit.lux
index 6ae4683ce..db83b05a9 100644
--- a/stdlib/source/library/lux/data/bit.lux
+++ b/stdlib/source/library/lux/data/bit.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [abstract
     [monoid (.only Monoid)]
     [equivalence (.only Equivalence)]
diff --git a/stdlib/source/library/lux/data/collection/dictionary/ordered.lux b/stdlib/source/library/lux/data/collection/dictionary/ordered.lux
index 2d499a0ab..16361edf6 100644
--- a/stdlib/source/library/lux/data/collection/dictionary/ordered.lux
+++ b/stdlib/source/library/lux/data/collection/dictionary/ordered.lux
@@ -2,7 +2,7 @@
  [library
   [lux (.except has revised)
    [abstract
-    [equivalence (.full)]
+    [equivalence (.except)]
     [monad (.only Monad do)]
     ["[0]" order (.only Order)]]
    [control
diff --git a/stdlib/source/library/lux/data/collection/queue/priority.lux b/stdlib/source/library/lux/data/collection/queue/priority.lux
index c63677872..98c9734fb 100644
--- a/stdlib/source/library/lux/data/collection/queue/priority.lux
+++ b/stdlib/source/library/lux/data/collection/queue/priority.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [abstract
     [equivalence (.only Equivalence)]
     [monad (.only do)]]
diff --git a/stdlib/source/library/lux/data/collection/set/ordered.lux b/stdlib/source/library/lux/data/collection/set/ordered.lux
index ef25dccf3..45ab47ef6 100644
--- a/stdlib/source/library/lux/data/collection/set/ordered.lux
+++ b/stdlib/source/library/lux/data/collection/set/ordered.lux
@@ -10,7 +10,7 @@
      [dictionary
       ["/" ordered]]]]
    [type
-    [primitive (.full)]]]])
+    [primitive (.except)]]]])
 
 (primitive: .public (Set a)
   (/.Dictionary a a)
diff --git a/stdlib/source/library/lux/data/collection/stack.lux b/stdlib/source/library/lux/data/collection/stack.lux
index 16f57920f..4994baf67 100644
--- a/stdlib/source/library/lux/data/collection/stack.lux
+++ b/stdlib/source/library/lux/data/collection/stack.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [abstract
     [equivalence (.only Equivalence)]
     [functor (.only Functor)]]
@@ -8,7 +8,7 @@
     [collection
      ["//" list]]]
    [type
-    [primitive (.full)]]]])
+    [primitive (.except)]]]])
 
 (primitive: .public (Stack a)
   (List a)
diff --git a/stdlib/source/library/lux/data/collection/tree.lux b/stdlib/source/library/lux/data/collection/tree.lux
index 01f6b31ab..28d6f283b 100644
--- a/stdlib/source/library/lux/data/collection/tree.lux
+++ b/stdlib/source/library/lux/data/collection/tree.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [abstract
     [functor (.only Functor)]
     [equivalence (.only Equivalence)]
diff --git a/stdlib/source/library/lux/data/collection/tree/finger.lux b/stdlib/source/library/lux/data/collection/tree/finger.lux
index 81093ad4b..a147973fe 100644
--- a/stdlib/source/library/lux/data/collection/tree/finger.lux
+++ b/stdlib/source/library/lux/data/collection/tree/finger.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [abstract
     [predicate (.only Predicate)]
     ["[0]" monoid (.only Monoid)]]
diff --git a/stdlib/source/library/lux/data/color.lux b/stdlib/source/library/lux/data/color.lux
index ae6a1a948..e18ee549c 100644
--- a/stdlib/source/library/lux/data/color.lux
+++ b/stdlib/source/library/lux/data/color.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [abstract
     [equivalence (.only Equivalence)]
     [monoid (.only Monoid)]
@@ -16,7 +16,7 @@
      ["[0]" rev ("[1]#[0]" interval)]
      ["[0]" i64]]]
    [type
-    [primitive (.full)]]]])
+    [primitive (.except)]]]])
 
 (def: rgb_limit 256)
 (def: top (-- rgb_limit))
diff --git a/stdlib/source/library/lux/data/color/named.lux b/stdlib/source/library/lux/data/color/named.lux
index a70309fb7..4e7ab9c1a 100644
--- a/stdlib/source/library/lux/data/color/named.lux
+++ b/stdlib/source/library/lux/data/color/named.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [math
     [number (.only hex)]]]]
  ["[0]" // (.only Color)])
diff --git a/stdlib/source/library/lux/data/format/css/class.lux b/stdlib/source/library/lux/data/format/css/class.lux
index ec711beae..5bb68fb2e 100644
--- a/stdlib/source/library/lux/data/format/css/class.lux
+++ b/stdlib/source/library/lux/data/format/css/class.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    ["[0]" meta]
    [abstract
     [monad (.only do)]]
@@ -11,7 +11,7 @@
     [syntax (.only syntax:)]
     ["[0]" code]]
    [type
-    [primitive (.full)]]]])
+    [primitive (.except)]]]])
 
 (primitive: .public Class
   Text
diff --git a/stdlib/source/library/lux/data/format/css/font.lux b/stdlib/source/library/lux/data/format/css/font.lux
index c3a64f16a..d0a879509 100644
--- a/stdlib/source/library/lux/data/format/css/font.lux
+++ b/stdlib/source/library/lux/data/format/css/font.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [type
     abstract]
    [control
diff --git a/stdlib/source/library/lux/data/format/css/id.lux b/stdlib/source/library/lux/data/format/css/id.lux
index 9d8d3bbe7..bc11c304d 100644
--- a/stdlib/source/library/lux/data/format/css/id.lux
+++ b/stdlib/source/library/lux/data/format/css/id.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    ["[0]" meta]
    [abstract
     [monad (.only do)]]
@@ -11,7 +11,7 @@
     [syntax (.only syntax:)]
     ["[0]" code]]
    [type
-    [primitive (.full)]]]])
+    [primitive (.except)]]]])
 
 (primitive: .public ID
   Text
diff --git a/stdlib/source/library/lux/data/format/css/property.lux b/stdlib/source/library/lux/data/format/css/property.lux
index 12a354f6d..b8153afe7 100644
--- a/stdlib/source/library/lux/data/format/css/property.lux
+++ b/stdlib/source/library/lux/data/format/css/property.lux
@@ -7,7 +7,7 @@
    [data
     ["[0]" text]]
    [type
-    [primitive (.full)]]
+    [primitive (.except)]]
    [macro
     ["[0]" template]
     ["[0]" code]
diff --git a/stdlib/source/library/lux/data/format/css/query.lux b/stdlib/source/library/lux/data/format/css/query.lux
index cadc7c716..de81ee371 100644
--- a/stdlib/source/library/lux/data/format/css/query.lux
+++ b/stdlib/source/library/lux/data/format/css/query.lux
@@ -12,7 +12,7 @@
     ["[0]" code]
     [syntax (.only syntax:)]]
    [type
-    [primitive (.full)]]]]
+    [primitive (.except)]]]]
  ["[0]" //
   ["[1][0]" value (.only Value Length Count Resolution Ratio
                          Orientation Scan Boolean Update
diff --git a/stdlib/source/library/lux/data/format/css/selector.lux b/stdlib/source/library/lux/data/format/css/selector.lux
index abb951303..9f62dc879 100644
--- a/stdlib/source/library/lux/data/format/css/selector.lux
+++ b/stdlib/source/library/lux/data/format/css/selector.lux
@@ -9,7 +9,7 @@
     [number
      ["i" int]]]
    [type
-    [primitive (.full)]]
+    [primitive (.except)]]
    [macro
     ["[0]" template]]]]
  ["[0]" //
diff --git a/stdlib/source/library/lux/data/format/css/style.lux b/stdlib/source/library/lux/data/format/css/style.lux
index a53935950..291d13dd8 100644
--- a/stdlib/source/library/lux/data/format/css/style.lux
+++ b/stdlib/source/library/lux/data/format/css/style.lux
@@ -1,13 +1,13 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [data
     [text
      ["%" format (.only format)]]
     [collection
      ["[0]" list ("[1]#[0]" mix)]]]
    [type
-    [primitive (.full)]]]]
+    [primitive (.except)]]]]
  ["[0]" //
   ["[1][0]" value (.only Value)]
   ["[1][0]" property (.only Property)]])
diff --git a/stdlib/source/library/lux/data/format/css/value.lux b/stdlib/source/library/lux/data/format/css/value.lux
index ba1234687..36ee8de22 100644
--- a/stdlib/source/library/lux/data/format/css/value.lux
+++ b/stdlib/source/library/lux/data/format/css/value.lux
@@ -23,7 +23,7 @@
      ["r" rev]
      ["f" frac]]]
    [type
-    [primitive (.full)]]
+    [primitive (.except)]]
    [world
     [net (.only URL)]]]]
  [//
diff --git a/stdlib/source/library/lux/data/format/html.lux b/stdlib/source/library/lux/data/format/html.lux
index bd9fc60d9..d42afc3c4 100644
--- a/stdlib/source/library/lux/data/format/html.lux
+++ b/stdlib/source/library/lux/data/format/html.lux
@@ -15,7 +15,7 @@
    [target
     ["[0]" js]]
    [type
-    [primitive (.full)]]
+    [primitive (.except)]]
    [world
     [net (.only URL)]]]]
  [//
diff --git a/stdlib/source/library/lux/data/format/markdown.lux b/stdlib/source/library/lux/data/format/markdown.lux
index 0a3697a44..db33dd5ab 100644
--- a/stdlib/source/library/lux/data/format/markdown.lux
+++ b/stdlib/source/library/lux/data/format/markdown.lux
@@ -7,7 +7,7 @@
     [collection
      ["[0]" list ("[1]#[0]" functor)]]]
    [type
-    [primitive (.full)]]
+    [primitive (.except)]]
    [world
     [net (.only URL)]]]])
 
diff --git a/stdlib/source/library/lux/data/format/tar.lux b/stdlib/source/library/lux/data/format/tar.lux
index 1c808ffe7..e671de780 100644
--- a/stdlib/source/library/lux/data/format/tar.lux
+++ b/stdlib/source/library/lux/data/format/tar.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.except Mode and none)
+  [lux (.except Mode and)
    [ffi (.only)]
    [abstract
     [monad (.only do)]]
@@ -37,7 +37,7 @@
    [world
     ["[0]" file]]
    [type
-    [primitive (.full)]]]])
+    [primitive (.except)]]]])
 
 (type: Size
   Nat)
diff --git a/stdlib/source/library/lux/data/identity.lux b/stdlib/source/library/lux/data/identity.lux
index 948b53562..03e907c20 100644
--- a/stdlib/source/library/lux/data/identity.lux
+++ b/stdlib/source/library/lux/data/identity.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [abstract
     [functor (.only Functor)]
     [apply (.only Apply)]
diff --git a/stdlib/source/library/lux/data/store.lux b/stdlib/source/library/lux/data/store.lux
index 07e1d38c6..af43c01f2 100644
--- a/stdlib/source/library/lux/data/store.lux
+++ b/stdlib/source/library/lux/data/store.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [abstract
     [functor (.only Functor)]
     comonad]
diff --git a/stdlib/source/library/lux/data/text/buffer.lux b/stdlib/source/library/lux/data/text/buffer.lux
index 98ace5323..a53e60f77 100644
--- a/stdlib/source/library/lux/data/text/buffer.lux
+++ b/stdlib/source/library/lux/data/text/buffer.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    ["@" target]
    ["[0]" ffi (.only import:)]
    [control
@@ -16,7 +16,7 @@
     [number
      ["n" nat]]]
    [type
-    [primitive (.full)]]]]
+    [primitive (.except)]]]]
  ["[0]" //])
 
 (with_expansions [<jvm> (these (import: java/lang/CharSequence
diff --git a/stdlib/source/library/lux/data/text/encoding.lux b/stdlib/source/library/lux/data/text/encoding.lux
index 845349e94..6eaf948d0 100644
--- a/stdlib/source/library/lux/data/text/encoding.lux
+++ b/stdlib/source/library/lux/data/text/encoding.lux
@@ -1,10 +1,10 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [macro
     ["[0]" template]]
    [type
-    [primitive (.full)]]]])
+    [primitive (.except)]]]])
 
 ... https://en.wikipedia.org/wiki/Character_encoding#Common_character_encodings
 (primitive: .public Encoding
diff --git a/stdlib/source/library/lux/data/text/encoding/utf8.lux b/stdlib/source/library/lux/data/text/encoding/utf8.lux
index 3c55b483d..5ca733dda 100644
--- a/stdlib/source/library/lux/data/text/encoding/utf8.lux
+++ b/stdlib/source/library/lux/data/text/encoding/utf8.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    ["@" target]
    ["[0]" ffi]
    [abstract
diff --git a/stdlib/source/library/lux/data/text/escape.lux b/stdlib/source/library/lux/data/text/escape.lux
index 84d97fbff..a9c922aff 100644
--- a/stdlib/source/library/lux/data/text/escape.lux
+++ b/stdlib/source/library/lux/data/text/escape.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    ["[0]" meta]
    [abstract
     [monad (.only do)]]
diff --git a/stdlib/source/library/lux/data/text/unicode/block.lux b/stdlib/source/library/lux/data/text/unicode/block.lux
index cfad640c9..f2c315dfa 100644
--- a/stdlib/source/library/lux/data/text/unicode/block.lux
+++ b/stdlib/source/library/lux/data/text/unicode/block.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [abstract
     [equivalence (.only Equivalence)]
     [hash (.only Hash)]
@@ -11,7 +11,7 @@
      ["n" nat ("[1]#[0]" interval)]
      ["[0]" i64]]]
    [type
-    [primitive (.full)]]]]
+    [primitive (.except)]]]]
  [/// (.only Char)])
 
 (primitive: .public Block
diff --git a/stdlib/source/library/lux/data/text/unicode/set.lux b/stdlib/source/library/lux/data/text/unicode/set.lux
index 967d8e06d..aa166bb5b 100644
--- a/stdlib/source/library/lux/data/text/unicode/set.lux
+++ b/stdlib/source/library/lux/data/text/unicode/set.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.except full)
+  [lux (.except)
    [abstract
     [equivalence (.only Equivalence)]]
    [data
@@ -10,7 +10,7 @@
      ["[0]" tree
       ["[1]" finger (.only Tree)]]]]
    [type (.only by_example)
-    [primitive (.full)]]]]
+    [primitive (.except)]]]]
  ["[0]" /
   ["/[1]" //
    [// (.only Char)]
diff --git a/stdlib/source/library/lux/data/trace.lux b/stdlib/source/library/lux/data/trace.lux
index 95df609e8..0e34b07b9 100644
--- a/stdlib/source/library/lux/data/trace.lux
+++ b/stdlib/source/library/lux/data/trace.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [abstract
     ["[0]" monoid (.only Monoid)]
     [functor (.only Functor)]
diff --git a/stdlib/source/library/lux/extension.lux b/stdlib/source/library/lux/extension.lux
index f9ced3dca..5a61520e6 100644
--- a/stdlib/source/library/lux/extension.lux
+++ b/stdlib/source/library/lux/extension.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [abstract
     ["[0]" monad]]
    [control
diff --git a/stdlib/source/library/lux/ffi.lux b/stdlib/source/library/lux/ffi.lux
index 96af66db3..ca7616417 100644
--- a/stdlib/source/library/lux/ffi.lux
+++ b/stdlib/source/library/lux/ffi.lux
@@ -21,7 +21,7 @@
     ["[0]" code]
     ["[0]" template]]
    [type
-    [primitive (.full)]]]])
+    [primitive (.except)]]]])
 
 (with_expansions [<constant> (for @.js "js constant"
                                   @.python "python constant"
diff --git a/stdlib/source/library/lux/ffi/export.js.lux b/stdlib/source/library/lux/ffi/export.js.lux
index e752dbf8e..e93309e39 100644
--- a/stdlib/source/library/lux/ffi/export.js.lux
+++ b/stdlib/source/library/lux/ffi/export.js.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [extension (.only directive:)]
    ["[0]" meta]
    ["[0]" static]
diff --git a/stdlib/source/library/lux/ffi/export.lua.lux b/stdlib/source/library/lux/ffi/export.lua.lux
index 6fa43c27f..f4c6fc8d8 100644
--- a/stdlib/source/library/lux/ffi/export.lua.lux
+++ b/stdlib/source/library/lux/ffi/export.lua.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [extension (.only directive:)]
    ["[0]" meta]
    ["[0]" static]
diff --git a/stdlib/source/library/lux/ffi/export.py.lux b/stdlib/source/library/lux/ffi/export.py.lux
index 563783a3d..98399e34b 100644
--- a/stdlib/source/library/lux/ffi/export.py.lux
+++ b/stdlib/source/library/lux/ffi/export.py.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [extension (.only directive:)]
    ["[0]" meta]
    ["[0]" static]
diff --git a/stdlib/source/library/lux/ffi/node_js.js.lux b/stdlib/source/library/lux/ffi/node_js.js.lux
index 520ac5847..60186306a 100644
--- a/stdlib/source/library/lux/ffi/node_js.js.lux
+++ b/stdlib/source/library/lux/ffi/node_js.js.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    ["[0]" ffi]
    [control
     ["[0]" function]
diff --git a/stdlib/source/library/lux/locale.lux b/stdlib/source/library/lux/locale.lux
index 3b543a2ce..63fc6f06f 100644
--- a/stdlib/source/library/lux/locale.lux
+++ b/stdlib/source/library/lux/locale.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [abstract
     [equivalence (.only Equivalence)]
     ["[0]" hash (.only Hash)]]
@@ -11,7 +11,7 @@
      ["%" format (.only format)]
      ["[0]" encoding (.only Encoding)]]]
    [type
-    [primitive (.full)]]]]
+    [primitive (.except)]]]]
  [/
   ["[0]" language (.only Language)]
   ["[0]" territory (.only Territory)]])
diff --git a/stdlib/source/library/lux/locale/language.lux b/stdlib/source/library/lux/locale/language.lux
index 32bb650a5..8484972e2 100644
--- a/stdlib/source/library/lux/locale/language.lux
+++ b/stdlib/source/library/lux/locale/language.lux
@@ -1,13 +1,13 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [abstract
     [equivalence (.only Equivalence)]
     [hash (.only Hash)]]
    [data
     ["[0]" text]]
    [type
-    [primitive (.full)]]
+    [primitive (.except)]]
    [macro
     ["[0]" template]]]])
 
diff --git a/stdlib/source/library/lux/locale/territory.lux b/stdlib/source/library/lux/locale/territory.lux
index 06e0c8a62..1e9058a59 100644
--- a/stdlib/source/library/lux/locale/territory.lux
+++ b/stdlib/source/library/lux/locale/territory.lux
@@ -1,13 +1,13 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [abstract
     [equivalence (.only Equivalence)]
     [hash (.only Hash)]]
    [data
     ["[0]" text]]
    [type
-    [primitive (.full)]]
+    [primitive (.except)]]
    [macro
     ["[0]" template]]]])
 
diff --git a/stdlib/source/library/lux/macro/local.lux b/stdlib/source/library/lux/macro/local.lux
index b093e14bc..9a317fc6f 100644
--- a/stdlib/source/library/lux/macro/local.lux
+++ b/stdlib/source/library/lux/macro/local.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    ["[0]" meta]
    [abstract
     ["[0]" monad (.only do)]]
diff --git a/stdlib/source/library/lux/macro/syntax.lux b/stdlib/source/library/lux/macro/syntax.lux
index 24c3d5f1a..5945290d8 100644
--- a/stdlib/source/library/lux/macro/syntax.lux
+++ b/stdlib/source/library/lux/macro/syntax.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    ["[0]" meta]
    [abstract
     ["[0]" monad (.only do)]]
diff --git a/stdlib/source/library/lux/macro/syntax/check.lux b/stdlib/source/library/lux/macro/syntax/check.lux
index bdbd3fd8d..893f9bc88 100644
--- a/stdlib/source/library/lux/macro/syntax/check.lux
+++ b/stdlib/source/library/lux/macro/syntax/check.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    ["[0]" meta]
    [abstract
     [equivalence (.only Equivalence)]
diff --git a/stdlib/source/library/lux/macro/syntax/declaration.lux b/stdlib/source/library/lux/macro/syntax/declaration.lux
index 29e27ed76..aef62c056 100644
--- a/stdlib/source/library/lux/macro/syntax/declaration.lux
+++ b/stdlib/source/library/lux/macro/syntax/declaration.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [abstract
     [equivalence (.only Equivalence)]]
    [control
diff --git a/stdlib/source/library/lux/macro/syntax/export.lux b/stdlib/source/library/lux/macro/syntax/export.lux
index 91e298518..323b9d3b5 100644
--- a/stdlib/source/library/lux/macro/syntax/export.lux
+++ b/stdlib/source/library/lux/macro/syntax/export.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [abstract
     [monad (.only do)]]
    [control
diff --git a/stdlib/source/library/lux/macro/syntax/input.lux b/stdlib/source/library/lux/macro/syntax/input.lux
index f4589cfe0..25d3db6fc 100644
--- a/stdlib/source/library/lux/macro/syntax/input.lux
+++ b/stdlib/source/library/lux/macro/syntax/input.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [abstract
     [equivalence (.only Equivalence)]]
    [control
diff --git a/stdlib/source/library/lux/macro/syntax/type/variable.lux b/stdlib/source/library/lux/macro/syntax/type/variable.lux
index e7973c275..ca141f0bd 100644
--- a/stdlib/source/library/lux/macro/syntax/type/variable.lux
+++ b/stdlib/source/library/lux/macro/syntax/type/variable.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [abstract
     [equivalence (.only Equivalence)]]
    [control
diff --git a/stdlib/source/library/lux/math.lux b/stdlib/source/library/lux/math.lux
index 2427def89..eaffa1d8a 100644
--- a/stdlib/source/library/lux/math.lux
+++ b/stdlib/source/library/lux/math.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [extension (.only analysis:)]
    ["@" target]
    ["[0]" static]
diff --git a/stdlib/source/library/lux/math/infix.lux b/stdlib/source/library/lux/math/infix.lux
index a29dcdb0f..207d38d54 100644
--- a/stdlib/source/library/lux/math/infix.lux
+++ b/stdlib/source/library/lux/math/infix.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [abstract
     [monad (.only do)]]
    [control
diff --git a/stdlib/source/library/lux/math/logic/fuzzy.lux b/stdlib/source/library/lux/math/logic/fuzzy.lux
index fe49e10fd..679ebc4a7 100644
--- a/stdlib/source/library/lux/math/logic/fuzzy.lux
+++ b/stdlib/source/library/lux/math/logic/fuzzy.lux
@@ -1,7 +1,7 @@
 ... https://en.wikipedia.org/wiki/Fuzzy_logic
 (.using
  [library
-  [lux (.except full)
+  [lux (.except)
    [abstract
     [predicate (.only Predicate)]
     [functor
diff --git a/stdlib/source/library/lux/math/modular.lux b/stdlib/source/library/lux/math/modular.lux
index 3e0845d94..e0886c02d 100644
--- a/stdlib/source/library/lux/math/modular.lux
+++ b/stdlib/source/library/lux/math/modular.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [abstract
     [equivalence (.only Equivalence)]
     [order (.only Order)]
@@ -23,7 +23,7 @@
     [number
      ["i" int ("[1]#[0]" decimal)]]]
    [type
-    [primitive (.full)]]]]
+    [primitive (.except)]]]]
  ["[0]" //
   ["[1]" modulus (.only Modulus)]])
 
diff --git a/stdlib/source/library/lux/math/modulus.lux b/stdlib/source/library/lux/math/modulus.lux
index 2a1f35369..423e32d68 100644
--- a/stdlib/source/library/lux/math/modulus.lux
+++ b/stdlib/source/library/lux/math/modulus.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    ["[0]" meta]
    [abstract
     [monad (.only do)]]
@@ -16,7 +16,7 @@
     [number
      ["i" int]]]
    [type
-    [primitive (.full)]]]])
+    [primitive (.except)]]]])
 
 (exception: .public zero_cannot_be_a_modulus)
 
diff --git a/stdlib/source/library/lux/math/number.lux b/stdlib/source/library/lux/math/number.lux
index ec523925f..ac4452b82 100644
--- a/stdlib/source/library/lux/math/number.lux
+++ b/stdlib/source/library/lux/math/number.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [abstract
     [codec (.only Codec)]]
    [control
diff --git a/stdlib/source/library/lux/math/number/complex.lux b/stdlib/source/library/lux/math/number/complex.lux
index 507d9b9ec..7b341edf3 100644
--- a/stdlib/source/library/lux/math/number/complex.lux
+++ b/stdlib/source/library/lux/math/number/complex.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [abstract
     [equivalence (.only Equivalence)]]
    [control
diff --git a/stdlib/source/library/lux/math/number/int.lux b/stdlib/source/library/lux/math/number/int.lux
index cb4500a2e..7a3e0a8a8 100644
--- a/stdlib/source/library/lux/math/number/int.lux
+++ b/stdlib/source/library/lux/math/number/int.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [abstract
     [hash (.only Hash)]
     [enum (.only Enum)]
diff --git a/stdlib/source/library/lux/math/number/nat.lux b/stdlib/source/library/lux/math/number/nat.lux
index 977a65cf3..4034ea783 100644
--- a/stdlib/source/library/lux/math/number/nat.lux
+++ b/stdlib/source/library/lux/math/number/nat.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [abstract
     [hash (.only Hash)]
     [enum (.only Enum)]
diff --git a/stdlib/source/library/lux/math/number/rev.lux b/stdlib/source/library/lux/math/number/rev.lux
index ae81a8869..f8f24b3e5 100644
--- a/stdlib/source/library/lux/math/number/rev.lux
+++ b/stdlib/source/library/lux/math/number/rev.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [abstract
     [hash (.only Hash)]
     [enum (.only Enum)]
diff --git a/stdlib/source/library/lux/meta/location.lux b/stdlib/source/library/lux/meta/location.lux
index 7c5db6123..640dcee6a 100644
--- a/stdlib/source/library/lux/meta/location.lux
+++ b/stdlib/source/library/lux/meta/location.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [abstract
     [equivalence (.only Equivalence)]]]])
 
diff --git a/stdlib/source/library/lux/meta/symbol.lux b/stdlib/source/library/lux/meta/symbol.lux
index 4e0a67ec2..885db4402 100644
--- a/stdlib/source/library/lux/meta/symbol.lux
+++ b/stdlib/source/library/lux/meta/symbol.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [abstract
     [equivalence (.only Equivalence)]
     [hash (.only Hash)]
diff --git a/stdlib/source/library/lux/program.lux b/stdlib/source/library/lux/program.lux
index daa3ec325..0af2729ce 100644
--- a/stdlib/source/library/lux/program.lux
+++ b/stdlib/source/library/lux/program.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    ["@" target]
    [abstract
     [monad (.only do)]]
diff --git a/stdlib/source/library/lux/target.lux b/stdlib/source/library/lux/target.lux
index 6ff3954b0..0f7d94d8f 100644
--- a/stdlib/source/library/lux/target.lux
+++ b/stdlib/source/library/lux/target.lux
@@ -1,6 +1,6 @@
 (.using
   [library
-   [lux (.full)]])
+   [lux (.except)]])
 
 (type: .public Target
   Text)
diff --git a/stdlib/source/library/lux/target/common_lisp.lux b/stdlib/source/library/lux/target/common_lisp.lux
index a9b9eaecc..e2094f53c 100644
--- a/stdlib/source/library/lux/target/common_lisp.lux
+++ b/stdlib/source/library/lux/target/common_lisp.lux
@@ -14,7 +14,7 @@
     [number
      ["f" frac]]]
    [type
-    [primitive (.full)]]]])
+    [primitive (.except)]]]])
 
 (def: as_form
   (-> Text Text)
diff --git a/stdlib/source/library/lux/target/jvm/attribute/code/exception.lux b/stdlib/source/library/lux/target/jvm/attribute/code/exception.lux
index fc57caa3c..4aee14636 100644
--- a/stdlib/source/library/lux/target/jvm/attribute/code/exception.lux
+++ b/stdlib/source/library/lux/target/jvm/attribute/code/exception.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [abstract
     [equivalence (.only Equivalence)]]
    [data
diff --git a/stdlib/source/library/lux/target/jvm/attribute/constant.lux b/stdlib/source/library/lux/target/jvm/attribute/constant.lux
index daae078a5..64c404daa 100644
--- a/stdlib/source/library/lux/target/jvm/attribute/constant.lux
+++ b/stdlib/source/library/lux/target/jvm/attribute/constant.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [abstract
     [equivalence (.only Equivalence)]]
    [data
diff --git a/stdlib/source/library/lux/target/jvm/bytecode/address.lux b/stdlib/source/library/lux/target/jvm/bytecode/address.lux
index 84e93dddd..cf35e0da3 100644
--- a/stdlib/source/library/lux/target/jvm/bytecode/address.lux
+++ b/stdlib/source/library/lux/target/jvm/bytecode/address.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [abstract
     [equivalence (.only Equivalence)]
     [monad (.only do)]]
@@ -15,7 +15,7 @@
     [number
      ["n" nat]]]
    [type
-    [primitive (.full)]]]]
+    [primitive (.except)]]]]
  ["[0]" //
   [jump (.only Big_Jump)]
   ["/[1]" //
diff --git a/stdlib/source/library/lux/target/jvm/bytecode/environment/limit/registry.lux b/stdlib/source/library/lux/target/jvm/bytecode/environment/limit/registry.lux
index 5304c5759..950735dbb 100644
--- a/stdlib/source/library/lux/target/jvm/bytecode/environment/limit/registry.lux
+++ b/stdlib/source/library/lux/target/jvm/bytecode/environment/limit/registry.lux
@@ -14,7 +14,7 @@
     [number
      ["n" nat]]]
    [type
-    [primitive (.full)]]]]
+    [primitive (.except)]]]]
  ["[0]" /////
   [encoding
    ["[1][0]" unsigned (.only U1 U2)]]
diff --git a/stdlib/source/library/lux/target/jvm/bytecode/environment/limit/stack.lux b/stdlib/source/library/lux/target/jvm/bytecode/environment/limit/stack.lux
index 957dc1396..9de0d677b 100644
--- a/stdlib/source/library/lux/target/jvm/bytecode/environment/limit/stack.lux
+++ b/stdlib/source/library/lux/target/jvm/bytecode/environment/limit/stack.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [abstract
     ["[0]" equivalence (.only Equivalence)]]
    [control
@@ -12,7 +12,7 @@
     [format
      [binary (.only Writer)]]]
    [type
-    [primitive (.full)]]]]
+    [primitive (.except)]]]]
  ["[0]" /////
   [encoding
    ["[1][0]" unsigned (.only U2)]]])
diff --git a/stdlib/source/library/lux/target/jvm/bytecode/instruction.lux b/stdlib/source/library/lux/target/jvm/bytecode/instruction.lux
index 737280844..04756e267 100644
--- a/stdlib/source/library/lux/target/jvm/bytecode/instruction.lux
+++ b/stdlib/source/library/lux/target/jvm/bytecode/instruction.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [ffi (.only)]
    [abstract
     [monad (.only do)]
@@ -23,7 +23,7 @@
     [number (.only hex)
      ["n" nat]]]
    [type
-    [primitive (.full)]]]]
+    [primitive (.except)]]]]
  ["[0]" //
   ["[1][0]" address (.only Address)]
   ["[1][0]" jump (.only Jump Big_Jump)]
diff --git a/stdlib/source/library/lux/target/jvm/bytecode/jump.lux b/stdlib/source/library/lux/target/jvm/bytecode/jump.lux
index 8732aeb2b..5d463e403 100644
--- a/stdlib/source/library/lux/target/jvm/bytecode/jump.lux
+++ b/stdlib/source/library/lux/target/jvm/bytecode/jump.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [abstract
     [equivalence (.only Equivalence)]]
    [data
diff --git a/stdlib/source/library/lux/target/jvm/constant.lux b/stdlib/source/library/lux/target/jvm/constant.lux
index 070be106a..3e50f9758 100644
--- a/stdlib/source/library/lux/target/jvm/constant.lux
+++ b/stdlib/source/library/lux/target/jvm/constant.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    ["@" target]
    ["[0]" ffi (.only import:)]
    [abstract
@@ -22,7 +22,7 @@
      ["[0]" int]
      ["[0]" frac]]]
    [type
-    [primitive (.full)]]]]
+    [primitive (.except)]]]]
  ["[0]" /
   ["[1][0]" tag]
   ["/[1]" //
diff --git a/stdlib/source/library/lux/target/jvm/constant/pool.lux b/stdlib/source/library/lux/target/jvm/constant/pool.lux
index 41f312071..e459f5eec 100644
--- a/stdlib/source/library/lux/target/jvm/constant/pool.lux
+++ b/stdlib/source/library/lux/target/jvm/constant/pool.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    ["[0]" ffi]
    [abstract
     [equivalence (.only Equivalence)]
diff --git a/stdlib/source/library/lux/target/jvm/constant/tag.lux b/stdlib/source/library/lux/target/jvm/constant/tag.lux
index e131f5637..e9a0569e0 100644
--- a/stdlib/source/library/lux/target/jvm/constant/tag.lux
+++ b/stdlib/source/library/lux/target/jvm/constant/tag.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [abstract
     [equivalence (.only Equivalence)]]
    [control
@@ -9,7 +9,7 @@
     [format
      [binary (.only Writer)]]]
    [type
-    [primitive (.full)]]]]
+    [primitive (.except)]]]]
  ["[0]" ///
   [encoding
    ["[1][0]" unsigned (.only U1) ("u1//[0]" equivalence)]]])
diff --git a/stdlib/source/library/lux/target/jvm/encoding/name.lux b/stdlib/source/library/lux/target/jvm/encoding/name.lux
index 2903d0647..b4579d3a2 100644
--- a/stdlib/source/library/lux/target/jvm/encoding/name.lux
+++ b/stdlib/source/library/lux/target/jvm/encoding/name.lux
@@ -1,11 +1,11 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [data
     ["[0]" text (.only)
      ["%" format (.only format)]]]
    [type
-    [primitive (.full)]]]])
+    [primitive (.except)]]]])
 
 (def: .public internal_separator "/")
 (def: .public external_separator ".")
diff --git a/stdlib/source/library/lux/target/jvm/encoding/signed.lux b/stdlib/source/library/lux/target/jvm/encoding/signed.lux
index b2a3ea524..a70a557de 100644
--- a/stdlib/source/library/lux/target/jvm/encoding/signed.lux
+++ b/stdlib/source/library/lux/target/jvm/encoding/signed.lux
@@ -20,7 +20,7 @@
      ["n" nat]
      ["i" int]]]
    [type
-    [primitive (.full)]]]])
+    [primitive (.except)]]]])
 
 (primitive: .public (Signed brand)
   Int
diff --git a/stdlib/source/library/lux/target/jvm/encoding/unsigned.lux b/stdlib/source/library/lux/target/jvm/encoding/unsigned.lux
index 4b1cf148d..8bbc74213 100644
--- a/stdlib/source/library/lux/target/jvm/encoding/unsigned.lux
+++ b/stdlib/source/library/lux/target/jvm/encoding/unsigned.lux
@@ -19,7 +19,7 @@
      ["n" nat]
      ["[0]" i64]]]
    [type
-    [primitive (.full)]]]])
+    [primitive (.except)]]]])
 
 (primitive: .public (Unsigned brand)
   Nat
diff --git a/stdlib/source/library/lux/target/jvm/index.lux b/stdlib/source/library/lux/target/jvm/index.lux
index 1c4639393..9874c56aa 100644
--- a/stdlib/source/library/lux/target/jvm/index.lux
+++ b/stdlib/source/library/lux/target/jvm/index.lux
@@ -1,13 +1,13 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [abstract
     ["[0]" equivalence (.only Equivalence)]]
    [data
     [format
      [binary (.only Writer)]]]
    [type
-    [primitive (.full)]]]]
+    [primitive (.except)]]]]
  ["[0]" //
   [encoding
    ["[1][0]" unsigned (.only U2)]]])
diff --git a/stdlib/source/library/lux/target/jvm/magic.lux b/stdlib/source/library/lux/target/jvm/magic.lux
index eb84d4ccf..72f5ef52c 100644
--- a/stdlib/source/library/lux/target/jvm/magic.lux
+++ b/stdlib/source/library/lux/target/jvm/magic.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [control
     ["[0]" try]]
    [math
diff --git a/stdlib/source/library/lux/target/jvm/modifier.lux b/stdlib/source/library/lux/target/jvm/modifier.lux
index 01b4c28be..c15029f4e 100644
--- a/stdlib/source/library/lux/target/jvm/modifier.lux
+++ b/stdlib/source/library/lux/target/jvm/modifier.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [abstract
     ["[0]" equivalence (.only Equivalence)]
     ["[0]" monoid (.only Monoid)]]
@@ -18,7 +18,7 @@
     ["[0]" number (.only hex)
      ["[0]" i64]]]
    [type
-    [primitive (.full)]]]]
+    [primitive (.except)]]]]
  ["[0]" //
   [encoding
    ["[1][0]" unsigned]]])
diff --git a/stdlib/source/library/lux/target/jvm/type.lux b/stdlib/source/library/lux/target/jvm/type.lux
index 0c147ce6a..cfb14dfa9 100644
--- a/stdlib/source/library/lux/target/jvm/type.lux
+++ b/stdlib/source/library/lux/target/jvm/type.lux
@@ -15,7 +15,7 @@
     [number
      ["n" nat]]]
    [type
-    [primitive (.full)]]]]
+    [primitive (.except)]]]]
  ["[0]" //
   [encoding
    ["[1][0]" name (.only External)]]]
diff --git a/stdlib/source/library/lux/target/jvm/type/category.lux b/stdlib/source/library/lux/target/jvm/type/category.lux
index 8899f1c2f..e70d645d6 100644
--- a/stdlib/source/library/lux/target/jvm/type/category.lux
+++ b/stdlib/source/library/lux/target/jvm/type/category.lux
@@ -4,7 +4,7 @@
    [macro
     ["[0]" template]]
    [type
-    [primitive (.full)]]]])
+    [primitive (.except)]]]])
 
 (primitive: Void' Any)
 (primitive: .public (Value' kind) Any)
diff --git a/stdlib/source/library/lux/target/jvm/type/descriptor.lux b/stdlib/source/library/lux/target/jvm/type/descriptor.lux
index 3d2f98b7b..e8cf0ba6b 100644
--- a/stdlib/source/library/lux/target/jvm/type/descriptor.lux
+++ b/stdlib/source/library/lux/target/jvm/type/descriptor.lux
@@ -14,7 +14,7 @@
     [number
      ["n" nat]]]
    [type
-    [primitive (.full)]]]]
+    [primitive (.except)]]]]
  ["[0]" //
   [category (.only Void Value Return Method Primitive Object Class Array Var Parameter Declaration)]
   ["/[1]" //
diff --git a/stdlib/source/library/lux/target/jvm/type/lux.lux b/stdlib/source/library/lux/target/jvm/type/lux.lux
index 671351662..60ca730d2 100644
--- a/stdlib/source/library/lux/target/jvm/type/lux.lux
+++ b/stdlib/source/library/lux/target/jvm/type/lux.lux
@@ -16,7 +16,7 @@
      ["[0]" array]
      ["[0]" dictionary (.only Dictionary)]]]
    [type
-    [primitive (.full)]
+    [primitive (.except)]
     ["[0]" check (.only Check) ("[1]#[0]" monad)]]]]
  ["[0]" // (.only)
   [category (.only Void Value Return Method Primitive Object Class Array Var Parameter)]
diff --git a/stdlib/source/library/lux/target/jvm/type/reflection.lux b/stdlib/source/library/lux/target/jvm/type/reflection.lux
index 4c0cd90f6..e6f51e411 100644
--- a/stdlib/source/library/lux/target/jvm/type/reflection.lux
+++ b/stdlib/source/library/lux/target/jvm/type/reflection.lux
@@ -7,7 +7,7 @@
     ["[0]" text ("[1]#[0]" equivalence)
      ["%" format (.only format)]]]
    [type
-    [primitive (.full)]]]]
+    [primitive (.except)]]]]
  ["[0]" //
   [category (.only Void Value Return Method Primitive Object Class Array Var Parameter Declaration)]
   ["[1][0]" descriptor]
diff --git a/stdlib/source/library/lux/target/jvm/type/signature.lux b/stdlib/source/library/lux/target/jvm/type/signature.lux
index c9b50a733..ef9d139ea 100644
--- a/stdlib/source/library/lux/target/jvm/type/signature.lux
+++ b/stdlib/source/library/lux/target/jvm/type/signature.lux
@@ -12,7 +12,7 @@
     [collection
      ["[0]" list ("[1]#[0]" functor)]]]
    [type
-    [primitive (.full)]]]]
+    [primitive (.except)]]]]
  ["[0]" //
   [category (.only Void Value Return Method Primitive Object Class Array Var Parameter Declaration Inheritance)]
   ["[1][0]" descriptor]
diff --git a/stdlib/source/library/lux/target/jvm/version.lux b/stdlib/source/library/lux/target/jvm/version.lux
index f6b4a52b5..9e3d7a33b 100644
--- a/stdlib/source/library/lux/target/jvm/version.lux
+++ b/stdlib/source/library/lux/target/jvm/version.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [control
     ["[0]" try]]]]
  ["[0]" //
diff --git a/stdlib/source/library/lux/target/python.lux b/stdlib/source/library/lux/target/python.lux
index 91544c4b6..ae3904333 100644
--- a/stdlib/source/library/lux/target/python.lux
+++ b/stdlib/source/library/lux/target/python.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.except Location Code not or and list if int comment exec try the is none)
+  [lux (.except Location Code not or and list if int comment exec try the is)
    ["@" target]
    ["[0]" ffi]
    [abstract
diff --git a/stdlib/source/library/lux/target/r.lux b/stdlib/source/library/lux/target/r.lux
index b82a460ed..c16e07eac 100644
--- a/stdlib/source/library/lux/target/r.lux
+++ b/stdlib/source/library/lux/target/r.lux
@@ -20,7 +20,7 @@
     [number
      ["f" frac]]]
    [type
-    [primitive (.full)]]]])
+    [primitive (.except)]]]])
 
 (primitive: .public (Code kind)
   Text
diff --git a/stdlib/source/library/lux/time.lux b/stdlib/source/library/lux/time.lux
index 2acf4ca1e..79343f319 100644
--- a/stdlib/source/library/lux/time.lux
+++ b/stdlib/source/library/lux/time.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [abstract
     [equivalence (.only Equivalence)]
     [order (.only Order)]
@@ -19,7 +19,7 @@
     [number
      ["n" nat ("[1]#[0]" decimal)]]]
    [type
-    [primitive (.full)]]]]
+    [primitive (.except)]]]]
  [/
   ["[0]" duration (.only Duration)]])
 
diff --git a/stdlib/source/library/lux/time/date.lux b/stdlib/source/library/lux/time/date.lux
index 917bf8cf8..1d0df3aca 100644
--- a/stdlib/source/library/lux/time/date.lux
+++ b/stdlib/source/library/lux/time/date.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [abstract
     [equivalence (.only Equivalence)]
     [order (.only Order)]
@@ -23,7 +23,7 @@
      ["n" nat ("[1]#[0]" decimal)]
      ["i" int]]]
    [type
-    [primitive (.full)]]]]
+    [primitive (.except)]]]]
  ["[0]" //
   ["[1][0]" year (.only Year)]
   ["[1][0]" month (.only Month)]])
diff --git a/stdlib/source/library/lux/time/duration.lux b/stdlib/source/library/lux/time/duration.lux
index 115c0bfb4..4616890db 100644
--- a/stdlib/source/library/lux/time/duration.lux
+++ b/stdlib/source/library/lux/time/duration.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [abstract
     [equivalence (.only Equivalence)]
     [order (.only Order)]
@@ -19,7 +19,7 @@
      ["i" int]
      ["[0]" nat ("[1]#[0]" decimal)]]]
    [type
-    [primitive (.full)]]]]
+    [primitive (.except)]]]]
  ["[0]" //
   ["[1][0]" year]])
 
diff --git a/stdlib/source/library/lux/time/instant.lux b/stdlib/source/library/lux/time/instant.lux
index 79c066a5a..4d36a5a7d 100644
--- a/stdlib/source/library/lux/time/instant.lux
+++ b/stdlib/source/library/lux/time/instant.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    ["@" target]
    [abstract
     [equivalence (.only Equivalence)]
@@ -22,7 +22,7 @@
      ["i" int]
      ["f" frac]]]
    [type
-    [primitive (.full)]]]]
+    [primitive (.except)]]]]
  ["[0]" // (.only Time)
   ["[0]" duration (.only Duration)]
   ["[0]" year (.only Year)]
diff --git a/stdlib/source/library/lux/time/month.lux b/stdlib/source/library/lux/time/month.lux
index 0343f4633..65cc2f570 100644
--- a/stdlib/source/library/lux/time/month.lux
+++ b/stdlib/source/library/lux/time/month.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [abstract
     [equivalence (.only Equivalence)]
     [hash (.only Hash)]
diff --git a/stdlib/source/library/lux/time/year.lux b/stdlib/source/library/lux/time/year.lux
index fa44d6e11..aac70a1b3 100644
--- a/stdlib/source/library/lux/time/year.lux
+++ b/stdlib/source/library/lux/time/year.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [abstract
     [monad (.only do)]
     [codec (.only Codec)]
@@ -18,7 +18,7 @@
      ["n" nat ("[1]#[0]" decimal)]
      ["i" int ("[1]#[0]" decimal)]]]
    [type
-    [primitive (.full)]]]])
+    [primitive (.except)]]]])
 
 (def: (internal year)
   (-> Int Int)
diff --git a/stdlib/source/library/lux/tool/compiler/arity.lux b/stdlib/source/library/lux/tool/compiler/arity.lux
index 67c0cce74..055f46a63 100644
--- a/stdlib/source/library/lux/tool/compiler/arity.lux
+++ b/stdlib/source/library/lux/tool/compiler/arity.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [math
     [number
      ["n" nat]]]]])
diff --git a/stdlib/source/library/lux/tool/compiler/default/init.lux b/stdlib/source/library/lux/tool/compiler/default/init.lux
index dd8ca9eb0..1b91c925c 100644
--- a/stdlib/source/library/lux/tool/compiler/default/init.lux
+++ b/stdlib/source/library/lux/tool/compiler/default/init.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    ["@" target (.only Target)]
    ["[0]" meta]
    [abstract
diff --git a/stdlib/source/library/lux/tool/compiler/default/platform.lux b/stdlib/source/library/lux/tool/compiler/default/platform.lux
index 73d1ae147..72504779c 100644
--- a/stdlib/source/library/lux/tool/compiler/default/platform.lux
+++ b/stdlib/source/library/lux/tool/compiler/default/platform.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    ["@" target]
    ["[0]" debug]
    ["[0]" static]
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux.lux b/stdlib/source/library/lux/tool/compiler/language/lux.lux
index 0c10892a8..b5feed723 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [control
     ["<>" parser (.only)
      ["<[0]>" binary (.only Parser)]]]
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 55d0cdb89..0a13c9c40 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
@@ -2,7 +2,7 @@
  [library
   [lux (.except Variant)
    [abstract
-    [equivalence (.full)]
+    [equivalence (.except)]
     ["[0]" monad (.only do)]]
    [control
     ["[0]" maybe ("[1]#[0]" monoid monad)]
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 80ae5f5ab..ec2db3996 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,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [type (.only sharing)]
    ["[0]" meta]
    [abstract
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 e1e03ac35..8b3ec93ca 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,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    ["[0]" meta]
    [abstract
     ["[0]" monad (.only do)]]
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 a2e8f200b..31a3b5cf2 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,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [abstract
     [monad (.only do)]]
    [control
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 252580537..ff3deb58d 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,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [abstract
     [equivalence (.only Equivalence)]]
    [data
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 87e9eadd5..f4b85a023 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,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    ["[0]" meta]
    [abstract
     ["[0]" monad (.only do)]]
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 b1cb13060..0033addf3 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,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [abstract
     [monad (.only do)]]
    [control
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 56ad9fd97..411440e41 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,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    ["[0]" meta]
    [abstract
     ["[0]" monad (.only do)]]
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 7911b1ec0..0bbb089ce 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,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    ["[0]" meta]
    [abstract
     [monad (.only do)]]
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 d2a6990e4..a007bdb45 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,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    ["[0]" meta]
    [abstract
     ["[0]" monad (.only do)]]
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 42be6a75b..ed854b3cb 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,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [abstract
     [equivalence (.only Equivalence)]
     [hash (.only Hash)]
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 a10a55e83..24f8bc5bf 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,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [data
     [collection
      ["[0]" dictionary]]]]]
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 5d21c0b44..6ff29f42e 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,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    ["[0]" ffi]
    [abstract
     ["[0]" monad (.only do)]]
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 b5b566c40..3a92fd7f7 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,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    ["[0]" ffi]
    [abstract
     ["[0]" monad (.only do)]]
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 d9fb97424..90ed93d25 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,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    ["[0]" ffi]
    [abstract
     ["[0]" monad (.only do)]]
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 d0ade9dd3..3f973aadb 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,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [abstract
     ["[0]" monad (.only do)]]
    [control
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 ae3de92a0..370fd5e18 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,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    ["[0]" ffi]
    [abstract
     ["[0]" monad (.only do)]]
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 661f20ef7..ad7212e3c 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,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    ["[0]" ffi]
    [abstract
     ["[0]" monad (.only do)]]
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 df76f1d46..c9e983ddd 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,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    ["[0]" ffi]
    [abstract
     ["[0]" monad (.only do)]]
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 878e5eb4f..75fbf2cae 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,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    ["[0]" ffi]
    [abstract
     ["[0]" monad (.only do)]]
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 59cbfc5fa..21268d749 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,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    ["[0]" ffi]
    [abstract
     ["[0]" monad (.only do)]]
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 90b1bb433..7929f2f83 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,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [abstract
     [monad (.only do)]]
    [data
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 101277306..b8302f85c 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,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    ["@" target]
    ["[0]" meta]
    [abstract
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 90a3354c5..7ef89329d 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,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [data
     [collection
      ["[0]" dictionary]]]]]
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 0d99fb6ad..49681e787 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,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [abstract
     ["[0]" monad (.only do)]]
    [control
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 2ca18fead..324dfc656 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,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [abstract
     ["[0]" monad (.only do)]]
    [control
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 6b8f3d325..5b4f0979a 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,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [data
     [collection
      ["[0]" dictionary]]]]]
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 58b290864..b12fc2949 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,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [abstract
     ["[0]" monad (.only do)]]
    [control
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 d6830e765..3d61566c2 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,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [abstract
     ["[0]" monad (.only do)]]
    [control
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 40d8eca7e..f53409c26 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,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [data
     [collection
      ["[0]" dictionary]]]]]
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 ea8b16d67..bae90fe1b 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,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [data
     [collection
      ["[0]" dictionary]]]]]
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 3e8542641..f06cab2c6 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,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [abstract
     ["[0]" monad (.only do)]]
    [control
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 507a1cfc3..c5401856a 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,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [abstract
     ["[0]" monad (.only do)]]
    [control
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 2e23f8bb1..d36dc5557 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,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [data
     [collection
      ["[0]" dictionary]]]]]
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 859eb3977..25eeba0bc 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,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [abstract
     ["[0]" monad (.only do)]]
    [control
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 1fb2396b9..a3ea6010c 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,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [abstract
     ["[0]" monad (.only do)]]
    [control
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 51a5ad78a..7b0c7cc9b 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,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [data
     [collection
      ["[0]" dictionary]]]]]
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 dcfa42dfc..b7219747b 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,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [abstract
     ["[0]" monad (.only do)]]
    [control
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 2afc25130..902be185c 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,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [abstract
     ["[0]" monad (.only do)]]
    [control
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 50dbfa951..1fbf60948 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,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [data
     [collection
      ["[0]" dictionary]]]]]
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 db353c68e..afd160be3 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,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [abstract
     ["[0]" monad (.only do)]]
    [control
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 2ff3be0de..ed9494548 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,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [abstract
     ["[0]" monad (.only do)]]
    [control
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 5792fe60e..aa8f8e7b3 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,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [data
     [collection
      ["[0]" dictionary]]]]]
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 1393dd439..c0bfdf7ed 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,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [abstract
     ["[0]" monad (.only do)]]
    [control
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 2e38cd085..803de7582 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,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [abstract
     ["[0]" monad (.only do)]]
    [control
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 84ef9978a..7bca45f93 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,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [data
     [collection
      ["[0]" dictionary]]]]]
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 2bb302c9c..8d445eb3c 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,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [abstract
     ["[0]" monad (.only do)]]
    [control
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 2b222dd31..8a1f1d824 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,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [abstract
     ["[0]" monad (.only do)]]
    [control
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 47ca04d72..dbaa7282b 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,6 +1,6 @@
 (.using
  [library
-  [lux (.full)]]
+  [lux (.except)]]
  [//
   ["[0]" bundle]
   [///
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 4075384af..f88c04f0a 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,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [abstract
     [monad (.only do)]]
    [macro
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 7e4213ee2..90acc3cef 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,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [data
     [collection
      ["[0]" dictionary]]]]]
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 ff9eedf9d..36e3a4a95 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,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [abstract
     ["[0]" monad (.only do)]]
    [control
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 7e8669853..85228162f 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,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [target
     ["_" common_lisp (.only Expression)]]]]
  [///
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 6029b754c..4498fdb1f 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,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [abstract
     ["[0]" monad (.only do)]]
    [target
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 2fb79c18a..5bfe69fea 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,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [abstract
     ["[0]" monad (.only do)]]
    [control
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 2bc2ff0cb..dde4dcea2 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,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [abstract
     [monad (.only do)]]
    [control
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 c6498019e..68a3376c5 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,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [target
     ["_" js (.only Expression)]]]]
  [///
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 ff90fda64..73c286f0c 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,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [abstract
     [monad (.only do)]]
    [macro
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 22bdb8818..ac744121f 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,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [abstract
     [monad (.only do)]]
    [control
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 acaa0a60f..83a14abc9 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,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [target
     [jvm
      ["[0]" modifier (.only Modifier) ("[1]#[0]" monoid)]
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 c93dfa4f2..a0d7cffbc 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,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [abstract
     ["[0]" monad (.only do)]]
    [control
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 7bb2cb8ff..2848eab59 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,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [abstract
     [monad (.only do)]]
    [data
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 f7ba6d4f8..2cf2cfe5e 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,6 +1,6 @@
 (.using
   [library
-   [lux (.full)
+   [lux (.except)
     [target
      [jvm
       ["[0]" type]]]]])
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 d1f831e69..859c60b50 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,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [abstract
     [monad (.only do)]]
    [control
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 0785c4765..84c1dab75 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,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [target
     ["_" lua (.only Expression)]]]]
  [///
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 c0093d286..38c06a8c2 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,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [abstract
     [monad (.only do)]]
    [control
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 7e4213ee2..90acc3cef 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,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [data
     [collection
      ["[0]" dictionary]]]]]
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 3a797fb5a..e569c80b2 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,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [abstract
     ["[0]" monad (.only do)]]
    [control
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 9dc18fb43..68332a0ee 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,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [target
     ["_" php (.only Expression)]]]]
  [///
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 2fe67e34a..e843e0676 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,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [abstract
     ["[0]" monad (.only do)]]
    [data
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 15c847f8c..96a5ebc4e 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,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [abstract
     [monad (.only do)]]
    [control
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 697e3b060..607b7127f 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,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [target
     ["_" python (.only Expression)]]]]
  [///
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 1704c6d59..8c8ec4fea 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,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [abstract
     [monad (.only do)]]
    [macro
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 7354f208d..fffaab6b8 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,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [target
     ["_" r (.only 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 adda5b547..82dc15ca4 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,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [abstract
     ["[0]" monad (.only do)]]
    [data
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 fdc41c019..218c8f226 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,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [abstract
     [monad (.only do)]]
    [control
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 5f86d6709..84558a49f 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,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [target
     ["_" ruby (.only Expression)]]]]
  [///
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 555b11b5d..3e9b76aa3 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,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [abstract
     [monad (.only do)]]
    [macro
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 7e4213ee2..90acc3cef 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,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [data
     [collection
      ["[0]" dictionary]]]]]
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 9b2c83302..fe13c1aa2 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,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [abstract
     ["[0]" monad (.only do)]]
    [control
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 a64b2e98e..2f04921ed 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,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [target
     ["_" scheme (.only Expression)]]]]
  [///
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 879a743a6..2c90b2010 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,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [abstract
     ["[0]" monad (.only do)]]
    [data
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 2512a4eb0..0600ba9c0 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,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [abstract
     ["[0]" monad (.only do)]]
    [control
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 7ce80ebb3..5890ab241 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,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [abstract
     [equivalence (.only Equivalence)]
     ["[0]" monad (.only do)]]
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 199f708a9..f1e08702f 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,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [abstract
     ["[0]" monad (.only do)]
     ["[0]" enum]]
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 a0e8ef55d..e8388ed17 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,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [abstract
     ["[0]" monad (.only do)]]
    [control
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 6b60d9490..f774ddb6d 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,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [abstract
     ["[0]" monad (.only do)]]
    [control
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 6f6712587..30276425b 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/program.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/program.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [abstract
     ["[0]" monad (.only do)]]
    [control
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 1363a5b80..cd3910d49 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/syntax.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/syntax.lux
@@ -26,7 +26,7 @@
 ... location, which is helpful for documentation and debugging.
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    ["@" target]
    [abstract
     [monad (.only do)]]
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 be9d0e432..55750f9e1 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,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [abstract
     [equivalence (.only Equivalence)]
     [hash (.only Hash)]]
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 24a000007..683be67f9 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,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [abstract
     [equivalence (.only Equivalence)]
     [hash (.only Hash)]]
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 c6af850e2..8b3c71bee 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,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [abstract
     [equivalence (.only Equivalence)]
     [hash (.only Hash)]]
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 2a8f0a253..f925aa95c 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,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [abstract
     [equivalence (.only Equivalence)]
     [hash (.only Hash)]]
diff --git a/stdlib/source/library/lux/tool/compiler/meta.lux b/stdlib/source/library/lux/tool/compiler/meta.lux
index 8f4236de1..4034a23c8 100644
--- a/stdlib/source/library/lux/tool/compiler/meta.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)]]
+  [lux (.except)]]
  [//
   [version (.only Version)]])
 
diff --git a/stdlib/source/library/lux/tool/compiler/meta/archive.lux b/stdlib/source/library/lux/tool/compiler/meta/archive.lux
index 423c89489..41d12fdc2 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/archive.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/archive.lux
@@ -27,7 +27,7 @@
     [number
      ["n" nat ("[1]#[0]" equivalence)]]]
    [type
-    [primitive (.full)]]]]
+    [primitive (.except)]]]]
  [/
   ["[0]" artifact]
   ["[0]" registry (.only Registry)]
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 8545d55a1..f66a0a42f 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/archive/artifact.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/archive/artifact.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [abstract
     [equivalence (.only Equivalence)]]
    [data
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 3b6631817..62438a178 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/archive/key.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/archive/key.lux
@@ -1,8 +1,8 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [type
-    [primitive (.full)]]]]
+    [primitive (.except)]]]]
  [//
   [signature (.only Signature)]])
 
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 e6b210a44..7daff5d95 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,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [abstract
     [monad (.only do)]]
    [control
@@ -14,7 +14,7 @@
     [format
      ["[0]" binary (.only Writer)]]]
    [type (.only sharing)
-    [primitive (.full)]]]]
+    [primitive (.except)]]]]
  [///
   ["[0]" signature (.only Signature) ("[1]#[0]" equivalence)]
   ["[0]" key (.only Key)]])
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 d775f6c37..56586bd2e 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/archive/registry.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/archive/registry.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [abstract
     [monad (.only do)]]
    [control
@@ -23,7 +23,7 @@
    [macro
     ["^" pattern]]
    [type
-    [primitive (.full)]]]]
+    [primitive (.except)]]]]
  ["[0]" //
   ["[0]" unit]
   ["[1]" artifact (.only Artifact ID)
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 214a26699..0c4c8844c 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/archive/signature.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/archive/signature.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [abstract
     [equivalence (.only Equivalence)]]
    [control
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 a629a76ac..2af463186 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/archive/unit.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/archive/unit.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.except none)
+  [lux (.except)
    [abstract
     [equivalence (.only Equivalence)]
     [hash (.only Hash)]]
diff --git a/stdlib/source/library/lux/tool/compiler/meta/cache.lux b/stdlib/source/library/lux/tool/compiler/meta/cache.lux
index ad801c7c5..f3b0380b7 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/cache.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/cache.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [abstract
     [monad (.only Monad do)]]
    [control
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 e8ed26448..b1a331672 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/cache/archive.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/cache/archive.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [control
     [try (.only Try)]]
    [data
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 5107be1a4..9ea2a1dd3 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/cache/artifact.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/cache/artifact.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [target (.only Target)]
    [control
     [try (.only Try)]
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 db0a349ee..fb2fa3ab8 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,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [abstract
     ["[0]" monad (.only do)]]
    [control
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 ddfc13c12..35cb42cac 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/cache/module.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/cache/module.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    ["@" target]
    [abstract
     ["[0]" monad (.only Monad do)]]
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 e5316f476..8cb425843 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/cache/purge.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/cache/purge.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [abstract
     [predicate (.only Predicate)]
     ["[0]" monad (.only Monad do)]]
diff --git a/stdlib/source/library/lux/tool/compiler/meta/context.lux b/stdlib/source/library/lux/tool/compiler/meta/context.lux
index 280d4b609..b65bfc16e 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/context.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/context.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    ["@" target (.only Target)]
    [world
     [file (.only Path)]]]])
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 e6e941497..d5aadcdd9 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/io/archive.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/io/archive.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    ["@" target (.only Target)]
    [abstract
     ["[0]" monad (.only Monad do)]]
diff --git a/stdlib/source/library/lux/tool/compiler/meta/packager.lux b/stdlib/source/library/lux/tool/compiler/meta/packager.lux
index fccd9b8b2..a45d43772 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/packager.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/packager.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [control
     [try (.only Try)]]
    [data
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 c69e2c7f7..a1b7bb6a3 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/packager/ruby.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/packager/ruby.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [type (.only sharing)]
    [abstract
     ["[0]" monad (.only do)]]
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 c360fa7e1..4503723f9 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/packager/script.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/packager/script.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [type (.only sharing)]
    [abstract
     ["[0]" monad (.only Monad do)]]
diff --git a/stdlib/source/library/lux/tool/compiler/reference/variable.lux b/stdlib/source/library/lux/tool/compiler/reference/variable.lux
index 26a6f0540..9978193d7 100644
--- a/stdlib/source/library/lux/tool/compiler/reference/variable.lux
+++ b/stdlib/source/library/lux/tool/compiler/reference/variable.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [abstract
     [equivalence (.only Equivalence)]
     [hash (.only Hash)]]
diff --git a/stdlib/source/library/lux/tool/compiler/version.lux b/stdlib/source/library/lux/tool/compiler/version.lux
index 7e6bc31ac..b6f024f06 100644
--- a/stdlib/source/library/lux/tool/compiler/version.lux
+++ b/stdlib/source/library/lux/tool/compiler/version.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [data
     [text
      ["%" format]]]
diff --git a/stdlib/source/library/lux/tool/interpreter.lux b/stdlib/source/library/lux/tool/interpreter.lux
index a6e88941e..74d9a49f1 100644
--- a/stdlib/source/library/lux/tool/interpreter.lux
+++ b/stdlib/source/library/lux/tool/interpreter.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [control
     [monad (.only Monad do)]
     ["[0]" try (.only Try)]
diff --git a/stdlib/source/library/lux/type/implicit.lux b/stdlib/source/library/lux/type/implicit.lux
index d624eec5a..e4fb1cac1 100644
--- a/stdlib/source/library/lux/type/implicit.lux
+++ b/stdlib/source/library/lux/type/implicit.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [abstract
     ["[0]" monad (.only do)]
     ["[0]" equivalence]]
diff --git a/stdlib/source/library/lux/type/poly.lux b/stdlib/source/library/lux/type/poly.lux
index a15e9b2b0..a888e8e7e 100644
--- a/stdlib/source/library/lux/type/poly.lux
+++ b/stdlib/source/library/lux/type/poly.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    ["[0]" meta]
    ["[0]" type]
    [abstract
diff --git a/stdlib/source/library/lux/type/primitive.lux b/stdlib/source/library/lux/type/primitive.lux
index 6b8f280fa..e45876b69 100644
--- a/stdlib/source/library/lux/type/primitive.lux
+++ b/stdlib/source/library/lux/type/primitive.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    ["[0]" meta]
    [abstract
     [monad (.only Monad do)]]
diff --git a/stdlib/source/library/lux/type/quotient.lux b/stdlib/source/library/lux/type/quotient.lux
index 8be093c16..1df97a184 100644
--- a/stdlib/source/library/lux/type/quotient.lux
+++ b/stdlib/source/library/lux/type/quotient.lux
@@ -9,7 +9,7 @@
    [macro (.only with_symbols)
     [syntax (.only syntax:)]]
    ["[0]" type
-    [primitive (.full)]]]])
+    [primitive (.except)]]]])
 
 (primitive: .public (Class t c %)
   (-> t c)
diff --git a/stdlib/source/library/lux/type/refinement.lux b/stdlib/source/library/lux/type/refinement.lux
index f2b07ac47..79860cfbc 100644
--- a/stdlib/source/library/lux/type/refinement.lux
+++ b/stdlib/source/library/lux/type/refinement.lux
@@ -9,7 +9,7 @@
    ["[0]" macro (.only)
     [syntax (.only syntax:)]]
    ["[0]" type (.only)
-    [primitive (.full)]]]])
+    [primitive (.except)]]]])
 
 (primitive: .public (Refined t %)
   (Record
diff --git a/stdlib/source/library/lux/type/resource.lux b/stdlib/source/library/lux/type/resource.lux
index ca68b4dc2..57d52c9a8 100644
--- a/stdlib/source/library/lux/type/resource.lux
+++ b/stdlib/source/library/lux/type/resource.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    ["[0]" meta]
    [abstract
     ["[0]" monad (.only Monad do)
@@ -23,7 +23,7 @@
     [number
      ["n" nat]]]
    [type
-    [primitive (.full)]]]])
+    [primitive (.except)]]]])
 
 (type: .public (Procedure monad input output value)
   (-> input (monad [output value])))
diff --git a/stdlib/source/library/lux/type/unit.lux b/stdlib/source/library/lux/type/unit.lux
index 768d39102..91942f05c 100644
--- a/stdlib/source/library/lux/type/unit.lux
+++ b/stdlib/source/library/lux/type/unit.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    ["[0]" meta]
    [abstract
     [monad (.only Monad do)]
@@ -24,7 +24,7 @@
      ["i" int]
      ["[0]" ratio (.only Ratio)]]]
    [type
-    [primitive (.full)]]]])
+    [primitive (.except)]]]])
 
 (primitive: .public (Qty unit)
   Int
diff --git a/stdlib/source/library/lux/type/variance.lux b/stdlib/source/library/lux/type/variance.lux
index 4fc638ee6..b4fe87431 100644
--- a/stdlib/source/library/lux/type/variance.lux
+++ b/stdlib/source/library/lux/type/variance.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [meta
     ["[0]" symbol]]]])
 
diff --git a/stdlib/source/library/lux/world/console.lux b/stdlib/source/library/lux/world/console.lux
index 5aa768864..a6b0d4668 100644
--- a/stdlib/source/library/lux/world/console.lux
+++ b/stdlib/source/library/lux/world/console.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    ["@" target]
    ["[0]" ffi (.only import:)]
    [abstract
diff --git a/stdlib/source/library/lux/world/db/sql.lux b/stdlib/source/library/lux/world/db/sql.lux
index 724ad9215..2706dd6a4 100644
--- a/stdlib/source/library/lux/world/db/sql.lux
+++ b/stdlib/source/library/lux/world/db/sql.lux
@@ -13,7 +13,7 @@
    [macro
     ["[0]" template]]
    [type
-    [primitive (.full)]]]])
+    [primitive (.except)]]]])
 
 (def: parenthesize
   (-> Text Text)
diff --git a/stdlib/source/library/lux/world/file/watch.lux b/stdlib/source/library/lux/world/file/watch.lux
index 4cc239e00..60e01ebc6 100644
--- a/stdlib/source/library/lux/world/file/watch.lux
+++ b/stdlib/source/library/lux/world/file/watch.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.except all none)
+  [lux (.except all)
    ["@" target]
    ["[0]" ffi (.only import:)]
    [abstract
diff --git a/stdlib/source/library/lux/world/net/http.lux b/stdlib/source/library/lux/world/net/http.lux
index f4e42acc1..bfbcf4926 100644
--- a/stdlib/source/library/lux/world/net/http.lux
+++ b/stdlib/source/library/lux/world/net/http.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [control
     [try (.only Try)]
     [concurrency
diff --git a/stdlib/source/library/lux/world/net/http/client.lux b/stdlib/source/library/lux/world/net/http/client.lux
index 121bfa15c..49ead2fd3 100644
--- a/stdlib/source/library/lux/world/net/http/client.lux
+++ b/stdlib/source/library/lux/world/net/http/client.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    ["@" target]
    ["[0]" ffi]
    [abstract
diff --git a/stdlib/source/library/lux/world/net/http/cookie.lux b/stdlib/source/library/lux/world/net/http/cookie.lux
index ee643b34b..60fe0989a 100644
--- a/stdlib/source/library/lux/world/net/http/cookie.lux
+++ b/stdlib/source/library/lux/world/net/http/cookie.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [control
     [monad (.only do)]
     ["[0]" try (.only Try)]
diff --git a/stdlib/source/library/lux/world/net/http/header.lux b/stdlib/source/library/lux/world/net/http/header.lux
index 7e2197ce2..ea619c9d7 100644
--- a/stdlib/source/library/lux/world/net/http/header.lux
+++ b/stdlib/source/library/lux/world/net/http/header.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [control
     ["[0]" pipe]]
    [data
diff --git a/stdlib/source/library/lux/world/net/http/mime.lux b/stdlib/source/library/lux/world/net/http/mime.lux
index eade80e41..fc62a7723 100644
--- a/stdlib/source/library/lux/world/net/http/mime.lux
+++ b/stdlib/source/library/lux/world/net/http/mime.lux
@@ -1,12 +1,12 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [data
     ["[0]" text
      ["%" format (.only format)]
      ["[0]" encoding (.only Encoding)]]]
    [type
-    [primitive (.full)]]]])
+    [primitive (.except)]]]])
 
 (primitive: .public MIME
   Text
diff --git a/stdlib/source/library/lux/world/net/http/query.lux b/stdlib/source/library/lux/world/net/http/query.lux
index 6feafefa3..cccb9e78f 100644
--- a/stdlib/source/library/lux/world/net/http/query.lux
+++ b/stdlib/source/library/lux/world/net/http/query.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [control
     pipe
     [monad (.only do)]
diff --git a/stdlib/source/library/lux/world/net/http/request.lux b/stdlib/source/library/lux/world/net/http/request.lux
index b653574d6..6c6325eb6 100644
--- a/stdlib/source/library/lux/world/net/http/request.lux
+++ b/stdlib/source/library/lux/world/net/http/request.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [control
     pipe
     ["[0]" monad (.only do)]
diff --git a/stdlib/source/library/lux/world/net/http/status.lux b/stdlib/source/library/lux/world/net/http/status.lux
index d06bb96f4..3c3966a33 100644
--- a/stdlib/source/library/lux/world/net/http/status.lux
+++ b/stdlib/source/library/lux/world/net/http/status.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)]]
+  [lux (.except)]]
  [// (.only Status)])
 
 ... https://en.wikipedia.org/wiki/List_of_HTTP_status_codes
diff --git a/stdlib/source/library/lux/world/net/http/version.lux b/stdlib/source/library/lux/world/net/http/version.lux
index a8701c731..abfc20a0e 100644
--- a/stdlib/source/library/lux/world/net/http/version.lux
+++ b/stdlib/source/library/lux/world/net/http/version.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)]]
+  [lux (.except)]]
  [// (.only Version)])
 
 (template [<name> <version>]
diff --git a/stdlib/source/library/lux/world/net/uri.lux b/stdlib/source/library/lux/world/net/uri.lux
index a52bc1ae2..253550d6e 100644
--- a/stdlib/source/library/lux/world/net/uri.lux
+++ b/stdlib/source/library/lux/world/net/uri.lux
@@ -1,6 +1,6 @@
 (.using
   [library
-   [lux (.full)]])
+   [lux (.except)]])
 
 ... https://en.wikipedia.org/wiki/Uniform_Resource_Identifier
 (type: .public URI
diff --git a/stdlib/source/library/lux/world/output/video/resolution.lux b/stdlib/source/library/lux/world/output/video/resolution.lux
index e60085a1f..c733db7f3 100644
--- a/stdlib/source/library/lux/world/output/video/resolution.lux
+++ b/stdlib/source/library/lux/world/output/video/resolution.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    [abstract
     [equivalence (.only Equivalence)]
     [hash (.only Hash)]]
diff --git a/stdlib/source/library/lux/world/program.lux b/stdlib/source/library/lux/world/program.lux
index bd6f2d73c..90000b855 100644
--- a/stdlib/source/library/lux/world/program.lux
+++ b/stdlib/source/library/lux/world/program.lux
@@ -1,6 +1,6 @@
 (.`` (.`` (.using
            [library
-            [lux (.full)
+            [lux (.except)
              ["@" target]
              [abstract
               ["[0]" monad (.only Monad do)]]
diff --git a/stdlib/source/library/lux/world/shell.lux b/stdlib/source/library/lux/world/shell.lux
index 08d0f6f8d..be59e7b65 100644
--- a/stdlib/source/library/lux/world/shell.lux
+++ b/stdlib/source/library/lux/world/shell.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.full)
+  [lux (.except)
    ["@" target]
    ["[0]" ffi (.only import:)]
    [abstract