De-sigil-ification: &

40 files changed, 185 insertions, 185 deletions

diff --git a/stdlib/source/library/lux/tool/compiler/default/init.lux b/stdlib/source/library/lux/tool/compiler/default/init.lux
index c46cbfa7b..5e204f6ca 100644
--- a/stdlib/source/library/lux/tool/compiler/default/init.lux
+++ b/stdlib/source/library/lux/tool/compiler/default/init.lux
@@ -222,10 +222,10 @@
 
 (def: (default_dependencies prelude input)
   (-> descriptor.Module ///.Input (List descriptor.Module))
-  (list& descriptor.runtime
-         (if (text#= prelude (the ///.#module input))
-           (list)
-           (list prelude))))
+  (partial_list descriptor.runtime
+                (if (text#= prelude (the ///.#module input))
+                  (list)
+                  (list prelude))))
 
 (def: module_aliases
   (-> .Module Aliases)
diff --git a/stdlib/source/library/lux/tool/compiler/default/platform.lux b/stdlib/source/library/lux/tool/compiler/default/platform.lux
index 0e6a0f2bc..4937ec9c1 100644
--- a/stdlib/source/library/lux/tool/compiler/default/platform.lux
+++ b/stdlib/source/library/lux/tool/compiler/default/platform.lux
@@ -76,7 +76,7 @@
                   <Operation> (these ///generation.Operation <type_vars>)]
   (type: .public (Platform <type_vars>)
     (Record
-     [#&file_system (file.System Async)
+     [#file_system (file.System Async)
       #host (///generation.Host expression directive)
       #phase (///generation.Phase <type_vars>)
       #runtime (<Operation> [Registry Output])
@@ -112,7 +112,7 @@
       (All (_ <type_vars> document)
         (-> context.Context <Platform> module.ID (Key document) (Writer document) (archive.Entry document)
             (Async (Try Any))))
-      (let [system (the #&file_system platform)
+      (let [system (the #file_system platform)
             write_artifact! (is (-> [artifact.ID (Maybe Text) Binary] (Action Any))
                                 (function (_ [artifact_id custom content])
                                   (is (Async (Try Any))
@@ -273,8 +273,8 @@
                                    (the #phase platform)
                                    generation_bundle)]
          _ (is (Async (Try Any))
-               (cache.enable! async.monad (the #&file_system platform) context))
-         [archive analysis_state bundles] (ioW.thaw (list) compilation_configuration (the #host platform) (the #&file_system platform) context import compilation_sources)
+               (cache.enable! async.monad (the #file_system platform) context))
+         [archive analysis_state bundles] (ioW.thaw (list) compilation_configuration (the #host platform) (the #file_system platform) context import compilation_sources)
          .let [with_missing_extensions
                (is (All (_ <type_vars>)
                      (-> <Platform> (Program expression directive) <State+>
@@ -744,7 +744,7 @@
 
                 {try.#Failure error}
                 (do !
-                  [_ (cache/archive.cache! (the #&file_system platform) context archive)]
+                  [_ (cache/archive.cache! (the #file_system platform) context archive)]
                   (async#in {try.#Failure error})))))))
 
       (def: (lux_compiler import context platform compilation_sources compiler compilation)
@@ -795,7 +795,7 @@
 
                 {try.#Failure error}
                 (do !
-                  [_ (cache/archive.cache! (the #&file_system platform) context archive)]
+                  [_ (cache/archive.cache! (the #file_system platform) context archive)]
                   (async#in {try.#Failure error})))))))
 
       (for @.old (these (def: Fake_State
@@ -817,7 +817,7 @@
               Lux_Compiler))
         (function (_ all_customs importer import! @module [archive lux_state] module)
           (do [! (try.with async.monad)]
-            [input (io.read (the #&file_system platform)
+            [input (io.read (the #file_system platform)
                             importer
                             import
                             compilation_sources
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/complex.lux b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/complex.lux
index 4ee608dd2..738795545 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/complex.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/complex.lux
@@ -69,8 +69,8 @@
 (implementation: .public (hash super)
   (All (_ a) (-> (Hash a) (Hash (Complex a))))
 
-  (def: &equivalence
-    (..equivalence (# super &equivalence)))
+  (def: equivalence
+    (..equivalence (# super equivalence)))
   
   (def: (hash value)
     (case value
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 ccb3e06ed..0e100dad2 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
@@ -74,7 +74,7 @@
   (-> Coverage (List Coverage))
   (case coverage
     {#Alt left right}
-    (list& left (alternatives right))
+    (partial_list left (alternatives right))
 
     _
     (list coverage)))
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 4c706598f..88f4c7069 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
@@ -110,7 +110,7 @@
       {.#UnivQ _}
       (do phase.monad
         [[@var :var:] (/type.check check.var)]
-        (general' (list& @var vars) archive analyse (maybe.trusted (type.applied (list :var:) inferT)) args))
+        (general' (partial_list @var vars) archive analyse (maybe.trusted (type.applied (list :var:) inferT)) args))
 
       {.#ExQ _}
       (do phase.monad
@@ -138,7 +138,7 @@
          argA (<| (/.with_exception ..cannot_infer_argument [inputT argC])
                   (/type.expecting inputT)
                   (analyse archive argC))]
-        (in [just_before vars outputT' (list& argA args'A)]))
+        (in [just_before vars outputT' (partial_list argA args'A)]))
 
       {.#Var infer_id}
       (do phase.monad
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/case.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/case.lux
index 6caf2ffab..394d54163 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/case.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/case.lux
@@ -113,7 +113,7 @@
       (do check.monad
         [[@head :head:] check.var
          [tail :tuple:] (again envs (maybe.trusted (type.applied (list :head:) :it:)))]
-        (in [(list& @head tail) :tuple:]))
+        (in [(partial_list @head tail) :tuple:]))
 
       {.#Apply _}
       (do [! check.monad]
@@ -196,7 +196,7 @@
                                               [[memberP [memberP+ thenA]] ((as (All (_ a) (-> (Maybe Nat) Type Code (Operation a) (Operation [Pattern a])))
                                                                                pattern_analysis)
                                                                            {.#None} memberT memberC then)]
-                                              (in [(list& memberP memberP+) thenA]))))
+                                              (in [(partial_list memberP memberP+) thenA]))))
                                       (do !
                                         [nextA next]
                                         (in [(list) nextA]))
@@ -283,7 +283,7 @@
           {.#None}
           (..tuple_pattern_analysis pattern_analysis :input: sub_patterns next))))
 
-    (pattern [location {.#Variant (list& [_ {.#Nat lefts}] [_ {.#Bit right?}] values)}])
+    (pattern [location {.#Variant (partial_list [_ {.#Nat lefts}] [_ {.#Bit right?}] values)}])
     (/.with_location location
       (do ///.monad
         [[@ex_var+ :input:'] (/type.check (..tuple :input:))]
@@ -324,7 +324,7 @@
           _
           (/.except ..mismatch [:input:' pattern]))))
 
-    (pattern [location {.#Variant (list& [_ {.#Symbol tag}] values)}])
+    (pattern [location {.#Variant (partial_list [_ {.#Symbol tag}] values)}])
     (/.with_location location
       (do ///.monad
         [tag (///extension.lifted (meta.normal tag))
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 fdb485bbd..b1d7398e6 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
@@ -296,14 +296,14 @@
                 output (is (List [Symbol Code])
                            {.#End})])
     (case input
-      (pattern (list& [_ {.#Symbol ["" slotH]}] valueH tail))
+      (pattern (partial_list [_ {.#Symbol ["" slotH]}] valueH tail))
       (if pattern_matching?
         (///#in {.#None})
         (do ///.monad
           [slotH (///extension.lifted (meta.normal ["" slotH]))]
           (again tail {.#Item [slotH valueH] output})))
       
-      (pattern (list& [_ {.#Symbol slotH}] valueH tail))
+      (pattern (partial_list [_ {.#Symbol slotH}] valueH tail))
       (do ///.monad
         [slotH (///extension.lifted (meta.normal slotH))]
         (again tail {.#Item [slotH valueH] output}))
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 0c301f277..df695d244 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
@@ -74,7 +74,7 @@
           {try.#Failure error}
           {try.#Failure error})))))
 
-(with_expansions [<lux_def_module> (these [|form_location| {.#Form (list& [|text_location| {.#Text "lux def module"}] annotations)}])]
+(with_expansions [<lux_def_module> (these [|form_location| {.#Form (partial_list [|text_location| {.#Text "lux def module"}] annotations)}])]
   (def: .public (phase wrapper expander)
     (-> //.Wrapper Expander Phase)
     (let [analysis (//analysis.phase expander)]
@@ -90,10 +90,10 @@
                  extension_eval (as Eval (wrapper (as_expected compiler_eval)))]
            _ (//.with (has [//extension.#state /.#analysis /.#state //extension.#state .#eval] extension_eval state))]
           (case code
-            (pattern [_ {.#Form (list& [_ {.#Text name}] inputs)}])
+            (pattern [_ {.#Form (partial_list [_ {.#Text name}] inputs)}])
             (//extension.apply archive again [name inputs])
 
-            (pattern [_ {.#Form (list& macro inputs)}])
+            (pattern [_ {.#Form (partial_list macro inputs)}])
             (do !
               [expansion (/.lifted_analysis
                           (do !
@@ -114,7 +114,7 @@
                               _
                               (//.except ..invalid_macro_call code))))]
               (case expansion
-                (pattern (list& <lux_def_module> referrals))
+                (pattern (partial_list <lux_def_module> referrals))
                 (|> (again archive <lux_def_module>)
                     (# ! each (revised /.#referrals (list#composite referrals))))
 
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 5acdad833..1d0c1f86b 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
@@ -130,7 +130,7 @@
                                                (phase archive constructorC))
          inputsA (monad.each ! (|>> (phase archive) (analysis/type.expecting Any)) inputsC)
          _ (analysis/type.inference .Any)]
-        (in {analysis.#Extension extension (list& constructorA inputsA)})))]))
+        (in {analysis.#Extension extension (partial_list constructorA inputsA)})))]))
 
 (def: object::get
   Handler
@@ -154,9 +154,9 @@
                                           (phase archive objectC))
          inputsA (monad.each ! (|>> (phase archive) (analysis/type.expecting Any)) inputsC)
          _ (analysis/type.inference .Any)]
-        (in {analysis.#Extension extension (list& (analysis.text methodC)
-                                                  objectA
-                                                  inputsA)})))]))
+        (in {analysis.#Extension extension (partial_list (analysis.text methodC)
+                                                         objectA
+                                                         inputsA)})))]))
 
 (def: bundle::object
   Bundle
@@ -190,7 +190,7 @@
                                                (phase archive abstractionC))
          inputsA (monad.each ! (|>> (phase archive) (analysis/type.expecting Any)) inputsC)
          _ (analysis/type.inference Any)]
-        (in {analysis.#Extension extension (list& abstractionA inputsA)})))]))
+        (in {analysis.#Extension extension (partial_list abstractionA inputsA)})))]))
 
 (def: js::type_of
   Handler
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/jvm.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/jvm.lux
index 4b7c3e153..3547f8029 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/jvm.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/jvm.lux
@@ -946,7 +946,7 @@
                     (in [[super_name superT] (java/lang/Class::isAssignableFrom super_class target_class)])))
                 (case (java/lang/Class::getGenericSuperclass source_class)
                   {.#Some super}
-                  (list& super (array.list {.#None} (java/lang/Class::getGenericInterfaces source_class)))
+                  (partial_list super (array.list {.#None} (java/lang/Class::getGenericInterfaces source_class)))
 
                   {.#None}
                   (if (java/lang/reflect/Modifier::isInterface (java/lang/Class::getModifiers source_class))
@@ -957,7 +957,7 @@
 (def: (inheritance_candidate_parents class_loader fromT target_class toT fromC)
   (-> java/lang/ClassLoader .Type (java/lang/Class java/lang/Object) .Type Code (Operation (List [[Text .Type] Bit])))
   (case fromT
-    (pattern {.#Primitive _ (list& self_classT super_classT super_interfacesT+)})
+    (pattern {.#Primitive _ (partial_list self_classT super_classT super_interfacesT+)})
     (monad.each phase.monad
                 (function (_ superT)
                   (do [! phase.monad]
@@ -965,7 +965,7 @@
                      super_class (phase.lifted (reflection!.load class_loader super_name))]
                     (in [[super_name superT]
                          (java/lang/Class::isAssignableFrom super_class target_class)])))
-                (list& super_classT super_interfacesT+))
+                (partial_list super_classT super_interfacesT+))
 
     _
     (/////analysis.except ..cannot_cast [fromT toT fromC])))
@@ -1312,8 +1312,8 @@
                                           inputsT
 
                                           _
-                                          (list& {.#Primitive (java/lang/Class::getName owner) owner_tvarsT}
-                                                 inputsT)))
+                                          (partial_list {.#Primitive (java/lang/Class::getName owner) owner_tvarsT}
+                                                        inputsT)))
                          outputT)]]
       (in [methodT
            (reflection!.deprecated? (java/lang/reflect/Method::getDeclaredAnnotations method))
@@ -1397,14 +1397,14 @@
   (let [interfaces (array.list {.#None} (java/lang/Class::getInterfaces it))
         supers (case (java/lang/Class::getSuperclass it)
                  {.#Some class}
-                 (list& class interfaces)
+                 (partial_list class interfaces)
                  
                  {.#None}
                  interfaces)]
     (|> supers
         (list#each family_tree')
         list#conjoint
-        (list& it))))
+        (partial_list it))))
 
 (def: family_tree
   (-> (java/lang/Class java/lang/Object)
@@ -1454,7 +1454,7 @@
       {.#Item method alternatives}
       (if allow_inheritance?
         (in method)
-        (/////analysis.except ..too_many_candidates [actual_class_tvars class_name method_name actual_method_tvars inputsJT (list& method alternatives)])))))
+        (/////analysis.except ..too_many_candidates [actual_class_tvars class_name method_name actual_method_tvars inputsJT (partial_list method alternatives)])))))
 
 (def: constructor_method
   "<init>")
@@ -1526,10 +1526,10 @@
                             (not deprecated?))
          [outputT argsA] (inference.general archive analyse methodT (list#each product.right argsTC))
          outputJT (check_return outputT)]
-        (in {/////analysis.#Extension extension_name (list& (/////analysis.text (..signature (jvm.class class (list))))
-                                                            (/////analysis.text method)
-                                                            (/////analysis.text (..signature outputJT))
-                                                            (decorate_inputs argsT argsA))})))]))
+        (in {/////analysis.#Extension extension_name (partial_list (/////analysis.text (..signature (jvm.class class (list))))
+                                                                   (/////analysis.text method)
+                                                                   (/////analysis.text (..signature outputJT))
+                                                                   (decorate_inputs argsT argsA))})))]))
 
 (def: (invoke::virtual class_loader)
   (-> java/lang/ClassLoader Handler)
@@ -1542,7 +1542,7 @@
          [methodT deprecated? exceptionsT] (..method_candidate true class_loader class_tvars class method_tvars method {#Virtual} argsT)
          _ (phase.assertion ..deprecated_method [class method methodT]
                             (not deprecated?))
-         [outputT allA] (inference.general archive analyse methodT (list& objectC (list#each product.right argsTC)))
+         [outputT allA] (inference.general archive analyse methodT (partial_list objectC (list#each product.right argsTC)))
          .let [[objectA argsA] (case allA
                                  {.#Item objectA argsA}
                                  [objectA argsA]
@@ -1550,11 +1550,11 @@
                                  _
                                  (undefined))]
          outputJT (check_return outputT)]
-        (in {/////analysis.#Extension extension_name (list& (/////analysis.text (..signature (jvm.class class (list))))
-                                                            (/////analysis.text method)
-                                                            (/////analysis.text (..signature outputJT))
-                                                            objectA
-                                                            (decorate_inputs argsT argsA))})))]))
+        (in {/////analysis.#Extension extension_name (partial_list (/////analysis.text (..signature (jvm.class class (list))))
+                                                                   (/////analysis.text method)
+                                                                   (/////analysis.text (..signature outputJT))
+                                                                   objectA
+                                                                   (decorate_inputs argsT argsA))})))]))
 
 (def: (invoke::special class_loader)
   (-> java/lang/ClassLoader Handler)
@@ -1567,7 +1567,7 @@
          [methodT deprecated? exceptionsT] (..method_candidate false class_loader class_tvars class method_tvars method {#Special} argsT)
          _ (phase.assertion ..deprecated_method [class method methodT]
                             (not deprecated?))
-         [outputT allA] (inference.general archive analyse methodT (list& objectC (list#each product.right argsTC)))
+         [outputT allA] (inference.general archive analyse methodT (partial_list objectC (list#each product.right argsTC)))
          .let [[objectA argsA] (case allA
                                  {.#Item objectA argsA}
                                  [objectA argsA]
@@ -1575,11 +1575,11 @@
                                  _
                                  (undefined))]
          outputJT (check_return outputT)]
-        (in {/////analysis.#Extension extension_name (list& (/////analysis.text (..signature (jvm.class class (list))))
-                                                            (/////analysis.text method)
-                                                            (/////analysis.text (..signature outputJT))
-                                                            objectA
-                                                            (decorate_inputs argsT argsA))})))]))
+        (in {/////analysis.#Extension extension_name (partial_list (/////analysis.text (..signature (jvm.class class (list))))
+                                                                   (/////analysis.text method)
+                                                                   (/////analysis.text (..signature outputJT))
+                                                                   objectA
+                                                                   (decorate_inputs argsT argsA))})))]))
 
 (def: (invoke::interface class_loader)
   (-> java/lang/ClassLoader Handler)
@@ -1595,7 +1595,7 @@
          [methodT deprecated? exceptionsT] (..method_candidate true class_loader class_tvars class_name method_tvars method {#Interface} argsT)
          _ (phase.assertion ..deprecated_method [class_name method methodT]
                             (not deprecated?))
-         [outputT allA] (inference.general archive analyse methodT (list& objectC (list#each product.right argsTC)))
+         [outputT allA] (inference.general archive analyse methodT (partial_list objectC (list#each product.right argsTC)))
          .let [[objectA argsA] (case allA
                                  {.#Item objectA argsA}
                                  [objectA argsA]
@@ -1604,11 +1604,11 @@
                                  (undefined))]
          outputJT (check_return outputT)]
         (in {/////analysis.#Extension extension_name
-                                      (list& (/////analysis.text (..signature (jvm.class class_name (list))))
-                                             (/////analysis.text method)
-                                             (/////analysis.text (..signature outputJT))
-                                             objectA
-                                             (decorate_inputs argsT argsA))})))]))
+                                      (partial_list (/////analysis.text (..signature (jvm.class class_name (list))))
+                                                    (/////analysis.text method)
+                                                    (/////analysis.text (..signature outputJT))
+                                                    objectA
+                                                    (decorate_inputs argsT argsA))})))]))
 
 (def: (invoke::constructor class_loader)
   (-> java/lang/ClassLoader Handler)
@@ -1622,8 +1622,8 @@
          _ (phase.assertion ..deprecated_method [class ..constructor_method methodT]
                             (not deprecated?))
          [outputT argsA] (inference.general archive analyse methodT (list#each product.right argsTC))]
-        (in {/////analysis.#Extension extension_name (list& (/////analysis.text (..signature (jvm.class class (list))))
-                                                            (decorate_inputs argsT argsA))})))]))
+        (in {/////analysis.#Extension extension_name (partial_list (/////analysis.text (..signature (jvm.class class (list))))
+                                                                   (decorate_inputs argsT argsA))})))]))
 
 (def: (bundle::member class_loader)
   (-> java/lang/ClassLoader Bundle)
@@ -1671,8 +1671,8 @@
 
 (def: (annotation_analysis [name parameters])
   (-> (Annotation Analysis) Analysis)
-  (/////analysis.tuple (list& (/////analysis.text name)
-                              (list#each annotation_parameter_analysis parameters))))
+  (/////analysis.tuple (partial_list (/////analysis.text name)
+                                     (list#each annotation_parameter_analysis parameters))))
 
 (template [<name> <category>]
   [(def: <name>
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 4949783fe..a0e5d2a1c 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
@@ -154,9 +154,9 @@
                                           (phase archive objectC))
          inputsA (monad.each ! (|>> (phase archive) (analysis/type.expecting Any)) inputsC)
          _ (analysis/type.inference .Any)]
-        (in {analysis.#Extension extension (list& (analysis.text methodC)
-                                                  objectA
-                                                  inputsA)})))]))
+        (in {analysis.#Extension extension (partial_list (analysis.text methodC)
+                                                         objectA
+                                                         inputsA)})))]))
 
 (def: bundle::object
   Bundle
@@ -211,7 +211,7 @@
                                                (phase archive abstractionC))
          inputsA (monad.each ! (|>> (phase archive) (analysis/type.expecting Any)) inputsC)
          _ (analysis/type.inference Any)]
-        (in {analysis.#Extension extension (list& abstractionA inputsA)})))]))
+        (in {analysis.#Extension extension (partial_list abstractionA inputsA)})))]))
 
 (def: lua::power
   Handler
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 ba71661c9..bf2f53507 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
@@ -119,7 +119,7 @@
                               (////analysis.tuple
                                (list (////analysis.tuple (list#each (|>> ////analysis.nat) cases))
                                      branch))))
-                 (list& input else)
+                 (partial_list input else)
                  {////analysis.#Extension extension_name}))))])))
 
 ... "lux is" represents reference/pointer equality.
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 dae6adef6..760db788c 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
@@ -132,7 +132,7 @@
       (do [! phase.monad]
         [inputsA (monad.each ! (|>> (phase archive) (analysis/type.with_type Any)) inputsC)
          _ (analysis/type.infer .Any)]
-        (in {analysis.#Extension extension (list& (analysis.text constructor) inputsA)})))]))
+        (in {analysis.#Extension extension (partial_list (analysis.text constructor) inputsA)})))]))
 
 (def: object::get
   Handler
@@ -156,9 +156,9 @@
                    (phase archive objectC))
          inputsA (monad.each ! (|>> (phase archive) (analysis/type.with_type Any)) inputsC)
          _ (analysis/type.infer .Any)]
-        (in {analysis.#Extension extension (list& (analysis.text methodC)
-                                                  objectA
-                                                  inputsA)})))]))
+        (in {analysis.#Extension extension (partial_list (analysis.text methodC)
+                                                         objectA
+                                                         inputsA)})))]))
 
 (def: bundle::object
   Bundle
@@ -190,7 +190,7 @@
                         (phase archive abstractionC))
          inputsA (monad.each ! (|>> (phase archive) (analysis/type.with_type Any)) inputsC)
          _ (analysis/type.infer Any)]
-        (in {analysis.#Extension extension (list& abstractionA inputsA)})))]))
+        (in {analysis.#Extension extension (partial_list abstractionA inputsA)})))]))
 
 (def: php::pack
   Handler
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 f35ad7128..ceecbce4f 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
@@ -158,9 +158,9 @@
                                           (phase archive objectC))
          inputsA (monad.each ! (|>> (phase archive) (analysis/type.expecting Any)) inputsC)
          _ (analysis/type.inference .Any)]
-        (in {analysis.#Extension extension (list& (analysis.text methodC)
-                                                  objectA
-                                                  inputsA)})))]))
+        (in {analysis.#Extension extension (partial_list (analysis.text methodC)
+                                                         objectA
+                                                         inputsA)})))]))
 
 (def: bundle::object
   Bundle
@@ -200,7 +200,7 @@
                                                (phase archive abstractionC))
          inputsA (monad.each ! (|>> (phase archive) (analysis/type.expecting Any)) inputsC)
          _ (analysis/type.inference Any)]
-        (in {analysis.#Extension extension (list& abstractionA inputsA)})))]))
+        (in {analysis.#Extension extension (partial_list abstractionA inputsA)})))]))
 
 (def: python::function
   Handler
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 a102f6b29..8af81e312 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
@@ -154,9 +154,9 @@
                      (phase archive objectC))
          inputsA (monad.each ! (|>> (phase archive) (analysis/type.expecting Any)) inputsC)
          _ (analysis/type.inference .Any)]
-        (in {analysis.#Extension extension (list& (analysis.text methodC)
-                                                  objectA
-                                                  inputsA)})))]))
+        (in {analysis.#Extension extension (partial_list (analysis.text methodC)
+                                                         objectA
+                                                         inputsA)})))]))
 
 (def: bundle::object
   Bundle
@@ -187,7 +187,7 @@
                           (phase archive abstractionC))
          inputsA (monad.each ! (|>> (phase archive) (analysis/type.expecting Any)) inputsC)
          _ (analysis/type.inference Any)]
-        (in {analysis.#Extension extension (list& abstractionA inputsA)})))]))
+        (in {analysis.#Extension extension (partial_list abstractionA inputsA)})))]))
 
 (def: ruby::import
   Handler
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 c1c425142..da2c2e828 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
@@ -147,7 +147,7 @@
                         (phase archive abstractionC))
          inputsA (monad.each ! (|>> (phase archive) (analysis/type.with_type Any)) inputsC)
          _ (analysis/type.infer Any)]
-        (in {analysis.#Extension extension (list& abstractionA inputsA)})))]))
+        (in {analysis.#Extension extension (partial_list abstractionA inputsA)})))]))
 
 (def: .public bundle
   Bundle
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/directive/jvm.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/directive/jvm.lux
index ab72fe131..0906183ef 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/directive/jvm.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/directive/jvm.lux
@@ -658,7 +658,7 @@
                       (jvm.analyse_static_method analyse archive mapping method)
                       
                       {#Overriden_Method method}
-                      (jvm.analyse_overriden_method analyse archive selfT mapping (list& super interfaces) method)
+                      (jvm.analyse_overriden_method analyse archive selfT mapping (partial_list super interfaces) method)
 
                       {#Abstract_Method method}
                       (jvm.analyse_abstract_method analyse archive method))))
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/jvm/host.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/jvm/host.lux
index 45c374faa..f5fbdaf17 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/jvm/host.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/jvm/host.lux
@@ -1230,8 +1230,8 @@
                                    (name.internal (..reflection super_class))
                                    (list#each (|>> ..reflection name.internal) super_interfaces)
                                    (foreign.variables total_environment)
-                                   (list& (..with_anonymous_init class total_environment super_class inputsTI)
-                                          methods!)
+                                   (partial_list (..with_anonymous_init class total_environment super_class inputsTI)
+                                                 methods!)
                                    (sequence.sequence)))
          .let [artifact [anonymous_class_name bytecode]]
          _ (//////generation.execute! artifact)
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 dc7b0f38b..1caff3899 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
@@ -83,19 +83,19 @@
                                                 conditionals))
                   .let [foreigns (|> conditionals
                                      (list#each (|>> product.right synthesis.path/then //case.dependencies))
-                                     (list& (//case.dependencies (synthesis.path/then else)))
+                                     (partial_list (//case.dependencies (synthesis.path/then else)))
                                      list.together
                                      (set.of_list _.hash)
                                      set.list)
                         @expression (_.constant (reference.artifact [context_module context_artifact]))
-                        directive (_.define_function @expression (list& (_.parameter @input) (list#each _.reference foreigns))
+                        directive (_.define_function @expression (partial_list (_.parameter @input) (list#each _.reference foreigns))
                                                      (list#mix (function (_ [test then] else)
                                                                  (_.if test (_.return then) else))
                                                                (_.return elseG)
                                                                conditionalsG))]
                   _ (generation.execute! directive)
                   _ (generation.save! context_artifact directive)]
-                 (in (_.apply/* (list& inputG foreigns) @expression))))]))
+                 (in (_.apply/* (partial_list inputG foreigns) @expression))))]))
 
 (def: lux_procs
   Bundle
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/case.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/case.lux
index fbad56663..43ca63829 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/case.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/case.lux
@@ -111,19 +111,19 @@
      (-> _.Tag Bit Nat (Maybe (Expression Any)) (Expression Any))
      (.let [<failure_condition> (_.eq/2 [@variant @temp])]
        (_.let (list [@variant ..peek])
-         (list& (_.setq @temp (|> idx <prep> .int _.int (//runtime.sum//get @variant <flag>)))
-                (.if simple?
-                  (_.when <failure_condition>
-                          (_.go @fail))
-                  (_.if <failure_condition>
-                    (_.go @fail)
-                    (..push! @temp)))
-                (.case next!
-                  {.#Some next!}
-                  (list next!)
-                  
-                  {.#None}
-                  (list))))))]
+         (partial_list (_.setq @temp (|> idx <prep> .int _.int (//runtime.sum//get @variant <flag>)))
+                       (.if simple?
+                         (_.when <failure_condition>
+                                 (_.go @fail))
+                         (_.if <failure_condition>
+                           (_.go @fail)
+                           (..push! @temp)))
+                       (.case next!
+                         {.#Some next!}
+                         (list next!)
+                         
+                         {.#None}
+                         (list))))))]
 
   [left_choice  _.nil         (<|)]
   [right_choice (_.string "") ++]
@@ -255,10 +255,10 @@
                        (list#each (function (_ register)
                                     [(..register register)
                                      _.nil])))]]
-    (in (_.let (list& [@cursor (_.list/* (list initG))]
-                      [@savepoint (_.list/* (list))]
-                      [@temp _.nil]
-                      [$output _.nil]
-                      storage)
+    (in (_.let (partial_list [@cursor (_.list/* (list initG))]
+                             [@savepoint (_.list/* (list))]
+                             [@temp _.nil]
+                             [$output _.nil]
+                             storage)
           (list pattern_matching!
                 $output)))))
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/loop.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/loop.lux
index acbab199d..29ad332ab 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/loop.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/loop.lux
@@ -1,36 +1,36 @@
 (.using
-  [library
-   [lux {"-" Scope}
-    [abstract
-     ["[0]" monad {"+" do}]]
-    [data
-     ["[0]" product]
-     [text
-      ["%" format {"+" format}]]
-     [collection
-      ["[0]" list ("[1]#[0]" functor)]]]
-    [math
-     [number
-      ["n" nat]]]
-    [target
-     ["_" common_lisp {"+" Expression}]]]]
-  ["[0]" // "_"
-   [runtime {"+" Operation Phase Generator}]
-   ["[1][0]" case]
+ [library
+  [lux {"-" Scope}
+   [abstract
+    ["[0]" monad {"+" do}]]
+   [data
+    ["[0]" product]
+    [text
+     ["%" format {"+" format}]]
+    [collection
+     ["[0]" list ("[1]#[0]" functor)]]]
+   [math
+    [number
+     ["n" nat]]]
+   [target
+    ["_" common_lisp {"+" Expression}]]]]
+ ["[0]" // "_"
+  [runtime {"+" Operation Phase Generator}]
+  ["[1][0]" case]
+  ["/[1]" // "_"
+   ["[1][0]" reference]
    ["/[1]" // "_"
-    ["[1][0]" reference]
+    [synthesis
+     ["[0]" case]]
     ["/[1]" // "_"
-     [synthesis
-      ["[0]" case]]
-     ["/[1]" // "_"
-      ["[0]"synthesis {"+" Scope Synthesis}]
-      ["[1][0]" generation]
-      ["//[1]" /// "_"
-       ["[1][0]" phase]
-       [meta
-        [archive {"+" Archive}]]
-       [reference
-        [variable {"+" Register}]]]]]]])
+     ["[0]"synthesis {"+" Scope Synthesis}]
+     ["[1][0]" generation]
+     ["//[1]" /// "_"
+      ["[1][0]" phase]
+      [meta
+       [archive {"+" Archive}]]
+      [reference
+       [variable {"+" Register}]]]]]]])
 
 (def: .public (scope expression archive [start initsS+ bodyS])
   (Generator (Scope Synthesis))
@@ -53,7 +53,7 @@
                      (list#each (function (_ [idx init])
                                   [(|> idx (n.+ start) //case.register)
                                    init]))
-                     (list& [@output _.nil]))
+                     (partial_list [@output _.nil]))
             (list (_.tagbody (list @scope
                                    (_.setq @output bodyG)))
                   @output))))))
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 7fd639b8f..1de6aba52 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
@@ -77,15 +77,15 @@
                    (list#composite (/foreign.variables environment)
                                    (/partial.variables arity)))
         methods (is (List (Resource Method))
-                    (list& (/init.method classT environment arity)
-                           (/reset.method classT environment arity)
-                           (if (arity.multiary? arity)
-                             (|> (n.min arity /arity.maximum)
-                                 list.indices
-                                 (list#each (|>> ++ (/apply.method classT environment arity @begin body)))
-                                 (list& (/implementation.method classT arity @begin body)))
-                             (list (/implementation.method classT arity @begin body)
-                                   (/apply.method classT environment arity @begin body 1)))))]
+                    (partial_list (/init.method classT environment arity)
+                                  (/reset.method classT environment arity)
+                                  (if (arity.multiary? arity)
+                                    (|> (n.min arity /arity.maximum)
+                                        list.indices
+                                        (list#each (|>> ++ (/apply.method classT environment arity @begin body)))
+                                        (partial_list (/implementation.method classT arity @begin body)))
+                                    (list (/implementation.method classT arity @begin body)
+                                          (/apply.method classT environment arity @begin body 1)))))]
     (do phase.monad
       [instance (/new.instance generate archive classT environment arity)]
       (in [fields methods instance]))))
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/implementation.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/implementation.lux
index 924a2e21d..165c3e502 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/implementation.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/implementation.lux
@@ -31,7 +31,7 @@
 (def: .public (type :it: arity)
   (-> (Type Class) Arity (Type category.Method))
   (type.method [(list)
-                (list& :it: (list.repeated arity ////type.value))
+                (partial_list :it: (list.repeated arity ////type.value))
                 ////type.value
                 (list)]))
 
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/init.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/init.lux
index e6734dfcb..554f0cb8e 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/init.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/init.lux
@@ -53,7 +53,7 @@
   (type.method [(list)
                 (list#composite (///foreign.closure environment)
                                 (if (arity.multiary? arity)
-                                  (list& ///arity.type (..partials arity))
+                                  (partial_list ///arity.type (..partials arity))
                                   (list)))
                 type.void
                 (list)]))
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/runtime.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/runtime.lux
index 789884c63..136c1c359 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/runtime.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/runtime.lux
@@ -592,11 +592,11 @@
                                                               (_.aload arity)
                                                               (_.invokevirtual //function.class ..apply::name (..apply::type //function/arity.minimum))
                                                               _.areturn))})))
-                           (list& (method.method (modifier#composite method.public method.abstract)
-                                                 ..apply::name
-                                                 #0 (..apply::type //function/arity.minimum)
-                                                 (list)
-                                                 {.#None})))
+                           (partial_list (method.method (modifier#composite method.public method.abstract)
+                                                        ..apply::name
+                                                        #0 (..apply::type //function/arity.minimum)
+                                                        (list)
+                                                        {.#None})))
         <init>::method (method.method method.public "<init>"
                                       #0 //function.init
                                       (list)
@@ -627,7 +627,7 @@
                                   {.#None}
                                   (name.internal (..reflection ^Object)) (list)
                                   (list partial_count)
-                                  (list& <init>::method apply::method+)
+                                  (partial_list <init>::method apply::method+)
                                   sequence.empty))]
     (do ////.monad
       [_ (generation.execute! [class bytecode])
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/function.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/function.lux
index bd95510e2..5e6c9ea30 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/function.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/function.lux
@@ -61,7 +61,7 @@
                      (list#each (|>> product.left ..capture)))]
       [(_.set! @selfG (_.closure (list) (list#each _.parameter @inits)
                                  ($_ _.then
-                                     (_.set! @selfL (_.closure (list& (_.reference @selfL) (list#each _.reference @inits))
+                                     (_.set! @selfL (_.closure (partial_list (_.reference @selfL) (list#each _.reference @inits))
                                                                (list)
                                                                body!))
                                      (_.return @selfL))))
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/procedure/host.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/procedure/host.lux
index 5a1b6479f..e1b8b84e6 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/procedure/host.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/procedure/host.lux
@@ -36,7 +36,7 @@
 ... (def: (lua//call proc translate inputs)
 ...   (-> Text @.Proc)
 ...   (case inputs
-...     (pattern (list& functionS argsS+))
+...     (pattern (partial_list functionS argsS+))
 ...     (do [@ macro.Monad<Meta>]
 ...       [functionO (translate functionS)
 ...        argsO+ (monad.each @ translate argsS+)]
@@ -56,7 +56,7 @@
 ... (def: (table//call proc translate inputs)
 ...   (-> Text @.Proc)
 ...   (case inputs
-...     (pattern (list& tableS [_ {.#Text field}] argsS+))
+...     (pattern (partial_list tableS [_ {.#Text field}] argsS+))
 ...     (do [@ macro.Monad<Meta>]
 ...       [tableO (translate tableS)
 ...        argsO+ (monad.each @ translate argsS+)]
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 3412ae778..0f8d92144 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
@@ -231,7 +231,7 @@
             <continue>
 
             sub_members
-            (list& <member> sub_members))
+            (partial_list <member> sub_members))
           
           _
           <failure>)))))
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 a8991f643..c11213340 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
@@ -186,7 +186,7 @@
             <application>)))
 
       ... TODO: Stop relying on this custom code.
-      (pattern {/.#Extension ["lux syntax char case!" (list& input else matches)]})
+      (pattern {/.#Extension ["lux syntax char case!" (partial_list input else matches)]})
       (if return?
         (do [! maybe.monad]
           [input (again false input)
@@ -203,7 +203,7 @@
                                    (again false match)))
                                matches)
            else (again return? else)]
-          (in {/.#Extension ["lux syntax char case!" (list& input else matches)]}))
+          (in {/.#Extension ["lux syntax char case!" (partial_list input else matches)]}))
         {.#None})
 
       {/.#Extension [name args]}
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/synthesis.lux b/stdlib/source/library/lux/tool/compiler/language/lux/synthesis.lux
index 3b1a2ad84..9ecea955a 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/synthesis.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/synthesis.lux
@@ -454,8 +454,8 @@
 (implementation: (path'_hash super)
   (All (_ a) (-> (Hash a) (Hash (Path' a))))
 
-  (def: &equivalence
-    (..path'_equivalence (# super &equivalence)))
+  (def: equivalence
+    (..path'_equivalence (# super equivalence)))
   
   (def: (hash value)
     (case value
@@ -529,8 +529,8 @@
 (implementation: (branch_hash super)
   (All (_ a) (-> (Hash a) (Hash (Branch a))))
 
-  (def: &equivalence
-    (..branch_equivalence (# super &equivalence)))
+  (def: equivalence
+    (..branch_equivalence (# super equivalence)))
   
   (def: (hash value)
     (case value
@@ -582,8 +582,8 @@
 (implementation: (loop_hash super)
   (All (_ a) (-> (Hash a) (Hash (Loop a))))
 
-  (def: &equivalence
-    (..loop_equivalence (# super &equivalence)))
+  (def: equivalence
+    (..loop_equivalence (# super equivalence)))
   
   (def: (hash value)
     (case value
@@ -620,8 +620,8 @@
 (implementation: (function_hash super)
   (All (_ a) (-> (Hash a) (Hash (Function a))))
 
-  (def: &equivalence
-    (..function_equivalence (# super &equivalence)))
+  (def: equivalence
+    (..function_equivalence (# super equivalence)))
   
   (def: (hash value)
     (case value
@@ -655,8 +655,8 @@
 (implementation: (control_hash super)
   (All (_ a) (-> (Hash a) (Hash (Control a))))
 
-  (def: &equivalence
-    (..control_equivalence (# super &equivalence)))
+  (def: equivalence
+    (..control_equivalence (# super equivalence)))
 
   (def: (hash value)
     (case value
@@ -692,7 +692,7 @@
 (implementation: .public hash
   (Hash Synthesis)
 
-  (def: &equivalence ..equivalence)
+  (def: equivalence ..equivalence)
 
   (def: (hash value)
     (let [again_hash [..equivalence hash]]
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 cb3e3f50a..bdc53c382 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
@@ -35,4 +35,4 @@
 
 (def: .public equivalence
   (Equivalence Access)
-  (# ..hash &equivalence))
+  (# ..hash equivalence))
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 e6c9fb680..128f12c26 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
@@ -31,4 +31,4 @@
 
 (def: .public equivalence
   (Equivalence Member)
-  (# ..hash &equivalence))
+  (# ..hash equivalence))
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 045681ac2..a694b7c45 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
@@ -31,4 +31,4 @@
 
 (def: .public equivalence
   (Equivalence Side)
-  (# ..hash &equivalence))
+  (# ..hash equivalence))
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 05b5201f8..741088fb0 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
@@ -60,7 +60,7 @@
 (implementation: .public hash
   (Hash Simple)
 
-  (def: &equivalence ..equivalence)
+  (def: equivalence ..equivalence)
 
   (def: hash
     (|>> (pipe.case
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 9412bbb0b..460757c42 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/archive/unit.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/archive/unit.lux
@@ -30,7 +30,7 @@
 
 (def: .public equivalence
   (Equivalence ID)
-  (# ..hash &equivalence))
+  (# ..hash equivalence))
 
 (def: .public none
   (Set ID)
diff --git a/stdlib/source/library/lux/tool/compiler/meta/cache/dependency/artifact.lux b/stdlib/source/library/lux/tool/compiler/meta/cache/dependency/artifact.lux
index 1ab3be9eb..d87c2ccd6 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/cache/dependency/artifact.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/cache/dependency/artifact.lux
@@ -149,7 +149,7 @@
             references)
         
         {synthesis.#Apply function arguments}
-        (|> (list& function arguments)
+        (|> (partial_list function arguments)
             (list#each references)
             list#conjoint)))
     
@@ -203,7 +203,7 @@
                              [mandatory_dependencies
                               all_dependencies])
                   [(if mandatory?
-                     (list& artifact_id mandatory_dependencies)
+                     (partial_list artifact_id mandatory_dependencies)
                      mandatory_dependencies)
                    (dictionary.has artifact_id dependencies all_dependencies)])
                 [(list)
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 ed360caec..1f0506a00 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/packager/ruby.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/packager/ruby.lux
@@ -96,8 +96,8 @@
                               (is _.Statement)
                               _.code
                               (# utf8.codec encoded))]
-        (in (list& [module_id [(..module_file module_id) entry_content]]
-                   sink))))))
+        (in (partial_list [module_id [(..module_file module_id) entry_content]]
+                          sink))))))
 
 (def: .public main_file
   "main.rb")
diff --git a/stdlib/source/library/lux/tool/compiler/phase.lux b/stdlib/source/library/lux/tool/compiler/phase.lux
index e09552d2c..ff07d7226 100644
--- a/stdlib/source/library/lux/tool/compiler/phase.lux
+++ b/stdlib/source/library/lux/tool/compiler/phase.lux
@@ -38,7 +38,7 @@
 (implementation: .public monad
   (All (_ s) (Monad (Operation s)))
 
-  (def: &functor ..functor)
+  (def: functor ..functor)
   
   (def: (in it)
     (function (_ state)
diff --git a/stdlib/source/library/lux/tool/compiler/reference.lux b/stdlib/source/library/lux/tool/compiler/reference.lux
index 3e962f14f..083f7e568 100644
--- a/stdlib/source/library/lux/tool/compiler/reference.lux
+++ b/stdlib/source/library/lux/tool/compiler/reference.lux
@@ -44,7 +44,7 @@
 (implementation: .public hash
   (Hash Reference)
 
-  (def: &equivalence
+  (def: equivalence
     ..equivalence)
 
   (def: (hash value)
diff --git a/stdlib/source/library/lux/tool/compiler/reference/variable.lux b/stdlib/source/library/lux/tool/compiler/reference/variable.lux
index a9d4f432e..248398d35 100644
--- a/stdlib/source/library/lux/tool/compiler/reference/variable.lux
+++ b/stdlib/source/library/lux/tool/compiler/reference/variable.lux
@@ -40,7 +40,7 @@
 (implementation: .public hash
   (Hash Variable)
   
-  (def: &equivalence
+  (def: equivalence
     ..equivalence)
   
   (def: hash