From 3525998c8fa9768dfeb333c553ccd71f38ac5311 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Thu, 20 Oct 2022 15:11:05 -0400
Subject: Migrating default extensions to the new format [Part 3]

---
 stdlib/source/library/lux/data/text.lux            |  24 +-
 stdlib/source/library/lux/ffi.jvm.lux              | 328 +++++++++---------
 stdlib/source/library/lux/ffi/export.jvm.lux       |   7 +-
 stdlib/source/library/lux/math/number/frac.lux     |  10 +-
 .../language/lux/phase/extension/analysis/jvm.lux  | 314 ++++++++---------
 .../lux/phase/extension/declaration/jvm.lux        |   9 +-
 .../lux/phase/extension/generation/jvm/host.lux    | 384 ++++++++++-----------
 .../library/lux/meta/target/jvm/constant.lux       |   5 +-
 .../source/library/lux/meta/target/jvm/loader.lux  |   2 +-
 stdlib/source/library/lux/world/net/http.lux       |   6 +-
 .../source/library/lux/world/net/http/version.lux  |  42 ++-
 stdlib/source/library/lux/world/time/instant.lux   |   4 +-
 12 files changed, 547 insertions(+), 588 deletions(-)

(limited to 'stdlib/source/library')

diff --git a/stdlib/source/library/lux/data/text.lux b/stdlib/source/library/lux/data/text.lux
index e1ac2856b..2df34e163 100644
--- a/stdlib/source/library/lux/data/text.lux
+++ b/stdlib/source/library/lux/data/text.lux
@@ -229,10 +229,10 @@
               (as (Primitive "java.lang.CharSequence") replacement)))
          @.jvm
          (as Text
-             ("jvm member invoke virtual" [] "java.lang.String" "replace" []
-              (as (Primitive "java.lang.String") template)
-              ["Ljava/lang/CharSequence;" (as (Primitive "java.lang.CharSequence") pattern)]
-              ["Ljava/lang/CharSequence;" (as (Primitive "java.lang.CharSequence") replacement)]))
+             (.jvm_member_invoke_virtual# [] "java.lang.String" "replace" []
+                                          (as (Primitive "java.lang.String") template)
+                                          ["Ljava/lang/CharSequence;" (as (Primitive "java.lang.CharSequence") pattern)]
+                                          ["Ljava/lang/CharSequence;" (as (Primitive "java.lang.CharSequence") replacement)]))
          @.js
          ... TODO: Remove this when Nashorn is no longer being used.
          (..if_nashorn
@@ -283,7 +283,7 @@
   (Hash Text)
   (implementation
    (def equivalence ..equivalence)
-   
+
    (def (hash input)
      (for @.old
           (|> input
@@ -295,9 +295,9 @@
           @.jvm
           (|> input
               (as (Primitive "java.lang.Object"))
-              ("jvm member invoke virtual" [] "java.lang.Object" "hashCode" [])
-              "jvm conversion int-to-long"
-              "jvm object cast"
+              (.jvm_member_invoke_virtual# [] "java.lang.Object" "hashCode" [])
+              .jvm_conversion_int_to_long#
+              .jvm_object_cast#
               (is (Primitive "java.lang.Long"))
               (as Nat))
           ... Platform-independent default.
@@ -361,8 +361,8 @@
             (as (Primitive "java.lang.String") value)))
        @.jvm
        (as Text
-           ("jvm member invoke virtual" [] "java.lang.String" "toLowerCase" []
-            (as (Primitive "java.lang.String") value)))
+           (.jvm_member_invoke_virtual# [] "java.lang.String" "toLowerCase" []
+                                        (as (Primitive "java.lang.String") value)))
        @.js
        (as Text
            ("js object do" "toLowerCase" value []))
@@ -384,8 +384,8 @@
             (as (Primitive "java.lang.String") value)))
        @.jvm
        (as Text
-           ("jvm member invoke virtual" [] "java.lang.String" "toUpperCase" []
-            (as (Primitive "java.lang.String") value)))
+           (.jvm_member_invoke_virtual# [] "java.lang.String" "toUpperCase" []
+                                        (as (Primitive "java.lang.String") value)))
        @.js
        (as Text
            ("js object do" "toUpperCase" value []))
diff --git a/stdlib/source/library/lux/ffi.jvm.lux b/stdlib/source/library/lux/ffi.jvm.lux
index c585c45c7..0f704a0cb 100644
--- a/stdlib/source/library/lux/ffi.jvm.lux
+++ b/stdlib/source/library/lux/ffi.jvm.lux
@@ -92,16 +92,14 @@
 
 (def (get_static_field class field)
   (-> Text Text Code)
-  (` ("jvm member get static"
-      (, (code.text class))
-      (, (code.text field)))))
+  (` (.jvm_member_get_static# (, (code.text class))
+                              (, (code.text field)))))
 
 (def (get_virtual_field class field object)
   (-> Text Text Code Code)
-  (` ("jvm member get virtual"
-      (, (code.text class))
-      (, (code.text field))
-      (, object))))
+  (` (.jvm_member_get_virtual# (, (code.text class))
+                               (, (code.text field))
+                               (, object))))
 
 (def boxes
   (Dictionary (Type Value) Text)
@@ -121,7 +119,7 @@
      (let [unboxed (..reflection unboxed)]
        (` (|> (, raw)
               (.is (.Primitive (, (code.text <pre>))))
-              "jvm object cast"
+              .jvm_object_cast#
               (.is (.Primitive (, (code.text <post>))))))))]
 
   [unbox boxed unboxed]
@@ -133,40 +131,40 @@
      (template (<name> value)
        [(|> value
             (.is <from>)
-            "jvm object cast"
+            .jvm_object_cast#
             <op>
-            "jvm object cast"
+            .jvm_object_cast#
             (.is <to>))]))]
 
-  [byte_to_long    "jvm conversion byte-to-long"    ..Byte      ..Long]
+  [byte_to_long    .jvm_conversion_byte_to_long#    ..Byte      ..Long]
 
-  [short_to_long   "jvm conversion short-to-long"   ..Short     ..Long]
+  [short_to_long   .jvm_conversion_short_to_long#   ..Short     ..Long]
   
-  [double_to_int   "jvm conversion double-to-int"   ..Double    ..Integer]
-  [double_to_long  "jvm conversion double-to-long"  ..Double    ..Long]
-  [double_to_float "jvm conversion double-to-float" ..Double    ..Float]
+  [double_to_int   .jvm_conversion_double_to_int#   ..Double    ..Integer]
+  [double_to_long  .jvm_conversion_double_to_long#  ..Double    ..Long]
+  [double_to_float .jvm_conversion_double_to_float# ..Double    ..Float]
 
-  [float_to_int    "jvm conversion float-to-int"    ..Float     ..Integer]
-  [float_to_long   "jvm conversion float-to-long"   ..Float     ..Long]
-  [float_to_double "jvm conversion float-to-double" ..Float     ..Double]
+  [float_to_int    .jvm_conversion_float_to_int#    ..Float     ..Integer]
+  [float_to_long   .jvm_conversion_float_to_long#   ..Float     ..Long]
+  [float_to_double .jvm_conversion_float_to_double# ..Float     ..Double]
   
-  [int_to_byte     "jvm conversion int-to-byte"     ..Integer   ..Byte]
-  [int_to_short    "jvm conversion int-to-short"    ..Integer   ..Short]
-  [int_to_long     "jvm conversion int-to-long"     ..Integer   ..Long]
-  [int_to_float    "jvm conversion int-to-float"    ..Integer   ..Float]
-  [int_to_double   "jvm conversion int-to-double"   ..Integer   ..Double]
-  [int_to_char     "jvm conversion int-to-char"     ..Integer   ..Character]
-
-  [long_to_byte    "jvm conversion long-to-byte"    ..Long      ..Byte]
-  [long_to_short   "jvm conversion long-to-short"   ..Long      ..Short]
-  [long_to_int     "jvm conversion long-to-int"     ..Long      ..Integer]
-  [long_to_float   "jvm conversion long-to-float"   ..Long      ..Float]
-  [long_to_double  "jvm conversion long-to-double"  ..Long      ..Double]
-
-  [char_to_byte    "jvm conversion char-to-byte"    ..Character ..Byte]
-  [char_to_short   "jvm conversion char-to-short"   ..Character ..Short]
-  [char_to_int     "jvm conversion char-to-int"     ..Character ..Integer]
-  [char_to_long    "jvm conversion char-to-long"    ..Character ..Long]
+  [int_to_byte     .jvm_conversion_int_to_byte#     ..Integer   ..Byte]
+  [int_to_short    .jvm_conversion_int_to_short#    ..Integer   ..Short]
+  [int_to_long     .jvm_conversion_int_to_long#     ..Integer   ..Long]
+  [int_to_float    .jvm_conversion_int_to_float#    ..Integer   ..Float]
+  [int_to_double   .jvm_conversion_int_to_double#   ..Integer   ..Double]
+  [int_to_char     .jvm_conversion_int_to_char#     ..Integer   ..Character]
+
+  [long_to_byte    .jvm_conversion_long_to_byte#    ..Long      ..Byte]
+  [long_to_short   .jvm_conversion_long_to_short#   ..Long      ..Short]
+  [long_to_int     .jvm_conversion_long_to_int#     ..Long      ..Integer]
+  [long_to_float   .jvm_conversion_long_to_float#   ..Long      ..Float]
+  [long_to_double  .jvm_conversion_long_to_double#  ..Long      ..Double]
+
+  [char_to_byte    .jvm_conversion_char_to_byte#    ..Character ..Byte]
+  [char_to_short   .jvm_conversion_char_to_short#   ..Character ..Short]
+  [char_to_int     .jvm_conversion_char_to_int#     ..Character ..Integer]
+  [char_to_long    .jvm_conversion_char_to_long#    ..Character ..Long]
   )
 
 (with_template [<name> <from> <to> <0> <1>]
@@ -1043,16 +1041,15 @@
        .let [expected_arguments (list.size (the #method_inputs method))
              actual_arguments (list.size inputs)]]
       (if (n.= expected_arguments actual_arguments)
-        (in (list (` ("jvm member invoke special"
-                      [(,* (list#each (|>> ..signature code.text) super_vars))]
-                      (, (code.text super_name))
-                      (, (code.text (the #member_name member)))
-                      [(,* (list#each (|>> ..signature code.text) (the #method_tvars method)))]
-                      ("jvm object cast" (, self))
-                      (,* (|> inputs
-                              (list#each (|>> , "jvm object cast" `))
-                              (list.zipped_2 (the #method_inputs method))
-                              (list#each ..decorate_input)))))))
+        (in (list (` (.jvm_member_invoke_special# [(,* (list#each (|>> ..signature code.text) super_vars))]
+                                                  (, (code.text super_name))
+                                                  (, (code.text (the #member_name member)))
+                                                  [(,* (list#each (|>> ..signature code.text) (the #method_tvars method)))]
+                                                  (.jvm_object_cast# (, self))
+                                                  (,* (|> inputs
+                                                          (list#each (|>> , .jvm_object_cast# `))
+                                                          (list.zipped_2 (the #method_inputs method))
+                                                          (list#each ..decorate_input)))))))
         (meta.failure (exception.error ..insufficient_parameters [expected_arguments actual_arguments]))))))
 
 (.type Get|Set
@@ -1131,15 +1128,13 @@
         {.#Some [member {#VariableField _ static? :field:}]}
         (when [static? this]
           [.true {.#None}]
-          (in (list (` ("jvm member get static"
-                        (, (code.text class_name))
-                        (, (code.text (the #member_name member)))))))
+          (in (list (` (.jvm_member_get_static# (, (code.text class_name))
+                                                (, (code.text (the #member_name member)))))))
           
           [.false {.#Some this}]
-          (in (list (` ("jvm member get virtual"
-                        (, (code.text class_name))
-                        (, (code.text (the #member_name member)))
-                        (, this)))))
+          (in (list (` (.jvm_member_get_virtual# (, (code.text class_name))
+                                                 (, (code.text (the #member_name member)))
+                                                 (, this)))))
 
           _
           (meta.failure (exception.error ..cannot_get_field [class_name field])))
@@ -1166,17 +1161,15 @@
           _
           (when [static? this]
             [.true {.#None}]
-            (in (list (` ("jvm member put static"
-                          (, (code.text class_name))
-                          (, (code.text (the #member_name member)))
-                          (, value)))))
+            (in (list (` (.jvm_member_put_static# (, (code.text class_name))
+                                                  (, (code.text (the #member_name member)))
+                                                  (, value)))))
             
             [.false {.#Some this}]
-            (in (list (` ("jvm member put virtual"
-                          (, (code.text class_name))
-                          (, (code.text (the #member_name member)))
-                          (, value)
-                          (, this)))))
+            (in (list (` (.jvm_member_put_virtual# (, (code.text class_name))
+                                                   (, (code.text (the #member_name member)))
+                                                   (, value)
+                                                   (, this)))))
 
             _
             (meta.failure (exception.error ..cannot_set_field [class_name field]))))
@@ -1216,16 +1209,15 @@
         (let [expected_arguments (list.size (the #method_inputs method))
               actual_arguments (list.size inputs)]
           (if (n.= expected_arguments actual_arguments)
-            (in (list (` ("jvm member invoke virtual"
-                          [(,* (list#each (|>> ..signature code.text) class_vars))]
-                          (, (code.text class_name))
-                          (, (code.text (the #member_name member)))
-                          [(,* (list#each (|>> ..signature code.text) (the #method_tvars method)))]
-                          ("jvm object cast" (, self))
-                          (,* (|> inputs
-                                  (list#each (|>> , "jvm object cast" `))
-                                  (list.zipped_2 (the #method_inputs method))
-                                  (list#each ..decorate_input)))))))
+            (in (list (` (.jvm_member_invoke_virtual# [(,* (list#each (|>> ..signature code.text) class_vars))]
+                                                      (, (code.text class_name))
+                                                      (, (code.text (the #member_name member)))
+                                                      [(,* (list#each (|>> ..signature code.text) (the #method_tvars method)))]
+                                                      (.jvm_object_cast# (, self))
+                                                      (,* (|> inputs
+                                                              (list#each (|>> , .jvm_object_cast# `))
+                                                              (list.zipped_2 (the #method_inputs method))
+                                                              (list#each ..decorate_input)))))))
             (meta.failure (exception.error ..insufficient_parameters [expected_arguments actual_arguments]))))
 
         _
@@ -1369,14 +1361,13 @@
               methods (<>.some (..method_def^ class_vars))])
     (do meta.monad
       [methods (monad.each ! (method_def$ full_class_name class_vars super fields methods) methods)]
-      (in (list (` ("jvm class"
-                    (, (declaration$ (jvm.declaration full_class_name class_vars)))
-                    (, (class$ super))
-                    [(,* (list#each class$ interfaces))]
-                    (, (inheritance_modifier$ im))
-                    [(,* (list#each annotation$ annotations))]
-                    [(,* (list#each field_decl$ fields))]
-                    [(,* methods)])))))))
+      (in (list (` (.jvm_class# (, (declaration$ (jvm.declaration full_class_name class_vars)))
+                                (, (class$ super))
+                                [(,* (list#each class$ interfaces))]
+                                (, (inheritance_modifier$ im))
+                                [(,* (list#each annotation$ annotations))]
+                                [(,* (list#each field_decl$ fields))]
+                                [(,* methods)])))))))
 
 (def .public interface
   (syntax (_ [.let [! <>.monad]
@@ -1385,11 +1376,10 @@
                               (<code>.tuple (<>.some (class^ class_vars))))
               annotations ..annotations^
               members (<>.some (..method_decl^ class_vars))])
-    (in (list (` ("jvm class interface"
-                  (, (declaration$ (jvm.declaration full_class_name class_vars)))
-                  [(,* (list#each class$ supers))]
-                  [(,* (list#each annotation$ annotations))]
-                  (,* (list#each method_decl$ members))))))))
+    (in (list (` (.jvm_class_interface# (, (declaration$ (jvm.declaration full_class_name class_vars)))
+                                        [(,* (list#each class$ supers))]
+                                        [(,* (list#each annotation$ annotations))]
+                                        (,* (list#each method_decl$ members))))))))
 
 (def .public object
   (syntax (_ [class_vars ..vars^
@@ -1401,26 +1391,25 @@
               methods (<>.some ..overriden_method_def^)])
     (do [! meta.monad]
       [methods (monad.each ! (method_def$ "" (list) super (list) methods) methods)]
-      (in (list (` ("jvm class anonymous"
-                    [(,* (list#each var$ class_vars))]
-                    (, (class$ super))
-                    [(,* (list#each class$ interfaces))]
-                    [(,* (list#each constructor_arg$ constructor_args))]
-                    [(,* methods)])))))))
+      (in (list (` (.jvm_class_anonymous# [(,* (list#each var$ class_vars))]
+                                          (, (class$ super))
+                                          [(,* (list#each class$ interfaces))]
+                                          [(,* (list#each constructor_arg$ constructor_args))]
+                                          [(,* methods)])))))))
 
 (def .public null
   (syntax (_ [])
-    (in (list (` ("jvm object null"))))))
+    (in (list (` (.jvm_object_null#))))))
 
 (def .public (null? obj)
   (-> (.Primitive "java.lang.Object") Bit)
-  ("jvm object null?" obj))
+  (.jvm_object_null?# obj))
 
 (def .public ???
   (syntax (_ [expr <code>.any])
     (with_symbols [g!temp]
       (in (list (` (let [(, g!temp) (, expr)]
-                     (if (not ("jvm object null?" (, g!temp)))
+                     (if (not (.jvm_object_null?# (, g!temp)))
                        {.#Some (, g!temp)}
                        {.#None}))))))))
 
@@ -1432,7 +1421,7 @@
                      (, g!value)
 
                      {.#None}
-                     ("jvm object null"))))))))
+                     (.jvm_object_null#))))))))
 
 (def .public as
   (syntax (_ [class (..type^ (list))
@@ -1441,7 +1430,7 @@
       (let [class_name (..reflection class)
             class_type (` (.Primitive (, (code.text class_name))))
             check_type (` (.Maybe (, class_type)))
-            check_code (` (if ("jvm object instance?" (, (code.text class_name)) (, g!unchecked))
+            check_code (` (if (.jvm_object_instance?# (, (code.text class_name)) (, g!unchecked))
                             {.#Some (.as (, class_type)
                                          (, g!unchecked))}
                             {.#None}))]
@@ -1460,7 +1449,7 @@
 (def .public synchronized
   (syntax (_ [lock <code>.any
               body <code>.any])
-    (in (list (` ("jvm object synchronized" (, lock) (, body)))))))
+    (in (list (` (.jvm_object_synchronized# (, lock) (, body)))))))
 
 (def .public to
   (syntax (_ [obj <code>.any
@@ -1584,7 +1573,7 @@
                                                  ... else
                                                  [unboxed
                                                   (if <input?>
-                                                    (` ("jvm object cast" (, raw)))
+                                                    (` (.jvm_object_cast# (, raw)))
                                                     raw)
                                                   (list)]))))
            unboxed/boxed (when (dictionary.value unboxed ..boxes)
@@ -1683,13 +1672,12 @@
         [.let [classT (jvm.class full_name (list))
                def_name (code.symbol ["" (..import_name import_format method_prefix (the #import_member_alias commons))])
                jvm_interop (|> [classT
-                                (` ("jvm member invoke constructor"
-                                    [(,* (list#each ..var$ class_tvars))]
-                                    (, (code.text full_name))
-                                    [(,* (list#each ..var$ (the #import_member_tvars commons)))]
-                                    (,* (|> (jvm_invoke_inputs (the #import_member_mode commons) input_jvm_types arg_function_inputs)
-                                            (list.zipped_2 input_jvm_types)
-                                            (list#each ..decorate_input)))))]
+                                (` (.jvm_member_invoke_constructor# [(,* (list#each ..var$ class_tvars))]
+                                                                    (, (code.text full_name))
+                                                                    [(,* (list#each ..var$ (the #import_member_tvars commons)))]
+                                                                    (,* (|> (jvm_invoke_inputs (the #import_member_mode commons) input_jvm_types arg_function_inputs)
+                                                                            (list.zipped_2 input_jvm_types)
+                                                                            (list#each ..decorate_input)))))]
                                (with_automatic_output_conversion (the #import_member_mode commons))
                                (with_return_maybe member true classT)
                                (with_return_try member)
@@ -1704,25 +1692,25 @@
           [.let [def_name (code.symbol ["" (..import_name import_format method_prefix (the #import_member_alias commons))])
                  (open "[0]") commons
                  (open "[0]") method
-                 [jvm_op object_ast] (.is [Text (List Code)]
+                 [jvm_op object_ast] (.is [Code (List Code)]
                                           (when #import_member_kind
                                             {#StaticIMK}
-                                            ["jvm member invoke static"
+                                            [(` .jvm_member_invoke_static#)
                                              (list)]
 
                                             {#VirtualIMK}
                                             (when kind
                                               {#Class}
-                                              ["jvm member invoke virtual"
+                                              [(` .jvm_member_invoke_virtual#)
                                                (list g!obj)]
                                               
                                               {#Interface}
-                                              ["jvm member invoke interface"
+                                              [(` .jvm_member_invoke_interface#)
                                                (list g!obj)]
                                               )))
                  method_return (the #import_method_return method)
                  callC (.is Code
-                            (` ((, (code.text jvm_op))
+                            (` ((, jvm_op)
                                 [(,* (list#each ..var$ class_tvars))]
                                 (, (code.text full_name))
                                 (, (code.text #import_method_name))
@@ -1776,7 +1764,7 @@
                     setter_value (if _#import_field_maybe?
                                    (` (!!! (, setter_value)))
                                    setter_value)
-                    setter_command (if _#import_field_static? "jvm member put static" "jvm member put virtual")
+                    setter_command (if _#import_field_static? (` .jvm_member_put_static#) (` .jvm_member_put_virtual#))
                     g!obj+ (.is (List Code)
                                 (if _#import_field_static?
                                   (list)
@@ -1794,7 +1782,7 @@
                                   (` {.#Left [(, g!value)]})
                                   (` {.#Left [(, g!value) (, g!obj)]}))
                                 (if _#import_field_setter?
-                                  (` ((,' in) (.list (.` (io.io ((, (code.text setter_command))
+                                  (` ((,' in) (.list (.` (io.io ((, setter_command)
                                                                  (, (code.text full_name))
                                                                  (, (code.text _#import_field_name))
                                                                  (, setter_value)
@@ -1821,8 +1809,8 @@
 
 (def interface?
   (All (_ a) (-> (.Primitive "java.lang.Class" [a]) Bit))
-  (|>> ("jvm member invoke virtual" [] "java.lang.Class" "isInterface" [])
-       "jvm object cast"
+  (|>> (.jvm_member_invoke_virtual# [] "java.lang.Class" "isInterface" [])
+       .jvm_object_cast#
        (.is ..Boolean)
        (.as Bit)))
 
@@ -1830,7 +1818,7 @@
   (-> External (Try (.Primitive "java.lang.Class" [Any])))
   (|>> (.as (.Primitive "java.lang.String"))
        ["Ljava/lang/String;"]
-       ("jvm member invoke static" [] "java.lang.Class" "forName" [])
+       (.jvm_member_invoke_static# [] "java.lang.Class" "forName" [])
        try))
 
 (def (class_kind declaration)
@@ -1863,24 +1851,24 @@
     (let [g!size (` (|> (, size)
                         (.is .Nat)
                         (.as (.Primitive (, (code.text box.long))))
-                        "jvm object cast"
-                        "jvm conversion long-to-int"))]
+                        .jvm_object_cast#
+                        .jvm_conversion_long_to_int#))]
       (`` (cond (,, (with_template [<primitive> <array_op>]
                       [(at jvm.equivalence = <primitive> type)
                        (in (list (` (<array_op> (, g!size)))))]
 
-                      [jvm.boolean "jvm array new boolean"]
-                      [jvm.byte    "jvm array new byte"]
-                      [jvm.short   "jvm array new short"]
-                      [jvm.int     "jvm array new int"]
-                      [jvm.long    "jvm array new long"]
-                      [jvm.float   "jvm array new float"]
-                      [jvm.double  "jvm array new double"]
-                      [jvm.char    "jvm array new char"]))
+                      [jvm.boolean .jvm_array_new_boolean#]
+                      [jvm.byte    .jvm_array_new_byte#]
+                      [jvm.short   .jvm_array_new_short#]
+                      [jvm.int     .jvm_array_new_int#]
+                      [jvm.long    .jvm_array_new_long#]
+                      [jvm.float   .jvm_array_new_float#]
+                      [jvm.double  .jvm_array_new_double#]
+                      [jvm.char    .jvm_array_new_char#]))
                 ... else
                 (in (list (` (.as (array.Array (, (value_type {#ManualPrM} type)))
                                   (.is (, (value_type {#ManualPrM} (jvm.array type)))
-                                       ("jvm array new object" (, g!size))))))))))))
+                                       (.jvm_array_new_object# (, g!size))))))))))))
 
 (exception.def .public (cannot_convert_to_jvm_type type)
   (Exception .Type)
@@ -1994,26 +1982,26 @@
         [array_type (meta.type array_name)
          context meta.type_context
          array_jvm_type (lux_type->jvm_type context array_type)
-         .let [g!extension (code.text (`` (cond (,, (with_template [<primitive> <extension>]
-                                                      [(at jvm.equivalence =
-                                                           (jvm.array <primitive>)
-                                                           array_jvm_type)
-                                                       <extension>]
-
-                                                      [jvm.boolean "jvm array length boolean"]
-                                                      [jvm.byte "jvm array length byte"]
-                                                      [jvm.short "jvm array length short"]
-                                                      [jvm.int "jvm array length int"]
-                                                      [jvm.long "jvm array length long"]
-                                                      [jvm.float "jvm array length float"]
-                                                      [jvm.double "jvm array length double"]
-                                                      [jvm.char "jvm array length char"]))
-                                                
-                                                ... else
-                                                "jvm array length object")))]]
+         .let [g!extension (`` (cond (,, (with_template [<primitive> <extension>]
+                                           [(at jvm.equivalence =
+                                                (jvm.array <primitive>)
+                                                array_jvm_type)
+                                            (` <extension>)]
+
+                                           [jvm.boolean .jvm_array_length_boolean#]
+                                           [jvm.byte .jvm_array_length_byte#]
+                                           [jvm.short .jvm_array_length_short#]
+                                           [jvm.int .jvm_array_length_int#]
+                                           [jvm.long .jvm_array_length_long#]
+                                           [jvm.float .jvm_array_length_float#]
+                                           [jvm.double .jvm_array_length_double#]
+                                           [jvm.char .jvm_array_length_char#]))
+                                     
+                                     ... else
+                                     (` .jvm_array_length_object#)))]]
         (in (list (` (.|> ((, g!extension) (, array))
-                          "jvm conversion int-to-long"
-                          "jvm object cast"
+                          .jvm_conversion_int_to_long#
+                          .jvm_object_cast#
                           (.is (.Primitive (, (code.text box.long))))
                           (.as .Nat))))))
 
@@ -2034,27 +2022,27 @@
          .let [g!idx (` (.|> (, idx)
                              (.is .Nat)
                              (.as (.Primitive (, (code.text box.long))))
-                             "jvm object cast"
-                             "jvm conversion long-to-int"))]]
+                             .jvm_object_cast#
+                             .jvm_conversion_long_to_int#))]]
         (`` (cond (,, (with_template [<primitive> <extension> <box>]
                         [(at jvm.equivalence =
                              (jvm.array <primitive>)
                              array_jvm_type)
                          (in (list (` (.|> (<extension> (, g!idx) (, array))
-                                           "jvm object cast"
+                                           .jvm_object_cast#
                                            (.is (.Primitive (, (code.text <box>))))))))]
 
-                        [jvm.boolean "jvm array read boolean" box.boolean]
-                        [jvm.byte "jvm array read byte" box.byte]
-                        [jvm.short "jvm array read short" box.short]
-                        [jvm.int "jvm array read int" box.int]
-                        [jvm.long "jvm array read long" box.long]
-                        [jvm.float "jvm array read float" box.float]
-                        [jvm.double "jvm array read double" box.double]
-                        [jvm.char "jvm array read char" box.char]))
+                        [jvm.boolean .jvm_array_read_boolean# box.boolean]
+                        [jvm.byte .jvm_array_read_byte# box.byte]
+                        [jvm.short .jvm_array_read_short# box.short]
+                        [jvm.int .jvm_array_read_int# box.int]
+                        [jvm.long .jvm_array_read_long# box.long]
+                        [jvm.float .jvm_array_read_float# box.float]
+                        [jvm.double .jvm_array_read_double# box.double]
+                        [jvm.char .jvm_array_read_char# box.char]))
                   
                   ... else
-                  (in (list (` ("jvm array read object" (, g!idx) (, array))))))))
+                  (in (list (` (.jvm_array_read_object# (, g!idx) (, array))))))))
 
       _
       (with_symbols [g!array]
@@ -2074,28 +2062,28 @@
          .let [g!idx (` (.|> (, idx)
                              (.is .Nat)
                              (.as (.Primitive (, (code.text box.long))))
-                             "jvm object cast"
-                             "jvm conversion long-to-int"))]]
+                             .jvm_object_cast#
+                             .jvm_conversion_long_to_int#))]]
         (`` (cond (,, (with_template [<primitive> <extension> <box>]
                         [(at jvm.equivalence =
                              (jvm.array <primitive>)
                              array_jvm_type)
                          (let [g!value (` (.|> (, value)
                                                (.as (.Primitive (, (code.text <box>))))
-                                               "jvm object cast"))]
+                                               .jvm_object_cast#))]
                            (in (list (` (<extension> (, g!idx) (, g!value) (, array))))))]
 
-                        [jvm.boolean "jvm array write boolean" box.boolean]
-                        [jvm.byte "jvm array write byte" box.byte]
-                        [jvm.short "jvm array write short" box.short]
-                        [jvm.int "jvm array write int" box.int]
-                        [jvm.long "jvm array write long" box.long]
-                        [jvm.float "jvm array write float" box.float]
-                        [jvm.double "jvm array write double" box.double]
-                        [jvm.char "jvm array write char" box.char]))
+                        [jvm.boolean .jvm_array_write_boolean# box.boolean]
+                        [jvm.byte .jvm_array_write_byte# box.byte]
+                        [jvm.short .jvm_array_write_short# box.short]
+                        [jvm.int .jvm_array_write_int# box.int]
+                        [jvm.long .jvm_array_write_long# box.long]
+                        [jvm.float .jvm_array_write_float# box.float]
+                        [jvm.double .jvm_array_write_double# box.double]
+                        [jvm.char .jvm_array_write_char# box.char]))
                   
                   ... else
-                  (in (list (` ("jvm array write object" (, g!idx) (, value) (, array))))))))
+                  (in (list (` (.jvm_array_write_object# (, g!idx) (, value) (, array))))))))
 
       _
       (with_symbols [g!array]
@@ -2104,7 +2092,7 @@
 
 (def .public class_for
   (syntax (_ [type (..type^ (list))])
-    (in (list (` ("jvm object class" (, (code.text (..reflection type)))))))))
+    (in (list (` (.jvm_object_class# (, (code.text (..reflection type)))))))))
 
 (def .public type
   (syntax (_ [type (..type^ (list))])
@@ -2123,7 +2111,7 @@
            (parser.class? type)]
       (^.or [{.#Some _} _] [_ {.#Some _}])
       (in (list (` (.is (, (..value_type {#ManualPrM} type))
-                        ("jvm object cast" (, object))))))
+                        (.jvm_object_cast# (, object))))))
 
       _
       (meta.failure (exception.error ..cannot_cast_to_non_object [type])))))
diff --git a/stdlib/source/library/lux/ffi/export.jvm.lux b/stdlib/source/library/lux/ffi/export.jvm.lux
index af5ab079a..50f87df09 100644
--- a/stdlib/source/library/lux/ffi/export.jvm.lux
+++ b/stdlib/source/library/lux/ffi/export.jvm.lux
@@ -100,9 +100,8 @@
                      ("public" "strict" "static" [] ((,' <clinit>) [])
                       (,' void)
                       [(,* (list#each (.function (_ [name type term])
-                                        (` ("jvm member put static"
-                                            (, (code.text api))
-                                            (, (code.text name))
-                                            ("jvm object cast" (, term)))))
+                                        (` (.jvm_member_put_static# (, (code.text api))
+                                                                    (, (code.text name))
+                                                                    (.jvm_object_cast# (, term)))))
                                       initialization))])
                      )))))))
diff --git a/stdlib/source/library/lux/math/number/frac.lux b/stdlib/source/library/lux/math/number/frac.lux
index 80eacae5d..a25106d63 100644
--- a/stdlib/source/library/lux/math/number/frac.lux
+++ b/stdlib/source/library/lux/math/number/frac.lux
@@ -66,12 +66,12 @@
               (template (_ value)
                 [(|> value
                      (as (Primitive "java.lang.Double"))
-                     "jvm object cast")]))
+                     .jvm_object_cast#)]))
             
             (def !frac
               (template (_ value)
                 [(|> value
-                     "jvm object cast"
+                     .jvm_object_cast#
                      (is (Primitive "java.lang.Double"))
                      (as Frac))]))
             
@@ -80,7 +80,7 @@
                  (-> Frac Frac)
                  (|>> !double
                       ["D"]
-                      ("jvm member invoke static" [] "java.lang.Math" <method> [])
+                      (.jvm_member_invoke_static# [] "java.lang.Math" <method> [])
                       !frac))]
 
               [cos    "cos"]
@@ -103,8 +103,8 @@
             
             (def .public (pow param subject)
               (-> Frac Frac Frac)
-              (|> ("jvm member invoke static" [] "java.lang.Math" "pow" []
-                   ["D" (!double subject)] ["D" (!double param)])
+              (|> (.jvm_member_invoke_static# [] "java.lang.Math" "pow" []
+                                              ["D" (!double subject)] ["D" (!double param)])
                   !frac)))
 
      @.js
diff --git a/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/analysis/jvm.lux b/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/analysis/jvm.lux
index d9c81c517..4b118d972 100644
--- a/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/analysis/jvm.lux
+++ b/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/analysis/jvm.lux
@@ -298,84 +298,79 @@
   [unknown_type_var]
   )
 
-(def bundle::conversion
-  Bundle
-  (<| (///bundle.prefix "conversion")
-      (|> ///bundle.empty
-          (///bundle.install "double-to-float" (//lux.unary ..double ..float))
-          (///bundle.install "double-to-int" (//lux.unary ..double ..int))
-          (///bundle.install "double-to-long" (//lux.unary ..double ..long))
-          (///bundle.install "float-to-double" (//lux.unary ..float ..double))
-          (///bundle.install "float-to-int" (//lux.unary ..float ..int))
-          (///bundle.install "float-to-long" (//lux.unary ..float ..long))
-          (///bundle.install "int-to-byte" (//lux.unary ..int ..byte))
-          (///bundle.install "int-to-char" (//lux.unary ..int ..char))
-          (///bundle.install "int-to-double" (//lux.unary ..int ..double))
-          (///bundle.install "int-to-float" (//lux.unary ..int ..float))
-          (///bundle.install "int-to-long" (//lux.unary ..int ..long))
-          (///bundle.install "int-to-short" (//lux.unary ..int ..short))
-          (///bundle.install "long-to-double" (//lux.unary ..long ..double))
-          (///bundle.install "long-to-float" (//lux.unary ..long ..float))
-          (///bundle.install "long-to-int" (//lux.unary ..long ..int))
-          (///bundle.install "long-to-short" (//lux.unary ..long ..short))
-          (///bundle.install "long-to-byte" (//lux.unary ..long ..byte))
-          (///bundle.install "char-to-byte" (//lux.unary ..char ..byte))
-          (///bundle.install "char-to-short" (//lux.unary ..char ..short))
-          (///bundle.install "char-to-int" (//lux.unary ..char ..int))
-          (///bundle.install "char-to-long" (//lux.unary ..char ..long))
-          (///bundle.install "byte-to-long" (//lux.unary ..byte ..long))
-          (///bundle.install "short-to-long" (//lux.unary ..short ..long))
-          )))
+(def with_conversion_extensions
+  (-> Bundle Bundle)
+  (|>> (///bundle.install "jvm_conversion_double_to_float#" (//lux.unary ..double ..float))
+       (///bundle.install "jvm_conversion_double_to_int#" (//lux.unary ..double ..int))
+       (///bundle.install "jvm_conversion_double_to_long#" (//lux.unary ..double ..long))
+       (///bundle.install "jvm_conversion_float_to_double#" (//lux.unary ..float ..double))
+       (///bundle.install "jvm_conversion_float_to_int#" (//lux.unary ..float ..int))
+       (///bundle.install "jvm_conversion_float_to_long#" (//lux.unary ..float ..long))
+       (///bundle.install "jvm_conversion_int_to_byte#" (//lux.unary ..int ..byte))
+       (///bundle.install "jvm_conversion_int_to_char#" (//lux.unary ..int ..char))
+       (///bundle.install "jvm_conversion_int_to_double#" (//lux.unary ..int ..double))
+       (///bundle.install "jvm_conversion_int_to_float#" (//lux.unary ..int ..float))
+       (///bundle.install "jvm_conversion_int_to_long#" (//lux.unary ..int ..long))
+       (///bundle.install "jvm_conversion_int_to_short#" (//lux.unary ..int ..short))
+       (///bundle.install "jvm_conversion_long_to_double#" (//lux.unary ..long ..double))
+       (///bundle.install "jvm_conversion_long_to_float#" (//lux.unary ..long ..float))
+       (///bundle.install "jvm_conversion_long_to_int#" (//lux.unary ..long ..int))
+       (///bundle.install "jvm_conversion_long_to_short#" (//lux.unary ..long ..short))
+       (///bundle.install "jvm_conversion_long_to_byte#" (//lux.unary ..long ..byte))
+       (///bundle.install "jvm_conversion_char_to_byte#" (//lux.unary ..char ..byte))
+       (///bundle.install "jvm_conversion_char_to_short#" (//lux.unary ..char ..short))
+       (///bundle.install "jvm_conversion_char_to_int#" (//lux.unary ..char ..int))
+       (///bundle.install "jvm_conversion_char_to_long#" (//lux.unary ..char ..long))
+       (///bundle.install "jvm_conversion_byte_to_long#" (//lux.unary ..byte ..long))
+       (///bundle.install "jvm_conversion_short_to_long#" (//lux.unary ..short ..long))
+       ))
 
 (with_template [<name> <prefix> <type>]
   [(def <name>
-     Bundle
-     (<| (///bundle.prefix (reflection.reflection <prefix>))
-         (|> ///bundle.empty
-             (///bundle.install "+" (//lux.binary <type> <type> <type>))
-             (///bundle.install "-" (//lux.binary <type> <type> <type>))
-             (///bundle.install "*" (//lux.binary <type> <type> <type>))
-             (///bundle.install "/" (//lux.binary <type> <type> <type>))
-             (///bundle.install "%" (//lux.binary <type> <type> <type>))
-             (///bundle.install "=" (//lux.binary <type> <type> Bit))
-             (///bundle.install "<" (//lux.binary <type> <type> Bit))
-             (///bundle.install "and" (//lux.binary <type> <type> <type>))
-             (///bundle.install "or" (//lux.binary <type> <type> <type>))
-             (///bundle.install "xor" (//lux.binary <type> <type> <type>))
-             (///bundle.install "shl" (//lux.binary ..int <type> <type>))
-             (///bundle.install "shr" (//lux.binary ..int <type> <type>))
-             (///bundle.install "ushr" (//lux.binary ..int <type> <type>))
-             )))]
-
-  [bundle::int  reflection.int  ..int]
-  [bundle::long reflection.long ..long]
+     (-> Bundle Bundle)
+     (let [type (reflection.reflection <prefix>)]
+       (|>> (///bundle.install (%.format "jvm_" type "_" "+" "#") (//lux.binary <type> <type> <type>))
+            (///bundle.install (%.format "jvm_" type "_" "-" "#") (//lux.binary <type> <type> <type>))
+            (///bundle.install (%.format "jvm_" type "_" "*" "#") (//lux.binary <type> <type> <type>))
+            (///bundle.install (%.format "jvm_" type "_" "/" "#") (//lux.binary <type> <type> <type>))
+            (///bundle.install (%.format "jvm_" type "_" "%" "#") (//lux.binary <type> <type> <type>))
+            (///bundle.install (%.format "jvm_" type "_" "=" "#") (//lux.binary <type> <type> Bit))
+            (///bundle.install (%.format "jvm_" type "_" "<" "#") (//lux.binary <type> <type> Bit))
+            (///bundle.install (%.format "jvm_" type "_" "and" "#") (//lux.binary <type> <type> <type>))
+            (///bundle.install (%.format "jvm_" type "_" "or" "#") (//lux.binary <type> <type> <type>))
+            (///bundle.install (%.format "jvm_" type "_" "xor" "#") (//lux.binary <type> <type> <type>))
+            (///bundle.install (%.format "jvm_" type "_" "shl" "#") (//lux.binary ..int <type> <type>))
+            (///bundle.install (%.format "jvm_" type "_" "shr" "#") (//lux.binary ..int <type> <type>))
+            (///bundle.install (%.format "jvm_" type "_" "ushr" "#") (//lux.binary ..int <type> <type>))
+            )))]
+
+  [with_int_extensions  reflection.int  ..int]
+  [with_long_extensions reflection.long ..long]
   )
 
 (with_template [<name> <prefix> <type>]
   [(def <name>
-     Bundle
-     (<| (///bundle.prefix (reflection.reflection <prefix>))
-         (|> ///bundle.empty
-             (///bundle.install "+" (//lux.binary <type> <type> <type>))
-             (///bundle.install "-" (//lux.binary <type> <type> <type>))
-             (///bundle.install "*" (//lux.binary <type> <type> <type>))
-             (///bundle.install "/" (//lux.binary <type> <type> <type>))
-             (///bundle.install "%" (//lux.binary <type> <type> <type>))
-             (///bundle.install "=" (//lux.binary <type> <type> Bit))
-             (///bundle.install "<" (//lux.binary <type> <type> Bit))
-             )))]
-
-  [bundle::float  reflection.float  ..float]
-  [bundle::double reflection.double ..double]
+     (-> Bundle Bundle)
+     (let [type (reflection.reflection <prefix>)]
+       (|>> (///bundle.install (%.format "jvm_" type "_" "+" "#") (//lux.binary <type> <type> <type>))
+            (///bundle.install (%.format "jvm_" type "_" "-" "#") (//lux.binary <type> <type> <type>))
+            (///bundle.install (%.format "jvm_" type "_" "*" "#") (//lux.binary <type> <type> <type>))
+            (///bundle.install (%.format "jvm_" type "_" "/" "#") (//lux.binary <type> <type> <type>))
+            (///bundle.install (%.format "jvm_" type "_" "%" "#") (//lux.binary <type> <type> <type>))
+            (///bundle.install (%.format "jvm_" type "_" "=" "#") (//lux.binary <type> <type> Bit))
+            (///bundle.install (%.format "jvm_" type "_" "<" "#") (//lux.binary <type> <type> Bit))
+            )))]
+
+  [with_float_extensions  reflection.float  ..float]
+  [with_double_extensions reflection.double ..double]
   )
 
-(def bundle::char
-  Bundle
-  (<| (///bundle.prefix (reflection.reflection reflection.char))
-      (|> ///bundle.empty
-          (///bundle.install "=" (//lux.binary ..char ..char Bit))
-          (///bundle.install "<" (//lux.binary ..char ..char Bit))
-          )))
+(def with_char_extensions
+  (-> Bundle Bundle)
+  (let [type (reflection.reflection reflection.char)]
+    (|>> (///bundle.install (%.format "jvm_" type "_" "=" "#") (//lux.binary ..char ..char Bit))
+         (///bundle.install (%.format "jvm_" type "_" "<" "#") (//lux.binary ..char ..char Bit))
+         )))
 
 (def .public boxes
   (Dictionary External [External (Type Primitive)])
@@ -791,55 +786,48 @@
       _
       (/////analysis.except ///.incorrect_arity [extension_name 3 (list.size args)]))))
 
-(def bundle::array
-  Bundle
-  (<| (///bundle.prefix "array")
-      (|> ///bundle.empty
-          (dictionary.composite (<| (///bundle.prefix "length")
-                                    (|> ///bundle.empty
-                                        (///bundle.install (reflection.reflection reflection.boolean) (primitive_array_length_handler jvm.boolean))
-                                        (///bundle.install (reflection.reflection reflection.byte) (primitive_array_length_handler jvm.byte))
-                                        (///bundle.install (reflection.reflection reflection.short) (primitive_array_length_handler jvm.short))
-                                        (///bundle.install (reflection.reflection reflection.int) (primitive_array_length_handler jvm.int))
-                                        (///bundle.install (reflection.reflection reflection.long) (primitive_array_length_handler jvm.long))
-                                        (///bundle.install (reflection.reflection reflection.float) (primitive_array_length_handler jvm.float))
-                                        (///bundle.install (reflection.reflection reflection.double) (primitive_array_length_handler jvm.double))
-                                        (///bundle.install (reflection.reflection reflection.char) (primitive_array_length_handler jvm.char))
-                                        (///bundle.install "object" array::length::object))))
-          (dictionary.composite (<| (///bundle.prefix "new")
-                                    (|> ///bundle.empty
-                                        (///bundle.install (reflection.reflection reflection.boolean) (new_primitive_array_handler jvm.boolean))
-                                        (///bundle.install (reflection.reflection reflection.byte) (new_primitive_array_handler jvm.byte))
-                                        (///bundle.install (reflection.reflection reflection.short) (new_primitive_array_handler jvm.short))
-                                        (///bundle.install (reflection.reflection reflection.int) (new_primitive_array_handler jvm.int))
-                                        (///bundle.install (reflection.reflection reflection.long) (new_primitive_array_handler jvm.long))
-                                        (///bundle.install (reflection.reflection reflection.float) (new_primitive_array_handler jvm.float))
-                                        (///bundle.install (reflection.reflection reflection.double) (new_primitive_array_handler jvm.double))
-                                        (///bundle.install (reflection.reflection reflection.char) (new_primitive_array_handler jvm.char))
-                                        (///bundle.install "object" array::new::object))))
-          (dictionary.composite (<| (///bundle.prefix "read")
-                                    (|> ///bundle.empty
-                                        (///bundle.install (reflection.reflection reflection.boolean) (read_primitive_array_handler ..boolean jvm.boolean))
-                                        (///bundle.install (reflection.reflection reflection.byte) (read_primitive_array_handler ..byte jvm.byte))
-                                        (///bundle.install (reflection.reflection reflection.short) (read_primitive_array_handler ..short jvm.short))
-                                        (///bundle.install (reflection.reflection reflection.int) (read_primitive_array_handler ..int jvm.int))
-                                        (///bundle.install (reflection.reflection reflection.long) (read_primitive_array_handler ..long jvm.long))
-                                        (///bundle.install (reflection.reflection reflection.float) (read_primitive_array_handler ..float jvm.float))
-                                        (///bundle.install (reflection.reflection reflection.double) (read_primitive_array_handler ..double jvm.double))
-                                        (///bundle.install (reflection.reflection reflection.char) (read_primitive_array_handler ..char jvm.char))
-                                        (///bundle.install "object" array::read::object))))
-          (dictionary.composite (<| (///bundle.prefix "write")
-                                    (|> ///bundle.empty
-                                        (///bundle.install (reflection.reflection reflection.boolean) (write_primitive_array_handler ..boolean jvm.boolean))
-                                        (///bundle.install (reflection.reflection reflection.byte) (write_primitive_array_handler ..byte jvm.byte))
-                                        (///bundle.install (reflection.reflection reflection.short) (write_primitive_array_handler ..short jvm.short))
-                                        (///bundle.install (reflection.reflection reflection.int) (write_primitive_array_handler ..int jvm.int))
-                                        (///bundle.install (reflection.reflection reflection.long) (write_primitive_array_handler ..long jvm.long))
-                                        (///bundle.install (reflection.reflection reflection.float) (write_primitive_array_handler ..float jvm.float))
-                                        (///bundle.install (reflection.reflection reflection.double) (write_primitive_array_handler ..double jvm.double))
-                                        (///bundle.install (reflection.reflection reflection.char) (write_primitive_array_handler ..char jvm.char))
-                                        (///bundle.install "object" array::write::object))))
-          )))
+(def with_array_extensions
+  (-> Bundle Bundle)
+  (|>> (///bundle.install (%.format "jvm_" "array_" "length_" (reflection.reflection reflection.boolean) "#") (primitive_array_length_handler jvm.boolean))
+       (///bundle.install (%.format "jvm_" "array_" "length_" (reflection.reflection reflection.byte) "#") (primitive_array_length_handler jvm.byte))
+       (///bundle.install (%.format "jvm_" "array_" "length_" (reflection.reflection reflection.short) "#") (primitive_array_length_handler jvm.short))
+       (///bundle.install (%.format "jvm_" "array_" "length_" (reflection.reflection reflection.int) "#") (primitive_array_length_handler jvm.int))
+       (///bundle.install (%.format "jvm_" "array_" "length_" (reflection.reflection reflection.long) "#") (primitive_array_length_handler jvm.long))
+       (///bundle.install (%.format "jvm_" "array_" "length_" (reflection.reflection reflection.float) "#") (primitive_array_length_handler jvm.float))
+       (///bundle.install (%.format "jvm_" "array_" "length_" (reflection.reflection reflection.double) "#") (primitive_array_length_handler jvm.double))
+       (///bundle.install (%.format "jvm_" "array_" "length_" (reflection.reflection reflection.char) "#") (primitive_array_length_handler jvm.char))
+       (///bundle.install (%.format "jvm_" "array_" "length_" "object" "#") array::length::object)
+
+       (///bundle.install (%.format "jvm_" "array_" "new_" (reflection.reflection reflection.boolean) "#") (new_primitive_array_handler jvm.boolean))
+       (///bundle.install (%.format "jvm_" "array_" "new_" (reflection.reflection reflection.byte) "#") (new_primitive_array_handler jvm.byte))
+       (///bundle.install (%.format "jvm_" "array_" "new_" (reflection.reflection reflection.short) "#") (new_primitive_array_handler jvm.short))
+       (///bundle.install (%.format "jvm_" "array_" "new_" (reflection.reflection reflection.int) "#") (new_primitive_array_handler jvm.int))
+       (///bundle.install (%.format "jvm_" "array_" "new_" (reflection.reflection reflection.long) "#") (new_primitive_array_handler jvm.long))
+       (///bundle.install (%.format "jvm_" "array_" "new_" (reflection.reflection reflection.float) "#") (new_primitive_array_handler jvm.float))
+       (///bundle.install (%.format "jvm_" "array_" "new_" (reflection.reflection reflection.double) "#") (new_primitive_array_handler jvm.double))
+       (///bundle.install (%.format "jvm_" "array_" "new_" (reflection.reflection reflection.char) "#") (new_primitive_array_handler jvm.char))
+       (///bundle.install (%.format "jvm_" "array_" "new_" "object" "#") array::new::object)
+
+       (///bundle.install (%.format "jvm_" "array_" "read_" (reflection.reflection reflection.boolean) "#") (read_primitive_array_handler ..boolean jvm.boolean))
+       (///bundle.install (%.format "jvm_" "array_" "read_" (reflection.reflection reflection.byte) "#") (read_primitive_array_handler ..byte jvm.byte))
+       (///bundle.install (%.format "jvm_" "array_" "read_" (reflection.reflection reflection.short) "#") (read_primitive_array_handler ..short jvm.short))
+       (///bundle.install (%.format "jvm_" "array_" "read_" (reflection.reflection reflection.int) "#") (read_primitive_array_handler ..int jvm.int))
+       (///bundle.install (%.format "jvm_" "array_" "read_" (reflection.reflection reflection.long) "#") (read_primitive_array_handler ..long jvm.long))
+       (///bundle.install (%.format "jvm_" "array_" "read_" (reflection.reflection reflection.float) "#") (read_primitive_array_handler ..float jvm.float))
+       (///bundle.install (%.format "jvm_" "array_" "read_" (reflection.reflection reflection.double) "#") (read_primitive_array_handler ..double jvm.double))
+       (///bundle.install (%.format "jvm_" "array_" "read_" (reflection.reflection reflection.char) "#") (read_primitive_array_handler ..char jvm.char))
+       (///bundle.install (%.format "jvm_" "array_" "read_" "object" "#") array::read::object)
+
+       (///bundle.install (%.format "jvm_" "array_" "write_" (reflection.reflection reflection.boolean) "#") (write_primitive_array_handler ..boolean jvm.boolean))
+       (///bundle.install (%.format "jvm_" "array_" "write_" (reflection.reflection reflection.byte) "#") (write_primitive_array_handler ..byte jvm.byte))
+       (///bundle.install (%.format "jvm_" "array_" "write_" (reflection.reflection reflection.short) "#") (write_primitive_array_handler ..short jvm.short))
+       (///bundle.install (%.format "jvm_" "array_" "write_" (reflection.reflection reflection.int) "#") (write_primitive_array_handler ..int jvm.int))
+       (///bundle.install (%.format "jvm_" "array_" "write_" (reflection.reflection reflection.long) "#") (write_primitive_array_handler ..long jvm.long))
+       (///bundle.install (%.format "jvm_" "array_" "write_" (reflection.reflection reflection.float) "#") (write_primitive_array_handler ..float jvm.float))
+       (///bundle.install (%.format "jvm_" "array_" "write_" (reflection.reflection reflection.double) "#") (write_primitive_array_handler ..double jvm.double))
+       (///bundle.install (%.format "jvm_" "array_" "write_" (reflection.reflection reflection.char) "#") (write_primitive_array_handler ..char jvm.char))
+       (///bundle.install (%.format "jvm_" "array_" "write_" "object" "#") array::write::object)
+       ))
 
 (def object::null
   Handler
@@ -1041,18 +1029,16 @@
       _
       (/////analysis.except ///.invalid_syntax [extension_name %.code args]))))
 
-(def (bundle::object class_loader)
-  (-> java/lang/ClassLoader Bundle)
-  (<| (///bundle.prefix "object")
-      (|> ///bundle.empty
-          (///bundle.install "null" object::null)
-          (///bundle.install "null?" object::null?)
-          (///bundle.install "synchronized" object::synchronized)
-          (///bundle.install "throw" (object::throw class_loader))
-          (///bundle.install "class" (object::class class_loader))
-          (///bundle.install "instance?" (object::instance? class_loader))
-          (///bundle.install "cast" (object::cast class_loader))
-          )))
+(def (with_object_extensions class_loader)
+  (-> java/lang/ClassLoader (-> Bundle Bundle))
+  (|>> (///bundle.install (%.format "jvm_" "object_" "null" "#") object::null)
+       (///bundle.install (%.format "jvm_" "object_" "null?" "#") object::null?)
+       (///bundle.install (%.format "jvm_" "object_" "synchronized" "#") object::synchronized)
+       (///bundle.install (%.format "jvm_" "object_" "throw" "#") (object::throw class_loader))
+       (///bundle.install (%.format "jvm_" "object_" "class" "#") (object::class class_loader))
+       (///bundle.install (%.format "jvm_" "object_" "instance?" "#") (object::instance? class_loader))
+       (///bundle.install (%.format "jvm_" "object_" "cast" "#") (object::cast class_loader))
+       ))
 
 (def (get::static class_loader)
   (-> java/lang/ClassLoader Handler)
@@ -1636,27 +1622,20 @@
                                       (list.partial (/////analysis.text (..signature (jvm.class class (list))))
                                                     (decorate_inputs argsT argsA))})))]))
 
-(def (bundle::member class_loader)
-  (-> java/lang/ClassLoader Bundle)
-  (<| (///bundle.prefix "member")
-      (|> ///bundle.empty
-          (dictionary.composite (<| (///bundle.prefix "get")
-                                    (|> ///bundle.empty
-                                        (///bundle.install "static" (get::static class_loader))
-                                        (///bundle.install "virtual" (get::virtual class_loader)))))
-          (dictionary.composite (<| (///bundle.prefix "put")
-                                    (|> ///bundle.empty
-                                        (///bundle.install "static" (put::static class_loader))
-                                        (///bundle.install "virtual" (put::virtual class_loader)))))
-          (dictionary.composite (<| (///bundle.prefix "invoke")
-                                    (|> ///bundle.empty
-                                        (///bundle.install "static" (invoke::static class_loader))
-                                        (///bundle.install "virtual" (invoke::virtual class_loader))
-                                        (///bundle.install "special" (invoke::special class_loader))
-                                        (///bundle.install "interface" (invoke::interface class_loader))
-                                        (///bundle.install "constructor" (invoke::constructor class_loader))
-                                        )))
-          )))
+(def (with_member_extensions class_loader)
+  (-> java/lang/ClassLoader (-> Bundle Bundle))
+  (|>> (///bundle.install "jvm_member_get_static#" (get::static class_loader))
+       (///bundle.install "jvm_member_get_virtual#" (get::virtual class_loader))
+       
+       (///bundle.install "jvm_member_put_static#" (put::static class_loader))
+       (///bundle.install "jvm_member_put_virtual#" (put::virtual class_loader))
+       
+       (///bundle.install "jvm_member_invoke_static#" (invoke::static class_loader))
+       (///bundle.install "jvm_member_invoke_virtual#" (invoke::virtual class_loader))
+       (///bundle.install "jvm_member_invoke_special#" (invoke::special class_loader))
+       (///bundle.install "jvm_member_invoke_interface#" (invoke::interface class_loader))
+       (///bundle.install "jvm_member_invoke_constructor#" (invoke::constructor class_loader))
+       ))
 
 (.type .public (Annotation_Parameter a)
   [Text a])
@@ -2734,25 +2713,20 @@
                                             (/////analysis.tuple (list#each typed_analysis constructor_argsA+))
                                             (/////analysis.tuple methodsA))})))]))
 
-(def (bundle::class class_loader host)
-  (-> java/lang/ClassLoader runtime.Host Bundle)
-  (<| (///bundle.prefix "class")
-      (|> ///bundle.empty
-          (///bundle.install "anonymous" (class::anonymous class_loader host))
-          )))
+(def (with_class_extensions class_loader host)
+  (-> java/lang/ClassLoader runtime.Host (-> Bundle Bundle))
+  (///bundle.install (%.format "jvm_" "class_" "anonymous" "#") (class::anonymous class_loader host)))
 
 (def .public (bundle class_loader host)
   (-> java/lang/ClassLoader runtime.Host Bundle)
-  (<| (///bundle.prefix "jvm")
-      (|> ///bundle.empty
-          (dictionary.composite bundle::conversion)
-          (dictionary.composite bundle::int)
-          (dictionary.composite bundle::long)
-          (dictionary.composite bundle::float)
-          (dictionary.composite bundle::double)
-          (dictionary.composite bundle::char)
-          (dictionary.composite bundle::array)
-          (dictionary.composite (bundle::object class_loader))
-          (dictionary.composite (bundle::member class_loader))
-          (dictionary.composite (bundle::class class_loader host))
-          )))
+  (<| with_conversion_extensions
+      with_int_extensions
+      with_long_extensions
+      with_float_extensions
+      with_double_extensions
+      with_char_extensions
+      with_array_extensions
+      (with_object_extensions class_loader)
+      (with_member_extensions class_loader)
+      (with_class_extensions class_loader host)
+      ///bundle.empty))
diff --git a/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/declaration/jvm.lux b/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/declaration/jvm.lux
index 02f45f8e9..f32eabad5 100644
--- a/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/declaration/jvm.lux
+++ b/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/declaration/jvm.lux
@@ -970,8 +970,7 @@
 
 (def .public (bundle class_loader extender)
   (-> java/lang/ClassLoader Extender (Bundle Anchor (Bytecode Any) Definition))
-  (<| (bundle.prefix "jvm")
-      (|> bundle.empty
-          (dictionary.has "class" jvm::class)
-          (dictionary.has "class interface" ..jvm::class::interface)
-          )))
+  (|> bundle.empty
+      (dictionary.has (%.format "jvm_" "class" "#") jvm::class)
+      (dictionary.has (%.format "jvm_" "class_" "interface" "#") ..jvm::class::interface)
+      ))
diff --git a/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/generation/jvm/host.lux b/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/generation/jvm/host.lux
index f74e4c823..18981ce1c 100644
--- a/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/generation/jvm/host.lux
+++ b/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/generation/jvm/host.lux
@@ -134,41 +134,39 @@
   [_.i2l conversion::short_to_long]
   )
 
-(def bundle::conversion
-  Bundle
-  (<| (/////bundle.prefix "conversion")
-      (|> (is Bundle /////bundle.empty)
-          (/////bundle.install "double-to-float|generation" (unary conversion::double_to_float))
-          (/////bundle.install "double-to-int|generation" (unary conversion::double_to_int))
-          (/////bundle.install "double-to-long|generation" (unary conversion::double_to_long))
-          
-          (/////bundle.install "float-to-double|generation" (unary conversion::float_to_double))
-          (/////bundle.install "float-to-int|generation" (unary conversion::float_to_int))
-          (/////bundle.install "float-to-long|generation" (unary conversion::float_to_long))
-          
-          (/////bundle.install "int-to-byte|generation" (unary conversion::int_to_byte))
-          (/////bundle.install "int-to-char|generation" (unary conversion::int_to_char))
-          (/////bundle.install "int-to-double|generation" (unary conversion::int_to_double))
-          (/////bundle.install "int-to-float|generation" (unary conversion::int_to_float))
-          (/////bundle.install "int-to-long|generation" (unary conversion::int_to_long))
-          (/////bundle.install "int-to-short|generation" (unary conversion::int_to_short))
-          
-          (/////bundle.install "long-to-double|generation" (unary conversion::long_to_double))
-          (/////bundle.install "long-to-float|generation" (unary conversion::long_to_float))
-          (/////bundle.install "long-to-int|generation" (unary conversion::long_to_int))
-          (/////bundle.install "long-to-short|generation" (unary conversion::long_to_short))
-          (/////bundle.install "long-to-byte|generation" (unary conversion::long_to_byte))
-          (/////bundle.install "long-to-char|generation" (unary conversion::long_to_char))
-          
-          (/////bundle.install "char-to-byte|generation" (unary conversion::char_to_byte))
-          (/////bundle.install "char-to-short|generation" (unary conversion::char_to_short))
-          (/////bundle.install "char-to-int|generation" (unary conversion::char_to_int))
-          (/////bundle.install "char-to-long|generation" (unary conversion::char_to_long))
-          
-          (/////bundle.install "byte-to-long|generation" (unary conversion::byte_to_long))
-          
-          (/////bundle.install "short-to-long|generation" (unary conversion::short_to_long))
-          )))
+(def with_conversion_extensions
+  (-> Bundle Bundle)
+  (|>> (/////bundle.install (%.format "jvm_" "conversion_" "double_to_float" "#" "|generation") (unary conversion::double_to_float))
+       (/////bundle.install (%.format "jvm_" "conversion_" "double_to_int" "#" "|generation") (unary conversion::double_to_int))
+       (/////bundle.install (%.format "jvm_" "conversion_" "double_to_long" "#" "|generation") (unary conversion::double_to_long))
+       
+       (/////bundle.install (%.format "jvm_" "conversion_" "float_to_double" "#" "|generation") (unary conversion::float_to_double))
+       (/////bundle.install (%.format "jvm_" "conversion_" "float_to_int" "#" "|generation") (unary conversion::float_to_int))
+       (/////bundle.install (%.format "jvm_" "conversion_" "float_to_long" "#" "|generation") (unary conversion::float_to_long))
+       
+       (/////bundle.install (%.format "jvm_" "conversion_" "int_to_byte" "#" "|generation") (unary conversion::int_to_byte))
+       (/////bundle.install (%.format "jvm_" "conversion_" "int_to_char" "#" "|generation") (unary conversion::int_to_char))
+       (/////bundle.install (%.format "jvm_" "conversion_" "int_to_double" "#" "|generation") (unary conversion::int_to_double))
+       (/////bundle.install (%.format "jvm_" "conversion_" "int_to_float" "#" "|generation") (unary conversion::int_to_float))
+       (/////bundle.install (%.format "jvm_" "conversion_" "int_to_long" "#" "|generation") (unary conversion::int_to_long))
+       (/////bundle.install (%.format "jvm_" "conversion_" "int_to_short" "#" "|generation") (unary conversion::int_to_short))
+       
+       (/////bundle.install (%.format "jvm_" "conversion_" "long_to_double" "#" "|generation") (unary conversion::long_to_double))
+       (/////bundle.install (%.format "jvm_" "conversion_" "long_to_float" "#" "|generation") (unary conversion::long_to_float))
+       (/////bundle.install (%.format "jvm_" "conversion_" "long_to_int" "#" "|generation") (unary conversion::long_to_int))
+       (/////bundle.install (%.format "jvm_" "conversion_" "long_to_short" "#" "|generation") (unary conversion::long_to_short))
+       (/////bundle.install (%.format "jvm_" "conversion_" "long_to_byte" "#" "|generation") (unary conversion::long_to_byte))
+       (/////bundle.install (%.format "jvm_" "conversion_" "long_to_char" "#" "|generation") (unary conversion::long_to_char))
+       
+       (/////bundle.install (%.format "jvm_" "conversion_" "char_to_byte" "#" "|generation") (unary conversion::char_to_byte))
+       (/////bundle.install (%.format "jvm_" "conversion_" "char_to_short" "#" "|generation") (unary conversion::char_to_short))
+       (/////bundle.install (%.format "jvm_" "conversion_" "char_to_int" "#" "|generation") (unary conversion::char_to_int))
+       (/////bundle.install (%.format "jvm_" "conversion_" "char_to_long" "#" "|generation") (unary conversion::char_to_long))
+       
+       (/////bundle.install (%.format "jvm_" "conversion_" "byte_to_long" "#" "|generation") (unary conversion::byte_to_long))
+       
+       (/////bundle.install (%.format "jvm_" "conversion_" "short_to_long" "#" "|generation") (unary conversion::short_to_long))
+       ))
 
 (with_template [<name> <op>]
   [(def (<name> [parameter! subject!])
@@ -270,77 +268,72 @@
   [double::< _.dcmpg -1]
   )
 
-(def bundle::int
-  Bundle
-  (<| (/////bundle.prefix (reflection.reflection reflection.int))
-      (|> (is Bundle /////bundle.empty)
-          (/////bundle.install "+|generation" (binary int::+))
-          (/////bundle.install "-|generation" (binary int::-))
-          (/////bundle.install "*|generation" (binary int::*))
-          (/////bundle.install "/|generation" (binary int::/))
-          (/////bundle.install "%|generation" (binary int::%))
-          (/////bundle.install "=|generation" (binary int::=))
-          (/////bundle.install "<|generation" (binary int::<))
-          (/////bundle.install "and|generation" (binary int::and))
-          (/////bundle.install "or|generation" (binary int::or))
-          (/////bundle.install "xor|generation" (binary int::xor))
-          (/////bundle.install "shl|generation" (binary int::shl))
-          (/////bundle.install "shr|generation" (binary int::shr))
-          (/////bundle.install "ushr|generation" (binary int::ushr))
-          )))
-
-(def bundle::long
-  Bundle
-  (<| (/////bundle.prefix (reflection.reflection reflection.long))
-      (|> (is Bundle /////bundle.empty)
-          (/////bundle.install "+|generation" (binary long::+))
-          (/////bundle.install "-|generation" (binary long::-))
-          (/////bundle.install "*|generation" (binary long::*))
-          (/////bundle.install "/|generation" (binary long::/))
-          (/////bundle.install "%|generation" (binary long::%))
-          (/////bundle.install "=|generation" (binary long::=))
-          (/////bundle.install "<|generation" (binary long::<))
-          (/////bundle.install "and|generation" (binary long::and))
-          (/////bundle.install "or|generation" (binary long::or))
-          (/////bundle.install "xor|generation" (binary long::xor))
-          (/////bundle.install "shl|generation" (binary long::shl))
-          (/////bundle.install "shr|generation" (binary long::shr))
-          (/////bundle.install "ushr|generation" (binary long::ushr))
-          )))
-
-(def bundle::float
-  Bundle
-  (<| (/////bundle.prefix (reflection.reflection reflection.float))
-      (|> (is Bundle /////bundle.empty)
-          (/////bundle.install "+|generation" (binary float::+))
-          (/////bundle.install "-|generation" (binary float::-))
-          (/////bundle.install "*|generation" (binary float::*))
-          (/////bundle.install "/|generation" (binary float::/))
-          (/////bundle.install "%|generation" (binary float::%))
-          (/////bundle.install "=|generation" (binary float::=))
-          (/////bundle.install "<|generation" (binary float::<))
-          )))
-
-(def bundle::double
-  Bundle
-  (<| (/////bundle.prefix (reflection.reflection reflection.double))
-      (|> (is Bundle /////bundle.empty)
-          (/////bundle.install "+|generation" (binary double::+))
-          (/////bundle.install "-|generation" (binary double::-))
-          (/////bundle.install "*|generation" (binary double::*))
-          (/////bundle.install "/|generation" (binary double::/))
-          (/////bundle.install "%|generation" (binary double::%))
-          (/////bundle.install "=|generation" (binary double::=))
-          (/////bundle.install "<|generation" (binary double::<))
-          )))
-
-(def bundle::char
-  Bundle
-  (<| (/////bundle.prefix (reflection.reflection reflection.char))
-      (|> (is Bundle /////bundle.empty)
-          (/////bundle.install "=|generation" (binary char::=))
-          (/////bundle.install "<|generation" (binary char::<))
-          )))
+(def with_int_extensions
+  (-> Bundle Bundle)
+  (let [type (reflection.reflection reflection.int)]
+    (|>> (/////bundle.install (%.format "jvm_" type "_" "+" "#" "|generation") (binary int::+))
+         (/////bundle.install (%.format "jvm_" type "_" "-" "#" "|generation") (binary int::-))
+         (/////bundle.install (%.format "jvm_" type "_" "*" "#" "|generation") (binary int::*))
+         (/////bundle.install (%.format "jvm_" type "_" "/" "#" "|generation") (binary int::/))
+         (/////bundle.install (%.format "jvm_" type "_" "%" "#" "|generation") (binary int::%))
+         (/////bundle.install (%.format "jvm_" type "_" "=" "#" "|generation") (binary int::=))
+         (/////bundle.install (%.format "jvm_" type "_" "<" "#" "|generation") (binary int::<))
+         (/////bundle.install (%.format "jvm_" type "_" "and" "#" "|generation") (binary int::and))
+         (/////bundle.install (%.format "jvm_" type "_" "or" "#" "|generation") (binary int::or))
+         (/////bundle.install (%.format "jvm_" type "_" "xor" "#" "|generation") (binary int::xor))
+         (/////bundle.install (%.format "jvm_" type "_" "shl" "#" "|generation") (binary int::shl))
+         (/////bundle.install (%.format "jvm_" type "_" "shr" "#" "|generation") (binary int::shr))
+         (/////bundle.install (%.format "jvm_" type "_" "ushr" "#" "|generation") (binary int::ushr))
+         )))
+
+(def with_long_extensions
+  (-> Bundle Bundle)
+  (let [type (reflection.reflection reflection.long)]
+    (|>> (/////bundle.install (%.format "jvm_" type "_" "+" "#" "|generation") (binary long::+))
+         (/////bundle.install (%.format "jvm_" type "_" "-" "#" "|generation") (binary long::-))
+         (/////bundle.install (%.format "jvm_" type "_" "*" "#" "|generation") (binary long::*))
+         (/////bundle.install (%.format "jvm_" type "_" "/" "#" "|generation") (binary long::/))
+         (/////bundle.install (%.format "jvm_" type "_" "%" "#" "|generation") (binary long::%))
+         (/////bundle.install (%.format "jvm_" type "_" "=" "#" "|generation") (binary long::=))
+         (/////bundle.install (%.format "jvm_" type "_" "<" "#" "|generation") (binary long::<))
+         (/////bundle.install (%.format "jvm_" type "_" "and" "#" "|generation") (binary long::and))
+         (/////bundle.install (%.format "jvm_" type "_" "or" "#" "|generation") (binary long::or))
+         (/////bundle.install (%.format "jvm_" type "_" "xor" "#" "|generation") (binary long::xor))
+         (/////bundle.install (%.format "jvm_" type "_" "shl" "#" "|generation") (binary long::shl))
+         (/////bundle.install (%.format "jvm_" type "_" "shr" "#" "|generation") (binary long::shr))
+         (/////bundle.install (%.format "jvm_" type "_" "ushr" "#" "|generation") (binary long::ushr))
+         )))
+
+(def with_float_extensions
+  (-> Bundle Bundle)
+  (let [type (reflection.reflection reflection.float)]
+    (|>> (/////bundle.install (%.format "jvm_" type "_" "+" "#" "|generation") (binary float::+))
+         (/////bundle.install (%.format "jvm_" type "_" "-" "#" "|generation") (binary float::-))
+         (/////bundle.install (%.format "jvm_" type "_" "*" "#" "|generation") (binary float::*))
+         (/////bundle.install (%.format "jvm_" type "_" "/" "#" "|generation") (binary float::/))
+         (/////bundle.install (%.format "jvm_" type "_" "%" "#" "|generation") (binary float::%))
+         (/////bundle.install (%.format "jvm_" type "_" "=" "#" "|generation") (binary float::=))
+         (/////bundle.install (%.format "jvm_" type "_" "<" "#" "|generation") (binary float::<))
+         )))
+
+(def with_double_extensions
+  (-> Bundle Bundle)
+  (let [type (reflection.reflection reflection.float)]
+    (|>> (/////bundle.install (%.format "jvm_" type "_" "+" "#" "|generation") (binary double::+))
+         (/////bundle.install (%.format "jvm_" type "_" "-" "#" "|generation") (binary double::-))
+         (/////bundle.install (%.format "jvm_" type "_" "*" "#" "|generation") (binary double::*))
+         (/////bundle.install (%.format "jvm_" type "_" "/" "#" "|generation") (binary double::/))
+         (/////bundle.install (%.format "jvm_" type "_" "%" "#" "|generation") (binary double::%))
+         (/////bundle.install (%.format "jvm_" type "_" "=" "#" "|generation") (binary double::=))
+         (/////bundle.install (%.format "jvm_" type "_" "<" "#" "|generation") (binary double::<))
+         )))
+
+(def with_char_extensions
+  (-> Bundle Bundle)
+  (let [type (reflection.reflection reflection.char)]
+    (|>> (/////bundle.install (%.format "jvm_" type "_" "=" "#" "|generation") (binary char::=))
+         (/////bundle.install (%.format "jvm_" type "_" "<" "#" "|generation") (binary char::<))
+         )))
 
 (with_template [<name> <category> <parser>]
   [(def .public <name>
@@ -493,55 +486,48 @@
                  valueG
                  _.aastore))))]))
 
-(def bundle::array
-  Bundle
-  (<| (/////bundle.prefix "array")
-      (|> /////bundle.empty
-          (dictionary.composite (<| (/////bundle.prefix "length")
-                                    (|> /////bundle.empty
-                                        (/////bundle.install (%.format (reflection.reflection reflection.boolean) "|generation") (primitive_array_length_handler type.boolean))
-                                        (/////bundle.install (%.format (reflection.reflection reflection.byte) "|generation") (primitive_array_length_handler type.byte))
-                                        (/////bundle.install (%.format (reflection.reflection reflection.short) "|generation") (primitive_array_length_handler type.short))
-                                        (/////bundle.install (%.format (reflection.reflection reflection.int) "|generation") (primitive_array_length_handler type.int))
-                                        (/////bundle.install (%.format (reflection.reflection reflection.long) "|generation") (primitive_array_length_handler type.long))
-                                        (/////bundle.install (%.format (reflection.reflection reflection.float) "|generation") (primitive_array_length_handler type.float))
-                                        (/////bundle.install (%.format (reflection.reflection reflection.double) "|generation") (primitive_array_length_handler type.double))
-                                        (/////bundle.install (%.format (reflection.reflection reflection.char) "|generation") (primitive_array_length_handler type.char))
-                                        (/////bundle.install (%.format "object" "|generation") array::length::object))))
-          (dictionary.composite (<| (/////bundle.prefix "new")
-                                    (|> /////bundle.empty
-                                        (/////bundle.install (%.format (reflection.reflection reflection.boolean) "|generation") (new_primitive_array_handler __.t_boolean))
-                                        (/////bundle.install (%.format (reflection.reflection reflection.byte) "|generation") (new_primitive_array_handler __.t_byte))
-                                        (/////bundle.install (%.format (reflection.reflection reflection.short) "|generation") (new_primitive_array_handler __.t_short))
-                                        (/////bundle.install (%.format (reflection.reflection reflection.int) "|generation") (new_primitive_array_handler __.t_int))
-                                        (/////bundle.install (%.format (reflection.reflection reflection.long) "|generation") (new_primitive_array_handler __.t_long))
-                                        (/////bundle.install (%.format (reflection.reflection reflection.float) "|generation") (new_primitive_array_handler __.t_float))
-                                        (/////bundle.install (%.format (reflection.reflection reflection.double) "|generation") (new_primitive_array_handler __.t_double))
-                                        (/////bundle.install (%.format (reflection.reflection reflection.char) "|generation") (new_primitive_array_handler __.t_char))
-                                        (/////bundle.install (%.format "object" "|generation") array::new::object))))
-          (dictionary.composite (<| (/////bundle.prefix "read")
-                                    (|> /////bundle.empty
-                                        (/////bundle.install (%.format (reflection.reflection reflection.boolean) "|generation") (read_primitive_array_handler type.boolean _.baload))
-                                        (/////bundle.install (%.format (reflection.reflection reflection.byte) "|generation") (read_primitive_array_handler type.byte _.baload))
-                                        (/////bundle.install (%.format (reflection.reflection reflection.short) "|generation") (read_primitive_array_handler type.short _.saload))
-                                        (/////bundle.install (%.format (reflection.reflection reflection.int) "|generation") (read_primitive_array_handler type.int _.iaload))
-                                        (/////bundle.install (%.format (reflection.reflection reflection.long) "|generation") (read_primitive_array_handler type.long _.laload))
-                                        (/////bundle.install (%.format (reflection.reflection reflection.float) "|generation") (read_primitive_array_handler type.float _.faload))
-                                        (/////bundle.install (%.format (reflection.reflection reflection.double) "|generation") (read_primitive_array_handler type.double _.daload))
-                                        (/////bundle.install (%.format (reflection.reflection reflection.char) "|generation") (read_primitive_array_handler type.char _.caload))
-                                        (/////bundle.install (%.format "object" "|generation") array::read::object))))
-          (dictionary.composite (<| (/////bundle.prefix "write")
-                                    (|> /////bundle.empty
-                                        (/////bundle.install (%.format (reflection.reflection reflection.boolean) "|generation") (write_primitive_array_handler type.boolean _.bastore))
-                                        (/////bundle.install (%.format (reflection.reflection reflection.byte) "|generation") (write_primitive_array_handler type.byte _.bastore))
-                                        (/////bundle.install (%.format (reflection.reflection reflection.short) "|generation") (write_primitive_array_handler type.short _.sastore))
-                                        (/////bundle.install (%.format (reflection.reflection reflection.int) "|generation") (write_primitive_array_handler type.int _.iastore))
-                                        (/////bundle.install (%.format (reflection.reflection reflection.long) "|generation") (write_primitive_array_handler type.long _.lastore))
-                                        (/////bundle.install (%.format (reflection.reflection reflection.float) "|generation") (write_primitive_array_handler type.float _.fastore))
-                                        (/////bundle.install (%.format (reflection.reflection reflection.double) "|generation") (write_primitive_array_handler type.double _.dastore))
-                                        (/////bundle.install (%.format (reflection.reflection reflection.char) "|generation") (write_primitive_array_handler type.char _.castore))
-                                        (/////bundle.install (%.format "object" "|generation") array::write::object))))
-          )))
+(def with_array_extensions
+  (-> Bundle Bundle)
+  (|>> (/////bundle.install (%.format "jvm_" "array_" "length_" (reflection.reflection reflection.boolean) "#" "|generation") (primitive_array_length_handler type.boolean))
+       (/////bundle.install (%.format "jvm_" "array_" "length_" (reflection.reflection reflection.byte) "#" "|generation") (primitive_array_length_handler type.byte))
+       (/////bundle.install (%.format "jvm_" "array_" "length_" (reflection.reflection reflection.short) "#" "|generation") (primitive_array_length_handler type.short))
+       (/////bundle.install (%.format "jvm_" "array_" "length_" (reflection.reflection reflection.int) "#" "|generation") (primitive_array_length_handler type.int))
+       (/////bundle.install (%.format "jvm_" "array_" "length_" (reflection.reflection reflection.long) "#" "|generation") (primitive_array_length_handler type.long))
+       (/////bundle.install (%.format "jvm_" "array_" "length_" (reflection.reflection reflection.float) "#" "|generation") (primitive_array_length_handler type.float))
+       (/////bundle.install (%.format "jvm_" "array_" "length_" (reflection.reflection reflection.double) "#" "|generation") (primitive_array_length_handler type.double))
+       (/////bundle.install (%.format "jvm_" "array_" "length_" (reflection.reflection reflection.char) "#" "|generation") (primitive_array_length_handler type.char))
+       (/////bundle.install (%.format "jvm_" "array_" "length_" "object" "#" "|generation") array::length::object)
+
+       (/////bundle.install (%.format "jvm_" "array_" "new_" (reflection.reflection reflection.boolean) "#" "|generation") (new_primitive_array_handler __.t_boolean))
+       (/////bundle.install (%.format "jvm_" "array_" "new_" (reflection.reflection reflection.byte) "#" "|generation") (new_primitive_array_handler __.t_byte))
+       (/////bundle.install (%.format "jvm_" "array_" "new_" (reflection.reflection reflection.short) "#" "|generation") (new_primitive_array_handler __.t_short))
+       (/////bundle.install (%.format "jvm_" "array_" "new_" (reflection.reflection reflection.int) "#" "|generation") (new_primitive_array_handler __.t_int))
+       (/////bundle.install (%.format "jvm_" "array_" "new_" (reflection.reflection reflection.long) "#" "|generation") (new_primitive_array_handler __.t_long))
+       (/////bundle.install (%.format "jvm_" "array_" "new_" (reflection.reflection reflection.float) "#" "|generation") (new_primitive_array_handler __.t_float))
+       (/////bundle.install (%.format "jvm_" "array_" "new_" (reflection.reflection reflection.double) "#" "|generation") (new_primitive_array_handler __.t_double))
+       (/////bundle.install (%.format "jvm_" "array_" "new_" (reflection.reflection reflection.char) "#" "|generation") (new_primitive_array_handler __.t_char))
+       (/////bundle.install (%.format "jvm_" "array_" "new_" "object" "#" "|generation") array::new::object)
+
+       (/////bundle.install (%.format "jvm_" "array_" "read_" (reflection.reflection reflection.boolean) "#" "|generation") (read_primitive_array_handler type.boolean _.baload))
+       (/////bundle.install (%.format "jvm_" "array_" "read_" (reflection.reflection reflection.byte) "#" "|generation") (read_primitive_array_handler type.byte _.baload))
+       (/////bundle.install (%.format "jvm_" "array_" "read_" (reflection.reflection reflection.short) "#" "|generation") (read_primitive_array_handler type.short _.saload))
+       (/////bundle.install (%.format "jvm_" "array_" "read_" (reflection.reflection reflection.int) "#" "|generation") (read_primitive_array_handler type.int _.iaload))
+       (/////bundle.install (%.format "jvm_" "array_" "read_" (reflection.reflection reflection.long) "#" "|generation") (read_primitive_array_handler type.long _.laload))
+       (/////bundle.install (%.format "jvm_" "array_" "read_" (reflection.reflection reflection.float) "#" "|generation") (read_primitive_array_handler type.float _.faload))
+       (/////bundle.install (%.format "jvm_" "array_" "read_" (reflection.reflection reflection.double) "#" "|generation") (read_primitive_array_handler type.double _.daload))
+       (/////bundle.install (%.format "jvm_" "array_" "read_" (reflection.reflection reflection.char) "#" "|generation") (read_primitive_array_handler type.char _.caload))
+       (/////bundle.install (%.format "jvm_" "array_" "read_" "object" "#" "|generation") array::read::object)
+
+       (/////bundle.install (%.format "jvm_" "array_" "write_" (reflection.reflection reflection.boolean) "#" "|generation") (write_primitive_array_handler type.boolean _.bastore))
+       (/////bundle.install (%.format "jvm_" "array_" "write_" (reflection.reflection reflection.byte) "#" "|generation") (write_primitive_array_handler type.byte _.bastore))
+       (/////bundle.install (%.format "jvm_" "array_" "write_" (reflection.reflection reflection.short) "#" "|generation") (write_primitive_array_handler type.short _.sastore))
+       (/////bundle.install (%.format "jvm_" "array_" "write_" (reflection.reflection reflection.int) "#" "|generation") (write_primitive_array_handler type.int _.iastore))
+       (/////bundle.install (%.format "jvm_" "array_" "write_" (reflection.reflection reflection.long) "#" "|generation") (write_primitive_array_handler type.long _.lastore))
+       (/////bundle.install (%.format "jvm_" "array_" "write_" (reflection.reflection reflection.float) "#" "|generation") (write_primitive_array_handler type.float _.fastore))
+       (/////bundle.install (%.format "jvm_" "array_" "write_" (reflection.reflection reflection.double) "#" "|generation") (write_primitive_array_handler type.double _.dastore))
+       (/////bundle.install (%.format "jvm_" "array_" "write_" (reflection.reflection reflection.char) "#" "|generation") (write_primitive_array_handler type.char _.castore))
+       (/////bundle.install (%.format "jvm_" "array_" "write_" "object" "#" "|generation") array::write::object)
+       ))
 
 (def (object::null _)
   (Nullary (Bytecode Any))
@@ -639,18 +625,16 @@
                       ... else
                       valueG)))))]))
 
-(def bundle::object
-  Bundle
-  (<| (/////bundle.prefix "object")
-      (|> (is Bundle /////bundle.empty)
-          (/////bundle.install (%.format "null" "|generation") (nullary object::null))
-          (/////bundle.install (%.format "null?" "|generation") (unary object::null?))
-          (/////bundle.install (%.format "synchronized" "|generation") (binary object::synchronized))
-          (/////bundle.install (%.format "throw" "|generation") (unary object::throw))
-          (/////bundle.install (%.format "class" "|generation") object::class)
-          (/////bundle.install (%.format "instance?" "|generation") object::instance?)
-          (/////bundle.install (%.format "cast" "|generation") object::cast)
-          )))
+(def with_object_extensions
+  (-> Bundle Bundle)
+  (|>> (/////bundle.install (%.format "jvm_" "object_" "null" "#" "|generation") (nullary object::null))
+       (/////bundle.install (%.format "jvm_" "object_" "null?" "#" "|generation") (unary object::null?))
+       (/////bundle.install (%.format "jvm_" "object_" "synchronized" "#" "|generation") (binary object::synchronized))
+       (/////bundle.install (%.format "jvm_" "object_" "throw" "#" "|generation") (unary object::throw))
+       (/////bundle.install (%.format "jvm_" "object_" "class" "#" "|generation") object::class)
+       (/////bundle.install (%.format "jvm_" "object_" "instance?" "#" "|generation") object::instance?)
+       (/////bundle.install (%.format "jvm_" "object_" "cast" "#" "|generation") object::cast)
+       ))
 
 (def get::static
   Handler
@@ -792,26 +776,20 @@
                  (monad.each _.monad product.right inputsTG)
                  (_.invokespecial class "<init>" (type.method [(list) (list#each product.left inputsTG) type.void (list)]))))))]))
 
-(def bundle::member
-  Bundle
-  (<| (/////bundle.prefix "member")
-      (|> (is Bundle /////bundle.empty)
-          (dictionary.composite (<| (/////bundle.prefix "get")
-                                    (|> (is Bundle /////bundle.empty)
-                                        (/////bundle.install (%.format "static" "|generation") get::static)
-                                        (/////bundle.install (%.format "virtual" "|generation") get::virtual))))
-          (dictionary.composite (<| (/////bundle.prefix "put")
-                                    (|> (is Bundle /////bundle.empty)
-                                        (/////bundle.install (%.format "static" "|generation") put::static)
-                                        (/////bundle.install (%.format "virtual" "|generation") put::virtual))))
-          (dictionary.composite (<| (/////bundle.prefix "invoke")
-                                    (|> (is Bundle /////bundle.empty)
-                                        (/////bundle.install (%.format "static" "|generation") invoke::static)
-                                        (/////bundle.install (%.format "virtual" "|generation") invoke::virtual)
-                                        (/////bundle.install (%.format "special" "|generation") invoke::special)
-                                        (/////bundle.install (%.format "interface" "|generation") invoke::interface)
-                                        (/////bundle.install (%.format "constructor" "|generation") invoke::constructor))))
-          )))
+(def with_member_extensions
+  (-> Bundle Bundle)
+  (|>> (/////bundle.install (%.format "jvm_" "member_" "get_" "static" "#" "|generation") get::static)
+       (/////bundle.install (%.format "jvm_" "member_" "get_" "virtual" "#" "|generation") get::virtual)
+       
+       (/////bundle.install (%.format "jvm_" "member_" "put_" "static" "#" "|generation") put::static)
+       (/////bundle.install (%.format "jvm_" "member_" "put_" "virtual" "#" "|generation") put::virtual)
+       
+       (/////bundle.install (%.format "jvm_" "member_" "invoke_" "static" "#" "|generation") invoke::static)
+       (/////bundle.install (%.format "jvm_" "member_" "invoke_" "virtual" "#" "|generation") invoke::virtual)
+       (/////bundle.install (%.format "jvm_" "member_" "invoke_" "special" "#" "|generation") invoke::special)
+       (/////bundle.install (%.format "jvm_" "member_" "invoke_" "interface" "#" "|generation") invoke::interface)
+       (/////bundle.install (%.format "jvm_" "member_" "invoke_" "constructor" "#" "|generation") invoke::constructor)
+       ))
 
 (def annotation_parameter
   (Parser (/.Annotation_Parameter Synthesis))
@@ -1370,24 +1348,20 @@
          _ (//////generation.save! artifact_id {.#None} artifact)]
         (anonymous_instance generate archive class total_environment inputsTI)))]))
 
-(def bundle::class
-  Bundle
-  (<| (/////bundle.prefix "class")
-      (|> (is Bundle /////bundle.empty)
-          (/////bundle.install (%.format "anonymous" "|generation") class::anonymous)
-          )))
+(def with_class_extensions
+  (-> Bundle Bundle)
+  (/////bundle.install (%.format "jvm_" "class_" "anonymous" "#" "|generation") class::anonymous))
 
 (def .public bundle
   Bundle
-  (<| (/////bundle.prefix "jvm")
-      (|> ..bundle::conversion
-          (dictionary.composite ..bundle::int)
-          (dictionary.composite ..bundle::long)
-          (dictionary.composite ..bundle::float)
-          (dictionary.composite ..bundle::double)
-          (dictionary.composite ..bundle::char)
-          (dictionary.composite ..bundle::array)
-          (dictionary.composite ..bundle::object)
-          (dictionary.composite ..bundle::member)
-          (dictionary.composite ..bundle::class)
-          )))
+  (<| with_conversion_extensions
+      with_int_extensions
+      with_long_extensions
+      with_float_extensions
+      with_double_extensions
+      with_char_extensions
+      with_array_extensions
+      with_object_extensions
+      with_member_extensions
+      with_class_extensions
+      /////bundle.empty))
diff --git a/stdlib/source/library/lux/meta/target/jvm/constant.lux b/stdlib/source/library/lux/meta/target/jvm/constant.lux
index 7c23d49c7..3b77b382a 100644
--- a/stdlib/source/library/lux/meta/target/jvm/constant.lux
+++ b/stdlib/source/library/lux/meta/target/jvm/constant.lux
@@ -75,9 +75,8 @@
           ("jvm feq" parameter subject)
           
           @.jvm
-          ("jvm float ="
-           ("jvm object cast" parameter)
-           ("jvm object cast" subject))))))
+          (.jvm_float_=# (.jvm_object_cast# parameter)
+                         (.jvm_object_cast# subject))))))
 
 (import java/lang/Double
   "[1]::[0]"
diff --git a/stdlib/source/library/lux/meta/target/jvm/loader.lux b/stdlib/source/library/lux/meta/target/jvm/loader.lux
index 3f2c4dd39..5e9b5fa0c 100644
--- a/stdlib/source/library/lux/meta/target/jvm/loader.lux
+++ b/stdlib/source/library/lux/meta/target/jvm/loader.lux
@@ -110,7 +110,7 @@
                                 (<|)
                                 
                                 @.jvm
-                                "jvm object cast")]
+                                .jvm_object_cast#)]
     (<| <cast>
         (object [] java/lang/ClassLoader []
           []
diff --git a/stdlib/source/library/lux/world/net/http.lux b/stdlib/source/library/lux/world/net/http.lux
index b90c770f5..15044efec 100644
--- a/stdlib/source/library/lux/world/net/http.lux
+++ b/stdlib/source/library/lux/world/net/http.lux
@@ -7,15 +7,14 @@
      [frp (.only Channel)]]]
    [data
     [binary (.only Binary)]]]]
+ [/
+  [version (.only Version)]]
  [// (.only Address)
   [uri (.only URI)]
   [//
    ["[0]" environment
     ["[1]" \\parser (.only Environment)]]]])
 
-(type .public Version
-  Text)
-
 (type .public Method
   (Variant
    {#Post}
@@ -44,6 +43,7 @@
 (type .public (Body !)
   (-> (Maybe Nat) (! (Try [Nat Binary]))))
 
+... https://en.wikipedia.org/wiki/List_of_URI_schemes
 (type .public Scheme
   (Variant
    {#HTTP}
diff --git a/stdlib/source/library/lux/world/net/http/version.lux b/stdlib/source/library/lux/world/net/http/version.lux
index aeaba736b..1bd888b31 100644
--- a/stdlib/source/library/lux/world/net/http/version.lux
+++ b/stdlib/source/library/lux/world/net/http/version.lux
@@ -1,13 +1,39 @@
 (.require
  [library
-  [lux (.except)]]
- [// (.only Version)])
+  [lux (.except)
+   [abstract
+    [equivalence (.only Equivalence)]
+    [hash (.only Hash)]]
+   [data
+    ["[0]" text (.use "[1]#[0]" hash)]]
+   [meta
+    [type
+     ["[0]" primitive (.only primitive)]]]]])
 
-(with_template [<name> <version>]
-  [(def .public <name> Version <version>)]
+(primitive .public Version
+  Text
 
-  [v0_9 "0.9"]
-  [v1_0 "1.0"]
-  [v1_1 "1.1"]
-  [v2_0 "2.0"]
+  (def .public equivalence
+    (Equivalence Version)
+    (implementation
+     (def (= reference it)
+       (text#= (primitive.representation reference)
+               (primitive.representation it)))))
+
+  (def .public hash
+    (Hash Version)
+    (implementation
+     (def equivalence ..equivalence)
+     (def hash (|>> primitive.representation text#hash))))
+
+  (with_template [<name> <version>]
+    [(def .public <name>
+       Version
+       (primitive.abstraction <version>))]
+
+    [v0_9 "0.9"]
+    [v1_0 "1.0"]
+    [v1_1 "1.1"]
+    [v2_0 "2.0"]
+    )
   )
diff --git a/stdlib/source/library/lux/world/time/instant.lux b/stdlib/source/library/lux/world/time/instant.lux
index a9fbc61e2..e5fd7fd34 100644
--- a/stdlib/source/library/lux/world/time/instant.lux
+++ b/stdlib/source/library/lux/world/time/instant.lux
@@ -159,8 +159,8 @@
 (def .public now
   (IO Instant)
   (io (..of_millis (for @.old ("jvm invokestatic:java.lang.System:currentTimeMillis:")
-                        @.jvm (|> ("jvm member invoke static" [] "java.lang.System" "currentTimeMillis" [])
-                                  ("jvm object cast")
+                        @.jvm (|> (.jvm_member_invoke_static# [] "java.lang.System" "currentTimeMillis" [])
+                                  .jvm_object_cast#
                                   (is (Primitive "java.lang.Long"))
                                   (as Int))
                         @.js (let [date ("js object new" ("js constant" "Date") [])]
-- 
cgit v1.2.3