2 files changed, 15 insertions, 15 deletions
diff --git a/lux-jvm/source/luxc/lang/host/jvm/def.lux b/lux-jvm/source/luxc/lang/host/jvm/def.lux
index 4aa88ff9a..e1e7e3c7c 100644
--- a/lux-jvm/source/luxc/lang/host/jvm/def.lux
+++ b/lux-jvm/source/luxc/lang/host/jvm/def.lux
@@ -1,15 +1,15 @@
 (.module:
   [library
-   [lux {"-" [Type]}
-    ["[0]" ffi {"+" [import: do_to]}]
+   [lux {"-" Type}
+    ["[0]" ffi {"+" import: do_to}]
     [control
      ["[0]" function]]
     [data
      ["[0]" product]
      ["[0]" text
-      ["%" format {"+" [format]}]]
+      ["%" format {"+" format}]]
      [collection
-      ["[0]" array {"+" [Array]}]
+      ["[0]" array {"+" Array}]
       ["[0]" list ("[1]@[0]" functor)]]]
     [math
      [number
@@ -18,8 +18,8 @@
      [jvm
       [encoding
        ["[0]" name]]
-      ["[0]" type {"+" [Type Constraint]}
-       [category {"+" [Class Value Method]}]
+      ["[0]" type {"+" Type Constraint}
+       [category {"+" Class Value Method}]
        ["[0]" signature]
        ["[0]" descriptor]]]]]]
   ["[0]" //])
diff --git a/lux-jvm/source/luxc/lang/host/jvm/inst.lux b/lux-jvm/source/luxc/lang/host/jvm/inst.lux
index 64113cd68..1ac0a61cc 100644
--- a/lux-jvm/source/luxc/lang/host/jvm/inst.lux
+++ b/lux-jvm/source/luxc/lang/host/jvm/inst.lux
@@ -1,9 +1,9 @@
 (.module:
   [library
-   [lux {"-" [Type int char try]}
-    ["[0]" ffi {"+" [import: do_to]}]
+   [lux {"-" Type int char try}
+    ["[0]" ffi {"+" import: do_to}]
     [abstract
-     [monad {"+" [do]}]]
+     [monad {"+" do}]]
     [control
      ["[0]" function]
      ["[0]" maybe]
@@ -15,7 +15,7 @@
      [collection
       ["[0]" list ("[1]@[0]" functor)]]]
     [macro
-     [syntax {"+" [syntax:]}]
+     [syntax {"+" syntax:}]
      ["[0]" code]
      ["[0]" template]]
     [math
@@ -25,16 +25,16 @@
     [target
      [jvm
       [encoding
-       ["[0]" name {"+" [External]}]]
-      ["[0]" type {"+" [Type]} ("[1]@[0]" equivalence)
-       [category {"+" [Void Value Return Method Primitive Object Class Array Var Parameter]}]
+       ["[0]" name {"+" External}]]
+      ["[0]" type {"+" Type} ("[1]@[0]" equivalence)
+       [category {"+" Void Value Return Method Primitive Object Class Array Var Parameter}]
        ["[0]" box]
        ["[0]" descriptor]
        ["[0]" reflection]]]]
     [tool
      [compiler
-      [phase {"+" [Operation]}]]]]]
-  ["[0]" // {"+" [Inst]}])
+      [phase {"+" Operation}]]]]]
+  ["[0]" // {"+" Inst}])
 
 (def: class_name (|>> type.descriptor descriptor.class_name name.read))
 (def: descriptor (|>> type.descriptor descriptor.descriptor))