Generalized macro-let.

11 files changed, 19 insertions, 19 deletions

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 d477f443e..8342ce912 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
@@ -5,16 +5,16 @@
    [abstract
     ["[0]" monad (.only do)]]
    [control
-    ["<>" parser
+    ["<>" parser (.only)
      ["<[0]>" code (.only Parser)]]]
    [data
     [collection
      ["[0]" array]
      ["[0]" dictionary]
      ["[0]" list]]]
-   ["[0]" type
+   ["[0]" type (.only)
     ["[0]" check]]
-   ["@" target
+   ["@" target (.only)
     ["_" js]]]]
  [//
   ["/" lux (.only custom)]
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 428ea1068..fa08d5be0 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
@@ -5,16 +5,16 @@
    [abstract
     ["[0]" monad (.only do)]]
    [control
-    ["<>" parser
+    ["<>" parser (.only)
      ["<[0]>" code (.only Parser)]]]
    [data
     [collection
      ["[0]" array]
      ["[0]" dictionary]
      ["[0]" list]]]
-   ["[0]" type
+   ["[0]" type (.only)
     ["[0]" check]]
-   ["@" target
+   ["@" target (.only)
     ["_" lua]]]]
  [//
   ["/" lux (.only custom)]
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 3defef9c9..aa2944967 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
@@ -5,16 +5,16 @@
    [abstract
     ["[0]" monad (.only do)]]
    [control
-    ["<>" parser
+    ["<>" parser (.only)
      ["<[0]>" code (.only Parser)]]]
    [data
     [collection
      ["[0]" array]
      ["[0]" dictionary]
      ["[0]" list]]]
-   ["[0]" type
+   ["[0]" type (.only)
     ["[0]" check]]
-   ["@" target
+   ["@" target (.only)
     ["_" python]]]]
  [//
   ["/" lux (.only custom)]
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 4678fe9e1..01895a3e7 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
@@ -5,16 +5,16 @@
    [abstract
     ["[0]" monad (.only do)]]
    [control
-    ["<>" parser
+    ["<>" parser (.only)
      ["<[0]>" code (.only Parser)]]]
    [data
     [collection
      ["[0]" array]
      ["[0]" dictionary]
      ["[0]" list]]]
-   ["[0]" type
+   ["[0]" type (.only)
     ["[0]" check]]
-   ["@" target
+   ["@" target (.only)
     ["_" ruby]]]]
  [//
   ["/" lux (.only custom)]
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/case.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/case.lux
index e96a88889..3ab3c67f7 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/case.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/case.lux
@@ -35,7 +35,7 @@
     [access
      ["[0]" member (.only Member)]]]
    [///
-    ["[0]" phase ("operation#[0]" monad)]
+    ["[0]" phase (.open: "operation#[0]" monad)]
     [reference
      [variable (.only Register)]]]]])
 
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function.lux
index e9f9b5800..3de519160 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.except Type Label)
+  [lux (.except Type Label with)
    [abstract
     ["[0]" monad (.only do)]]
    [data
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 7f6ade8c6..21b5a57b4 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
@@ -20,7 +20,7 @@
    [//
     ["[0]" generation]
     [///
-     ["[1]" phase ("operation#[0]" monad)]
+     ["[1]" phase (.open: "operation#[0]" monad)]
      [reference
       ["[0]" variable (.only Register Variable)]]
      [meta
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 e14772296..669e1667b 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
@@ -20,7 +20,7 @@
   ["/[1]" //
    ["[1][0]" reference]
    ["/[1]" //
-    ["[1][0]" extension
+    ["[1][0]" extension (.only)
      [generation
       [lua
        ["[1]/[0]" common]]]]
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/runtime.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/runtime.lux
index 503638aeb..8898da66d 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/runtime.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/runtime.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.except Label Location)
+  [lux (.except Label Location left right)
    ["[0]" meta]
    [abstract
     ["[0]" monad (.only do)]]
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 054e84344..a0c15f71e 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
@@ -20,7 +20,7 @@
   ["/[1]" //
    ["[1][0]" reference]
    ["/[1]" //
-    ["[1][0]" extension
+    ["[1][0]" extension (.only)
      [generation
       [python
        ["[1]/[0]" common]]]]
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/runtime.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/runtime.lux
index 12d1f65c7..c0101452a 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/runtime.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/runtime.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux (.except ++)
+  [lux (.except ++ left right)
    [abstract
     ["[0]" monad (.only do)]]
    [control