Re-named "partial_list" to "list.partial".

29 files changed, 68 insertions, 68 deletions

diff --git a/stdlib/source/library/lux/tool/compiler/default/init.lux b/stdlib/source/library/lux/tool/compiler/default/init.lux
index c253743dd..74259135c 100644
--- a/stdlib/source/library/lux/tool/compiler/default/init.lux
+++ b/stdlib/source/library/lux/tool/compiler/default/init.lux
@@ -222,7 +222,7 @@
 
 (def: (default_dependencies prelude input)
   (-> descriptor.Module ///.Input (List descriptor.Module))
-  (partial_list descriptor.runtime
+  (list.partial descriptor.runtime
                 (if (text#= prelude (the ///.#module input))
                   (list)
                   (list prelude))))
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 f7d2734bf..eb147cd64 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}
-    (partial_list left (alternatives right))
+    (list.partial 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 fb8f92d44..10f11ef78 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' (partial_list @var vars) archive analyse (maybe.trusted (type.applied (list :var:) inferT)) args))
+        (general' (list.partial @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' (partial_list argA args'A)]))
+        (in [just_before vars outputT' (list.partial 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 0bb0f208d..c0771f82e 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 [(partial_list @head tail) :tuple:]))
+        (in [(list.partial @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 [(partial_list memberP memberP+) thenA]))))
+                                              (in [(list.partial 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 (partial_list [_ {.#Nat lefts}] [_ {.#Bit right?}] values)}])
+    (pattern [location {.#Variant (list.partial [_ {.#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 (partial_list [_ {.#Symbol tag}] values)}])
+    (pattern [location {.#Variant (list.partial [_ {.#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 0c16d0bc9..d83a3eec7 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 (partial_list [_ {.#Symbol ["" slotH]}] valueH tail))
+      (pattern (list.partial [_ {.#Symbol ["" slotH]}] valueH tail))
       (if pattern_matching?
         (///#in {.#None})
         (do ///.monad
           [slotH (///extension.lifted (meta.normal ["" slotH]))]
           (again tail {.#Item [slotH valueH] output})))
       
-      (pattern (partial_list [_ {.#Symbol slotH}] valueH tail))
+      (pattern (list.partial [_ {.#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 c72e90e51..212a44ae5 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 (partial_list [|text_location| {.#Text "lux def module"}] annotations)}])]
+(with_expansions [<lux_def_module> (these [|form_location| {.#Form (list.partial [|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 (partial_list [_ {.#Text name}] inputs)}])
+            (pattern [_ {.#Form (list.partial [_ {.#Text name}] inputs)}])
             (//extension.apply archive again [name inputs])
 
-            (pattern [_ {.#Form (partial_list macro inputs)}])
+            (pattern [_ {.#Form (list.partial macro inputs)}])
             (do !
               [expansion (/.lifted_analysis
                           (do !
@@ -114,7 +114,7 @@
                               _
                               (//.except ..invalid_macro_call code))))]
               (case expansion
-                (pattern (partial_list <lux_def_module> referrals))
+                (pattern (list.partial <lux_def_module> referrals))
                 (|> (again archive <lux_def_module>)
                     (at ! 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 3a92fd7f7..d477f443e 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 (partial_list constructorA inputsA)})))]))
+        (in {analysis.#Extension extension (list.partial constructorA inputsA)})))]))
 
 (def: object::get
   Handler
@@ -154,7 +154,7 @@
                                           (phase archive objectC))
          inputsA (monad.each ! (|>> (phase archive) (analysis/type.expecting Any)) inputsC)
          _ (analysis/type.inference .Any)]
-        (in {analysis.#Extension extension (partial_list (analysis.text methodC)
+        (in {analysis.#Extension extension (list.partial (analysis.text methodC)
                                                          objectA
                                                          inputsA)})))]))
 
@@ -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 (partial_list abstractionA inputsA)})))]))
+        (in {analysis.#Extension extension (list.partial 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 7835a454b..f41b488d2 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
@@ -947,7 +947,7 @@
                     (in [[super_name superT] (java/lang/Class::isAssignableFrom super_class target_class)])))
                 (case (java/lang/Class::getGenericSuperclass source_class)
                   {.#Some super}
-                  (partial_list super (array.list {.#None} (java/lang/Class::getGenericInterfaces source_class)))
+                  (list.partial super (array.list {.#None} (java/lang/Class::getGenericInterfaces source_class)))
 
                   {.#None}
                   (if (java/lang/reflect/Modifier::isInterface (java/lang/Class::getModifiers source_class))
@@ -958,7 +958,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 _ (partial_list self_classT super_classT super_interfacesT+)})
+    (pattern {.#Primitive _ (list.partial self_classT super_classT super_interfacesT+)})
     (monad.each phase.monad
                 (function (_ superT)
                   (do [! phase.monad]
@@ -966,7 +966,7 @@
                      super_class (phase.lifted (reflection!.load class_loader super_name))]
                     (in [[super_name superT]
                          (java/lang/Class::isAssignableFrom super_class target_class)])))
-                (partial_list super_classT super_interfacesT+))
+                (list.partial super_classT super_interfacesT+))
 
     _
     (/////analysis.except ..cannot_cast [fromT toT fromC])))
@@ -1313,7 +1313,7 @@
                                           inputsT
 
                                           _
-                                          (partial_list {.#Primitive (java/lang/Class::getName owner) owner_tvarsT}
+                                          (list.partial {.#Primitive (java/lang/Class::getName owner) owner_tvarsT}
                                                         inputsT)))
                          outputT)]]
       (in [methodT
@@ -1398,14 +1398,14 @@
   (let [interfaces (array.list {.#None} (java/lang/Class::getInterfaces it))
         supers (case (java/lang/Class::getSuperclass it)
                  {.#Some class}
-                 (partial_list class interfaces)
+                 (list.partial class interfaces)
                  
                  {.#None}
                  interfaces)]
     (|> supers
         (list#each family_tree')
         list#conjoint
-        (partial_list it))))
+        (list.partial it))))
 
 (def: family_tree
   (-> (java/lang/Class java/lang/Object)
@@ -1455,7 +1455,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 (partial_list method alternatives)])))))
+        (/////analysis.except ..too_many_candidates [actual_class_tvars class_name method_name actual_method_tvars inputsJT (list.partial method alternatives)])))))
 
 (def: constructor_method
   "<init>")
@@ -1527,7 +1527,7 @@
                             (not deprecated?))
          [outputT argsA] (inference.general archive analyse methodT (list#each product.right argsTC))
          outputJT (check_return outputT)]
-        (in {/////analysis.#Extension extension_name (partial_list (/////analysis.text (..signature (jvm.class class (list))))
+        (in {/////analysis.#Extension extension_name (list.partial (/////analysis.text (..signature (jvm.class class (list))))
                                                                    (/////analysis.text method)
                                                                    (/////analysis.text (..signature outputJT))
                                                                    (decorate_inputs argsT argsA))})))]))
@@ -1543,7 +1543,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 (partial_list objectC (list#each product.right argsTC)))
+         [outputT allA] (inference.general archive analyse methodT (list.partial objectC (list#each product.right argsTC)))
          .let [[objectA argsA] (case allA
                                  {.#Item objectA argsA}
                                  [objectA argsA]
@@ -1551,7 +1551,7 @@
                                  _
                                  (undefined))]
          outputJT (check_return outputT)]
-        (in {/////analysis.#Extension extension_name (partial_list (/////analysis.text (..signature (jvm.class class (list))))
+        (in {/////analysis.#Extension extension_name (list.partial (/////analysis.text (..signature (jvm.class class (list))))
                                                                    (/////analysis.text method)
                                                                    (/////analysis.text (..signature outputJT))
                                                                    objectA
@@ -1568,7 +1568,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 (partial_list objectC (list#each product.right argsTC)))
+         [outputT allA] (inference.general archive analyse methodT (list.partial objectC (list#each product.right argsTC)))
          .let [[objectA argsA] (case allA
                                  {.#Item objectA argsA}
                                  [objectA argsA]
@@ -1576,7 +1576,7 @@
                                  _
                                  (undefined))]
          outputJT (check_return outputT)]
-        (in {/////analysis.#Extension extension_name (partial_list (/////analysis.text (..signature (jvm.class class (list))))
+        (in {/////analysis.#Extension extension_name (list.partial (/////analysis.text (..signature (jvm.class class (list))))
                                                                    (/////analysis.text method)
                                                                    (/////analysis.text (..signature outputJT))
                                                                    objectA
@@ -1596,7 +1596,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 (partial_list objectC (list#each product.right argsTC)))
+         [outputT allA] (inference.general archive analyse methodT (list.partial objectC (list#each product.right argsTC)))
          .let [[objectA argsA] (case allA
                                  {.#Item objectA argsA}
                                  [objectA argsA]
@@ -1605,7 +1605,7 @@
                                  (undefined))]
          outputJT (check_return outputT)]
         (in {/////analysis.#Extension extension_name
-                                      (partial_list (/////analysis.text (..signature (jvm.class class_name (list))))
+                                      (list.partial (/////analysis.text (..signature (jvm.class class_name (list))))
                                                     (/////analysis.text method)
                                                     (/////analysis.text (..signature outputJT))
                                                     objectA
@@ -1623,7 +1623,7 @@
          _ (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 (partial_list (/////analysis.text (..signature (jvm.class class (list))))
+        (in {/////analysis.#Extension extension_name (list.partial (/////analysis.text (..signature (jvm.class class (list))))
                                                                    (decorate_inputs argsT argsA))})))]))
 
 (def: (bundle::member class_loader)
@@ -1672,7 +1672,7 @@
 
 (def: (annotation_analysis [name parameters])
   (-> (Annotation Analysis) Analysis)
-  (/////analysis.tuple (partial_list (/////analysis.text name)
+  (/////analysis.tuple (list.partial (/////analysis.text name)
                                      (list#each annotation_parameter_analysis parameters))))
 
 (with_template [<name> <category>]
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 39606222f..428ea1068 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,7 +154,7 @@
                                           (phase archive objectC))
          inputsA (monad.each ! (|>> (phase archive) (analysis/type.expecting Any)) inputsC)
          _ (analysis/type.inference .Any)]
-        (in {analysis.#Extension extension (partial_list (analysis.text methodC)
+        (in {analysis.#Extension extension (list.partial (analysis.text methodC)
                                                          objectA
                                                          inputsA)})))]))
 
@@ -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 (partial_list abstractionA inputsA)})))]))
+        (in {analysis.#Extension extension (list.partial 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 2a5ad85ad..5e402298a 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))))
-                 (partial_list input else)
+                 (list.partial 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 370fd5e18..5512587e7 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 (partial_list (analysis.text constructor) inputsA)})))]))
+        (in {analysis.#Extension extension (list.partial (analysis.text constructor) inputsA)})))]))
 
 (def: object::get
   Handler
@@ -156,7 +156,7 @@
                    (phase archive objectC))
          inputsA (monad.each ! (|>> (phase archive) (analysis/type.with_type Any)) inputsC)
          _ (analysis/type.infer .Any)]
-        (in {analysis.#Extension extension (partial_list (analysis.text methodC)
+        (in {analysis.#Extension extension (list.partial (analysis.text methodC)
                                                          objectA
                                                          inputsA)})))]))
 
@@ -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 (partial_list abstractionA inputsA)})))]))
+        (in {analysis.#Extension extension (list.partial 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 ad7212e3c..3defef9c9 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,7 +158,7 @@
                                           (phase archive objectC))
          inputsA (monad.each ! (|>> (phase archive) (analysis/type.expecting Any)) inputsC)
          _ (analysis/type.inference .Any)]
-        (in {analysis.#Extension extension (partial_list (analysis.text methodC)
+        (in {analysis.#Extension extension (list.partial (analysis.text methodC)
                                                          objectA
                                                          inputsA)})))]))
 
@@ -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 (partial_list abstractionA inputsA)})))]))
+        (in {analysis.#Extension extension (list.partial 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 75fbf2cae..4678fe9e1 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,7 +154,7 @@
                      (phase archive objectC))
          inputsA (monad.each ! (|>> (phase archive) (analysis/type.expecting Any)) inputsC)
          _ (analysis/type.inference .Any)]
-        (in {analysis.#Extension extension (partial_list (analysis.text methodC)
+        (in {analysis.#Extension extension (list.partial (analysis.text methodC)
                                                          objectA
                                                          inputsA)})))]))
 
@@ -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 (partial_list abstractionA inputsA)})))]))
+        (in {analysis.#Extension extension (list.partial 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 21268d749..e0ba7f433 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 (partial_list abstractionA inputsA)})))]))
+        (in {analysis.#Extension extension (list.partial 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 ff87daec1..43b1f0dbe 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 (partial_list super interfaces) method)
+                      (jvm.analyse_overriden_method analyse archive selfT mapping (list.partial 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 3bb78789c..2c640c1ed 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,7 +1230,7 @@
                                    (name.internal (..reflection super_class))
                                    (list#each (|>> ..reflection name.internal) super_interfaces)
                                    (foreign.variables total_environment)
-                                   (partial_list (..with_anonymous_init class total_environment super_class inputsTI)
+                                   (list.partial (..with_anonymous_init class total_environment super_class inputsTI)
                                                  methods!)
                                    (sequence.sequence)))
          .let [artifact [anonymous_class_name bytecode]]
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 422f9cd4d..449c84171 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
@@ -84,19 +84,19 @@
                                                 conditionals))
                   .let [foreigns (|> conditionals
                                      (list#each (|>> product.right synthesis.path/then //case.dependencies))
-                                     (partial_list (//case.dependencies (synthesis.path/then else)))
+                                     (list.partial (//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 (partial_list (_.parameter @input) (list#each _.reference foreigns))
+                        directive (_.define_function @expression (list.partial (_.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 (partial_list inputG foreigns) @expression))))]))
+                 (in (_.apply (list.partial 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 3e0aabf99..544430b22 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,7 +111,7 @@
      (-> _.Tag Bit Nat (Maybe (Expression Any)) (Expression Any))
      (.let [<failure_condition> (_.eq/2 [@variant @temp])]
        (_.let (list [@variant ..peek])
-         (partial_list (_.setq @temp (|> idx <prep> .int _.int (//runtime.sum//get @variant <flag>)))
+         (list.partial (_.setq @temp (|> idx <prep> .int _.int (//runtime.sum//get @variant <flag>)))
                        (.if simple?
                          (_.when <failure_condition>
                                  (_.go @fail))
@@ -255,7 +255,7 @@
                        (list#each (function (_ register)
                                     [(..register register)
                                      _.nil])))]]
-    (in (_.let (partial_list [@cursor (_.list/* (list initG))]
+    (in (_.let (list.partial [@cursor (_.list/* (list initG))]
                              [@savepoint (_.list/* (list))]
                              [@temp _.nil]
                              [$output _.nil]
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 619496a21..ca449f06b 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
@@ -53,7 +53,7 @@
                      (list#each (function (_ [idx init])
                                   [(|> idx (n.+ start) //case.register)
                                    init]))
-                     (partial_list [@output _.nil]))
+                     (list.partial [@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 28e90a032..e9f9b5800 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,13 +77,13 @@
                    (list#composite (/foreign.variables environment)
                                    (/partial.variables arity)))
         methods (is (List (Resource Method))
-                    (partial_list (/init.method classT environment arity)
+                    (list.partial (/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.partial (/implementation.method classT arity @begin body)))
                                     (list (/implementation.method classT arity @begin body)
                                           (/apply.method classT environment arity @begin body 1)))))]
     (do phase.monad
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 e7e970d87..5554117e6 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)
-                (partial_list :it: (list.repeated arity ////type.value))
+                (list.partial :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 32a1e4de8..c3cea9bf2 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)
-                                  (partial_list ///arity.type (..partials arity))
+                                  (list.partial ///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 13f09e66e..2bd75098b 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,7 +592,7 @@
                                                                (_.aload arity)
                                                                (_.invokevirtual //function.class ..apply::name (..apply::type //function/arity.minimum))
                                                                _.areturn))})))
-                           (partial_list (method.method (modifier#composite method.public method.abstract)
+                           (list.partial (method.method (modifier#composite method.public method.abstract)
                                                         ..apply::name
                                                         #0 (..apply::type //function/arity.minimum)
                                                         (list)
@@ -627,7 +627,7 @@
                                   {.#None}
                                   (name.internal (..reflection ^Object)) (list)
                                   (list partial_count)
-                                  (partial_list <init>::method apply::method+)
+                                  (list.partial <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 ff3335b50..f765d593e 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)
                                  (all _.then
-                                      (_.set! @selfL (_.closure (partial_list (_.reference @selfL) (list#each _.reference @inits))
+                                      (_.set! @selfL (_.closure (list.partial (_.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 1f79ef1d6..d8f9eae7c 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 (partial_list functionS argsS+))
+...     (pattern (list.partial 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 (partial_list tableS [_ {.#Text field}] argsS+))
+...     (pattern (list.partial 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 fcd14c576..218ece022 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
-            (partial_list <member> sub_members))
+            (list.partial <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 eeb412da4..778ba2900 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!" (partial_list input else matches)]})
+      (pattern {/.#Extension ["lux syntax char case!" (list.partial 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!" (partial_list input else matches)]}))
+          (in {/.#Extension ["lux syntax char case!" (list.partial input else matches)]}))
         {.#None})
 
       {/.#Extension [name args]}
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 160c23890..373696de2 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
@@ -138,7 +138,7 @@
               of_iteration (|> value
                                (the synthesis.#iteration)
                                references)]
-          (list#conjoint (partial_list of_iteration of_inits)))
+          (list#conjoint (list.partial of_iteration of_inits)))
         
         {synthesis.#Again value}
         (|> value
@@ -153,7 +153,7 @@
             references)
         
         {synthesis.#Apply function arguments}
-        (|> (partial_list function arguments)
+        (|> (list.partial function arguments)
             (list#each references)
             list#conjoint)))
     
@@ -207,7 +207,7 @@
                              [mandatory_dependencies
                               all_dependencies])
                   [(if mandatory?
-                     (partial_list artifact_id mandatory_dependencies)
+                     (list.partial 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 3c4b1abbb..3b0791c9d 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/packager/ruby.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/packager/ruby.lux
@@ -96,7 +96,7 @@
                               (is _.Statement)
                               _.code
                               (at utf8.codec encoded))]
-        (in (partial_list [module_id [(..module_file module_id) entry_content]]
+        (in (list.partial [module_id [(..module_file module_id) entry_content]]
                           sink))))))
 
 (def: .public main_file