3 files changed, 23 insertions, 23 deletions
diff --git a/lux-jvm/source/luxc/lang/host/jvm.lux b/lux-jvm/source/luxc/lang/host/jvm.lux
index 8977c374c..600f26dd7 100644
--- a/lux-jvm/source/luxc/lang/host/jvm.lux
+++ b/lux-jvm/source/luxc/lang/host/jvm.lux
@@ -1,32 +1,32 @@
 (.module:
   [library
-   [lux {"-" [Definition Type Label]}
-    [ffi {"+" [import:]}]
+   [lux {"-" Definition Type Label}
+    [ffi {"+" import:}]
     [abstract
      monad]
     [control
      ["<>" parser
       ["<[0]>" code]]]
     [data
-     [binary {"+" [Binary]}]
+     [binary {"+" Binary}]
      [collection
       ["[0]" list ("[1]#[0]" monad)]]]
     [macro
      ["[0]" code]
-     [syntax {"+" [syntax:]}]]
+     [syntax {"+" syntax:}]]
     [target
      [jvm
-      ["[0]" type {"+" [Type]}
-       [category {"+" [Class]}]]]]
+      ["[0]" type {"+" Type}
+       [category {"+" Class}]]]]
     [tool
      [compiler
       [reference
-       [variable {"+" [Register]}]]
+       [variable {"+" Register}]]
       [language
        [lux
         ["[0]" generation]]]
       [meta
-       [archive {"+" [Archive]}]]]]]])
+       [archive {"+" Archive}]]]]]])
 
 (import: org/objectweb/asm/MethodVisitor)
 
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))