- Moved "/type" and "/type/check" from "lux/meta" to "lux/lang".

38 files changed, 86 insertions, 89 deletions

diff --git a/new-luxc/source/luxc/lang.lux b/new-luxc/source/luxc/lang.lux
index 844cc6755..45a8b1860 100644
--- a/new-luxc/source/luxc/lang.lux
+++ b/new-luxc/source/luxc/lang.lux
@@ -9,8 +9,8 @@
              text/format
              (coll [list]))
        [meta]
-       (meta (type ["tc" check])
-             ["s" syntax #+ syntax:]))
+       (meta ["s" syntax #+ syntax:])
+       (lang (type ["tc" check])))
   (luxc (lang ["la" analysis])))
 
 (type: #export Eval
diff --git a/new-luxc/source/luxc/lang/analysis/case.lux b/new-luxc/source/luxc/lang/analysis/case.lux
index ff328b9de..69a975b52 100644
--- a/new-luxc/source/luxc/lang/analysis/case.lux
+++ b/new-luxc/source/luxc/lang/analysis/case.lux
@@ -12,8 +12,8 @@
              text/format
              (coll [list "list/" Fold<List> Monoid<List> Functor<List>]))
        [meta]
-       (meta [code]
-             [type]
+       (meta [code])
+       (lang [type]
              (type ["tc" check])))
   (luxc ["&" lang]
         (lang ["&;" scope]
diff --git a/new-luxc/source/luxc/lang/analysis/common.lux b/new-luxc/source/luxc/lang/analysis/common.lux
index 95355d62f..b67e8e268 100644
--- a/new-luxc/source/luxc/lang/analysis/common.lux
+++ b/new-luxc/source/luxc/lang/analysis/common.lux
@@ -5,7 +5,7 @@
        (data text/format
              [product])
        [meta]
-       (meta [type]
+       (lang [type]
              (type ["tc" check])))
   (luxc ["&" lang]
         (lang analysis)))
diff --git a/new-luxc/source/luxc/lang/analysis/expression.lux b/new-luxc/source/luxc/lang/analysis/expression.lux
index afc347248..98addd197 100644
--- a/new-luxc/source/luxc/lang/analysis/expression.lux
+++ b/new-luxc/source/luxc/lang/analysis/expression.lux
@@ -6,7 +6,7 @@
              [product]
              text/format)
        [meta]
-       (meta [type]
+       (lang [type]
              (type ["tc" check]))
        [host])
   (luxc ["&" lang]
diff --git a/new-luxc/source/luxc/lang/analysis/function.lux b/new-luxc/source/luxc/lang/analysis/function.lux
index 611e5c8a4..7f2787e6f 100644
--- a/new-luxc/source/luxc/lang/analysis/function.lux
+++ b/new-luxc/source/luxc/lang/analysis/function.lux
@@ -7,8 +7,8 @@
              text/format
              (coll [list "list/" Fold<List> Monoid<List> Monad<List>]))
        [meta]
-       (meta [code]
-             [type]
+       (meta [code])
+       (lang [type]
              (type ["tc" check])))
   (luxc ["&" lang]
         (lang ["&;" scope]
diff --git a/new-luxc/source/luxc/lang/analysis/inference.lux b/new-luxc/source/luxc/lang/analysis/inference.lux
index cccaa774a..910d5093a 100644
--- a/new-luxc/source/luxc/lang/analysis/inference.lux
+++ b/new-luxc/source/luxc/lang/analysis/inference.lux
@@ -7,7 +7,7 @@
              text/format
              (coll [list "list/" Functor<List>]))
        [meta "meta/" Monad<Meta>]
-       (meta [type]
+       (lang [type]
              (type ["tc" check])))
   (luxc ["&" lang]
         (lang ["la" analysis #+ Analysis]
diff --git a/new-luxc/source/luxc/lang/analysis/primitive.lux b/new-luxc/source/luxc/lang/analysis/primitive.lux
index 792d607c3..2a0fbfbe5 100644
--- a/new-luxc/source/luxc/lang/analysis/primitive.lux
+++ b/new-luxc/source/luxc/lang/analysis/primitive.lux
@@ -2,8 +2,8 @@
   lux
   (lux (control monad)
        [meta]
-       (meta [code]
-             (type ["tc" check])))
+       (meta [code])
+       (lang (type ["tc" check])))
   (luxc ["&" lang]
         (lang ["la" analysis #+ Analysis])))
 
diff --git a/new-luxc/source/luxc/lang/analysis/procedure/common.lux b/new-luxc/source/luxc/lang/analysis/procedure/common.lux
index a643cb76a..a394c554c 100644
--- a/new-luxc/source/luxc/lang/analysis/procedure/common.lux
+++ b/new-luxc/source/luxc/lang/analysis/procedure/common.lux
@@ -9,8 +9,8 @@
                    [array]
                    [dict #+ Dict]))
        [meta]
-       (meta [code]
-             (type ["tc" check]))
+       (meta [code])
+       (lang (type ["tc" check]))
        [io])
   (luxc ["&" lang]
         (lang ["la" analysis]
diff --git a/new-luxc/source/luxc/lang/analysis/procedure/host.jvm.lux b/new-luxc/source/luxc/lang/analysis/procedure/host.jvm.lux
index 8f5382d2b..827f3213d 100644
--- a/new-luxc/source/luxc/lang/analysis/procedure/host.jvm.lux
+++ b/new-luxc/source/luxc/lang/analysis/procedure/host.jvm.lux
@@ -16,8 +16,8 @@
                    [dict #+ Dict]))
        [meta "meta/" Monad<Meta>]
        (meta [code]
-             ["s" syntax]
-             [type]
+             ["s" syntax])
+       (lang [type]
              (type ["tc" check]))
        [host])
   (luxc ["&" lang]
diff --git a/new-luxc/source/luxc/lang/analysis/reference.lux b/new-luxc/source/luxc/lang/analysis/reference.lux
index 6ba0325df..c3ff3456b 100644
--- a/new-luxc/source/luxc/lang/analysis/reference.lux
+++ b/new-luxc/source/luxc/lang/analysis/reference.lux
@@ -2,8 +2,8 @@
   lux
   (lux (control monad)
        [meta]
-       (meta [code]
-             (type ["tc" check])))
+       (meta [code])
+       (lang (type ["tc" check])))
   (luxc ["&" lang]
         (lang ["&;" scope]
               ["la" analysis #+ Analysis]
diff --git a/new-luxc/source/luxc/lang/analysis/structure.lux b/new-luxc/source/luxc/lang/analysis/structure.lux
index 76b5a3a42..70744ba5b 100644
--- a/new-luxc/source/luxc/lang/analysis/structure.lux
+++ b/new-luxc/source/luxc/lang/analysis/structure.lux
@@ -10,8 +10,8 @@
                    [dict #+ Dict])
              text/format)
        [meta]
-       (meta [code]
-             [type]
+       (meta [code])
+       (lang [type]
              (type ["tc" check])))
   (luxc ["&" lang]
         (lang ["&;" scope]
diff --git a/new-luxc/source/luxc/lang/analysis/type.lux b/new-luxc/source/luxc/lang/analysis/type.lux
index eb3de08de..c91fdab38 100644
--- a/new-luxc/source/luxc/lang/analysis/type.lux
+++ b/new-luxc/source/luxc/lang/analysis/type.lux
@@ -2,7 +2,7 @@
   lux
   (lux (control monad)
        [meta]
-       (meta (type ["tc" check])))
+       (lang (type ["tc" check])))
   (luxc ["&" lang]
         (lang ["la" analysis #+ Analysis])))
 
diff --git a/new-luxc/source/luxc/lang/translation.lux b/new-luxc/source/luxc/lang/translation.lux
index 88fc25d3a..1e631205d 100644
--- a/new-luxc/source/luxc/lang/translation.lux
+++ b/new-luxc/source/luxc/lang/translation.lux
@@ -8,8 +8,8 @@
              text/format
              (coll [dict]))
        [meta]
-       (meta (type ["tc" check]))
-       (lang [syntax])
+       (lang [syntax]
+             (type ["tc" check]))
        [host]
        [io]
        (world [file #+ File]))
diff --git a/new-luxc/source/luxc/module/descriptor/type.lux b/new-luxc/source/luxc/module/descriptor/type.lux
index 2f5b8667b..58e29c39e 100644
--- a/new-luxc/source/luxc/module/descriptor/type.lux
+++ b/new-luxc/source/luxc/module/descriptor/type.lux
@@ -8,7 +8,7 @@
              [number]
              ["e" error]
              (coll [list "L/" Functor<List>]))
-       (meta [type "type/" Eq<Type>]))
+       (lang [type "type/" Eq<Type>]))
   ["&" ../common])
 
 (do-template [<name> <code>]
diff --git a/new-luxc/test/test/luxc/lang/analysis/case.lux b/new-luxc/test/test/luxc/lang/analysis/case.lux
index 6d34ef4c5..bffa99bce 100644
--- a/new-luxc/test/test/luxc/lang/analysis/case.lux
+++ b/new-luxc/test/test/luxc/lang/analysis/case.lux
@@ -13,8 +13,8 @@
                    ["S" set]))
        ["r" math/random "r/" Monad<Random>]
        [meta #+ Monad<Meta>]
-       (meta [code]
-             [type "type/" Eq<Type>]
+       (meta [code])
+       (lang [type "type/" Eq<Type>]
              (type ["tc" check]))
        test)
   (luxc ["&" lang]
diff --git a/new-luxc/test/test/luxc/lang/analysis/function.lux b/new-luxc/test/test/luxc/lang/analysis/function.lux
index 6cddfebd2..5b84d3dd0 100644
--- a/new-luxc/test/test/luxc/lang/analysis/function.lux
+++ b/new-luxc/test/test/luxc/lang/analysis/function.lux
@@ -11,8 +11,8 @@
              (coll [list "list/" Functor<List>]))
        ["r" math/random "r/" Monad<Random>]
        [meta]
-       (meta [code]
-             [type "type/" Eq<Type>])
+       (meta [code])
+       (lang [type "type/" Eq<Type>])
        test)
   (luxc ["&" lang]
         (lang ["@;" module]
diff --git a/new-luxc/test/test/luxc/lang/analysis/primitive.lux b/new-luxc/test/test/luxc/lang/analysis/primitive.lux
index 8e1329eb6..b4dc1a63d 100644
--- a/new-luxc/test/test/luxc/lang/analysis/primitive.lux
+++ b/new-luxc/test/test/luxc/lang/analysis/primitive.lux
@@ -13,8 +13,8 @@
              (coll [list "L/" Functor<List> Fold<List>]))
        ["r" math/random]
        [meta #+ Monad<Meta>]
-       (meta [code]
-             [type "type/" Eq<Type>])
+       (meta [code])
+       (lang [type "type/" Eq<Type>])
        test)
   (luxc ["&" lang]
         (lang ["&;" module]
diff --git a/new-luxc/test/test/luxc/lang/analysis/procedure/common.lux b/new-luxc/test/test/luxc/lang/analysis/procedure/common.lux
index 3420ebb4d..f5b1feb71 100644
--- a/new-luxc/test/test/luxc/lang/analysis/procedure/common.lux
+++ b/new-luxc/test/test/luxc/lang/analysis/procedure/common.lux
@@ -10,8 +10,8 @@
              (coll [array]))
        ["r" math/random "r/" Monad<Random>]
        [meta #+ Monad<Meta>]
-       (meta [code]
-             [type "type/" Eq<Type>])
+       (meta [code])
+       (lang [type "type/" Eq<Type>])
        test)
   (luxc ["&" lang]
         (lang ["&;" scope]
diff --git a/new-luxc/test/test/luxc/lang/analysis/procedure/host.jvm.lux b/new-luxc/test/test/luxc/lang/analysis/procedure/host.jvm.lux
index 783174777..b82eb8206 100644
--- a/new-luxc/test/test/luxc/lang/analysis/procedure/host.jvm.lux
+++ b/new-luxc/test/test/luxc/lang/analysis/procedure/host.jvm.lux
@@ -14,8 +14,8 @@
                    [dict]))
        ["r" math/random "r/" Monad<Random>]
        [meta #+ Monad<Meta>]
-       (meta [code]
-             [type])
+       (meta [code])
+       (lang [type])
        test)
   (luxc ["&" lang]
         (lang ["&;" scope]
diff --git a/new-luxc/test/test/luxc/lang/analysis/reference.lux b/new-luxc/test/test/luxc/lang/analysis/reference.lux
index 15e5af44f..16cfb9a38 100644
--- a/new-luxc/test/test/luxc/lang/analysis/reference.lux
+++ b/new-luxc/test/test/luxc/lang/analysis/reference.lux
@@ -6,7 +6,7 @@
        (data ["e" error])
        ["r" math/random]
        [meta #+ Monad<Meta>]
-       (meta [type "type/" Eq<Type>])
+       (lang [type "type/" Eq<Type>])
        test)
   (luxc (lang ["&;" scope]
               ["&;" module]
diff --git a/new-luxc/test/test/luxc/lang/analysis/structure.lux b/new-luxc/test/test/luxc/lang/analysis/structure.lux
index 8cc95fd88..cc31622a1 100644
--- a/new-luxc/test/test/luxc/lang/analysis/structure.lux
+++ b/new-luxc/test/test/luxc/lang/analysis/structure.lux
@@ -13,8 +13,8 @@
                    ["S" set]))
        ["r" math/random "r/" Monad<Random>]
        [meta]
-       (meta [code]
-             [type "type/" Eq<Type>]
+       (meta [code])
+       (lang [type "type/" Eq<Type>]
              (type ["tc" check]))
        test)
   (luxc ["&" lang]
diff --git a/new-luxc/test/test/luxc/lang/analysis/type.lux b/new-luxc/test/test/luxc/lang/analysis/type.lux
index 6d89582e8..ed75f4d6c 100644
--- a/new-luxc/test/test/luxc/lang/analysis/type.lux
+++ b/new-luxc/test/test/luxc/lang/analysis/type.lux
@@ -13,8 +13,8 @@
              (coll [list "list/" Functor<List> Fold<List>]))
        ["r" math/random "r/" Monad<Random>]
        [meta #+ Monad<Meta>]
-       (meta [code]
-             [type "type/" Eq<Type>])
+       (meta [code])
+       (lang [type "type/" Eq<Type>])
        test)
   (luxc ["&" lang]
         (lang ["&;" module]
diff --git a/stdlib/source/lux/concurrency/actor.lux b/stdlib/source/lux/concurrency/actor.lux
index c09cde8bc..fea0ca422 100644
--- a/stdlib/source/lux/concurrency/actor.lux
+++ b/stdlib/source/lux/concurrency/actor.lux
@@ -5,7 +5,7 @@
                 ["ex" exception #+ exception:])
        [io #- run "io/" Monad<IO>]
        (data text/format
-             (coll [list "L/" Monoid<List> Monad<List> Fold<List>])
+             (coll [list "list/" Monoid<List> Monad<List> Fold<List>])
              [product])
        [meta #+ with-gensyms Monad<Meta>]
        (meta [code]
@@ -13,8 +13,8 @@
              (syntax ["cs" common]
                      (common ["csr" reader]
                              ["csw" writer]))
-             [type]
-             (type opaque)))
+             (type opaque))
+       (lang [type]))
   (.. ["A" atom]
       ["P" promise "P/" Monad<Promise>]
       ["T" task]
@@ -229,7 +229,7 @@
              g!behavior (code;local-symbol (behavior-name _name))
              g!actor (code;local-symbol _name)
              g!new (code;local-symbol (new-name _name))
-             g!vars (L/map code;local-symbol _vars)]]
+             g!vars (list/map code;local-symbol _vars)]]
       (wrap (list (` (type: (~@ (csw;export export)) ((~ g!type) (~@ g!vars))
                        (~ state-type)))
                   (` (type: (~@ (csw;export export)) ((~ g!actor) (~@ g!vars))
@@ -313,29 +313,29 @@
       [actor-name (resolve-actor actor-name)
        #let [g!type (code;symbol (product;both id state-name actor-name))
              g!message (code;local-symbol (get@ #name signature))
-             g!actor-vars (L/map code;local-symbol actor-vars)
+             g!actor-vars (list/map code;local-symbol actor-vars)
              g!actor (` ((~ (code;symbol actor-name)) (~@ g!actor-vars)))
-             g!all-vars (|> (get@ #vars signature) (L/map code;local-symbol) (L/compose g!actor-vars))
-             g!inputsC (|> (get@ #inputs signature) (L/map (|>. product;left code;local-symbol)))
-             g!inputsT (|> (get@ #inputs signature) (L/map product;right))
+             g!all-vars (|> (get@ #vars signature) (list/map code;local-symbol) (list/compose g!actor-vars))
+             g!inputsC (|> (get@ #inputs signature) (list/map (|>. product;left code;local-symbol)))
+             g!inputsT (|> (get@ #inputs signature) (list/map product;right))
              g!state (|> signature (get@ #state) code;local-symbol)
              g!self (|> signature (get@ #self) code;local-symbol)
              g!actor-refs (: (List Code)
                              (if (list;empty? actor-vars)
                                (list)
                                (|> actor-vars list;size n.dec
-                                   (list;n.range +0) (L/map (|>. code;nat (~) ($) (`))))))
+                                   (list;n.range +0) (list/map (|>. code;nat (~) ($) (`))))))
              ref-replacements (|> (if (list;empty? actor-vars)
                                     (list)
                                     (|> actor-vars list;size n.dec
-                                        (list;n.range +0) (L/map (|>. code;nat (~) ($) (`)))))
+                                        (list;n.range +0) (list/map (|>. code;nat (~) ($) (`)))))
                                   (: (List Code))
                                   (list;zip2 g!all-vars)
                                   (: (List [Code Code])))
-             g!outputT (L/fold (function [[g!var g!ref] outputT]
-                                 (code;replace g!var g!ref outputT))
-                               (get@ #output signature)
-                               ref-replacements)]]
+             g!outputT (list/fold (function [[g!var g!ref] outputT]
+                                    (code;replace g!var g!ref outputT))
+                                  (get@ #output signature)
+                                  ref-replacements)]]
       (wrap (list (` (def: (~@ (csw;export export)) ((~ g!message) (~@ g!inputsC) (~ g!self))
                        (~ (|> annotations
                               (with-message actor-name)
diff --git a/stdlib/source/lux/data/format/json.lux b/stdlib/source/lux/data/format/json.lux
index 899cd652a..8f664d6ea 100644
--- a/stdlib/source/lux/data/format/json.lux
+++ b/stdlib/source/lux/data/format/json.lux
@@ -20,8 +20,8 @@
        [meta #+ Monad<Meta> with-gensyms]
        (meta ["s" syntax #+ syntax:]
              [code]
-             [poly #+ poly:]
-             [type])
+             [poly #+ poly:])
+       (lang [type])
        ))
 
 (do-template [<name> <type>]
diff --git a/stdlib/source/lux/data/text/format.lux b/stdlib/source/lux/data/text/format.lux
index 323ce1efb..161288d86 100644
--- a/stdlib/source/lux/data/text/format.lux
+++ b/stdlib/source/lux/data/text/format.lux
@@ -14,8 +14,8 @@
              [date])
        [meta]
        (meta [code]
-             ["s" syntax #+ syntax: Syntax]
-             [type])))
+             ["s" syntax #+ syntax: Syntax])
+       (lang [type])))
 
 ## [Syntax]
 (def: #hidden _compose_
diff --git a/stdlib/source/lux/host.jvm.lux b/stdlib/source/lux/host.jvm.lux
index 6c3f18b19..1b77e3016 100644
--- a/stdlib/source/lux/host.jvm.lux
+++ b/stdlib/source/lux/host.jvm.lux
@@ -13,8 +13,8 @@
              [bool "bool/" Codec<Text,Bool>])
        [meta #+ with-gensyms Functor<Meta> Monad<Meta>]
        (meta [code]
-             ["s" syntax #+ syntax: Syntax]
-             [type])
+             ["s" syntax #+ syntax: Syntax])
+       (lang [type])
        ))
 
 (do-template [<name> <op> <from> <to>]
diff --git a/stdlib/source/lux/meta/type.lux b/stdlib/source/lux/lang/type.lux
index 9d6ed5162..9d6ed5162 100644
--- a/stdlib/source/lux/meta/type.lux
+++ b/stdlib/source/lux/lang/type.lux
diff --git a/stdlib/source/lux/meta/type/check.lux b/stdlib/source/lux/lang/type/check.lux
index 91e8f3bdf..cbf31ac08 100644
--- a/stdlib/source/lux/meta/type/check.lux
+++ b/stdlib/source/lux/lang/type/check.lux
@@ -11,7 +11,7 @@
              (coll [list]
                    [set #+ Set])
              ["e" error])
-       (meta [type "type/" Eq<Type>])
+       (lang [type "type/" Eq<Type>])
        ))
 
 (exception: #export Unknown-Type-Var)
diff --git a/stdlib/source/lux/meta/poly.lux b/stdlib/source/lux/meta/poly.lux
index c374e585c..432d9385a 100644
--- a/stdlib/source/lux/meta/poly.lux
+++ b/stdlib/source/lux/meta/poly.lux
@@ -18,8 +18,8 @@
              ["s" syntax #+ syntax: Syntax]
              (syntax ["cs" common]
                      (common ["csr" reader]
-                             ["csw" writer]))
-             [type]
+                             ["csw" writer])))
+       (lang [type]
              (type [check]))
        ))
 
diff --git a/stdlib/source/lux/meta/poly/eq.lux b/stdlib/source/lux/meta/poly/eq.lux
index 38386a6c8..a57a9e5de 100644
--- a/stdlib/source/lux/meta/poly/eq.lux
+++ b/stdlib/source/lux/meta/poly/eq.lux
@@ -24,8 +24,8 @@
              [syntax #+ syntax: Syntax]
              (syntax [common])
              [poly #+ poly:]
-             [type]
              (type [unit]))
+       (lang [type])
        ))
 
 ## [Derivers]
diff --git a/stdlib/source/lux/meta/poly/functor.lux b/stdlib/source/lux/meta/poly/functor.lux
index 7dc20edaf..0e140e9e4 100644
--- a/stdlib/source/lux/meta/poly/functor.lux
+++ b/stdlib/source/lux/meta/poly/functor.lux
@@ -11,8 +11,8 @@
        (meta [code]
              [syntax #+ syntax: Syntax]
              (syntax [common])
-             [poly #+ poly:]
-             [type])
+             [poly #+ poly:])
+       (lang [type])
        ))
 
 (poly: #export Functor<?>
diff --git a/stdlib/source/lux/meta/poly/json.lux b/stdlib/source/lux/meta/poly/json.lux
index 0569d03d5..703bbf109 100644
--- a/stdlib/source/lux/meta/poly/json.lux
+++ b/stdlib/source/lux/meta/poly/json.lux
@@ -10,7 +10,7 @@
              (text ["l" lexer])
              [number "frac/" Codec<Text,Frac> "nat/" Codec<Text,Nat>]
              maybe
-             ["E" error]
+             ["e" error]
              [sum]
              [product]
              (coll [list "list/" Fold<List> Monad<List>]
@@ -24,8 +24,8 @@
        (meta ["s" syntax #+ syntax:]
              [code]
              [poly #+ poly:]
-             [type]
              (type [unit]))
+       (lang [type])
        ))
 
 (def: #hidden _map_
@@ -63,7 +63,7 @@
 (struct: #hidden _ (Codec JSON Int)
   (def: encode (|>. int-to-nat (:: Codec<JSON,Nat> encode)))
   (def: decode
-    (|>. (:: Codec<JSON,Nat> decode) (:: E;Functor<Error> map nat-to-int))))
+    (|>. (:: Codec<JSON,Nat> decode) (:: e;Functor<Error> map nat-to-int))))
 
 (def: #hidden (nullable writer)
   {#;doc "Builds a JSON generator for potentially inexistent values."}
@@ -78,7 +78,7 @@
   (def: encode
     (|>. unit;out (:: Codec<JSON,Int> encode)))
   (def: decode
-    (|>. (:: Codec<JSON,Int> decode) (:: E;Functor<Error> map (unit;in carrier)))))
+    (|>. (:: Codec<JSON,Int> decode) (:: e;Functor<Error> map (unit;in carrier)))))
 
 (poly: #hidden Codec<JSON,?>//encode
   (with-expansions
diff --git a/stdlib/source/lux/meta/type/implicit.lux b/stdlib/source/lux/meta/type/implicit.lux
index a2013d3b1..54fec2626 100644
--- a/stdlib/source/lux/meta/type/implicit.lux
+++ b/stdlib/source/lux/meta/type/implicit.lux
@@ -13,8 +13,8 @@
              [maybe])
        [meta #+ Monad<Meta>]
        (meta [code]
-             ["s" syntax #+ syntax: Syntax]
-             [type]
+             ["s" syntax #+ syntax: Syntax])
+       (lang [type]
              (type ["tc" check #+ Check Monad<Check>]))
        ))
 
diff --git a/stdlib/source/lux/meta/type/object.lux b/stdlib/source/lux/meta/type/object.lux
index 43b563122..0eb354242 100644
--- a/stdlib/source/lux/meta/type/object.lux
+++ b/stdlib/source/lux/meta/type/object.lux
@@ -14,8 +14,8 @@
              ["s" syntax #+ syntax:]
              (syntax ["cs" common]
                      (common ["csr" reader]
-                             ["csw" writer]))
-             [type])))
+                             ["csw" writer])))
+       (lang [type])))
 
 ## [Common]
 (type: Declaration
diff --git a/stdlib/test/test/lux/meta/type.lux b/stdlib/test/test/lux/lang/type.lux
index abddcc033..a592df312 100644
--- a/stdlib/test/test/lux/meta/type.lux
+++ b/stdlib/test/test/lux/lang/type.lux
@@ -9,7 +9,7 @@
              [maybe]
              (coll [list]))
        ["r" math/random]
-       (meta ["&" type]))
+       (lang ["&" type]))
   lux/test)
 
 ## [Utils]
diff --git a/stdlib/test/test/lux/meta/type/check.lux b/stdlib/test/test/lux/lang/type/check.lux
index 127e02cbd..32f7e832b 100644
--- a/stdlib/test/test/lux/meta/type/check.lux
+++ b/stdlib/test/test/lux/lang/type/check.lux
@@ -11,7 +11,7 @@
              (coll [list "list/" Functor<List>]
                    [set]))
        ["r" math/random]
-       (meta [type "type/" Eq<Type>]
+       (lang [type "type/" Eq<Type>]
              ["@" type/check]))
   lux/test)
 
diff --git a/stdlib/test/test/lux/meta/type/implicit.lux b/stdlib/test/test/lux/meta/type/implicit.lux
index 8c05b01af..6d2344120 100644
--- a/stdlib/test/test/lux/meta/type/implicit.lux
+++ b/stdlib/test/test/lux/meta/type/implicit.lux
@@ -4,15 +4,12 @@
        (control [monad #+ do Monad]
                 functor
                 [eq])
-       (data [text "Text/" Monoid<Text>]
-             text/format
-             [number]
-             [bool "B/" Eq<Bool>]
+       (data [number]
+             [bool "bool/" Eq<Bool>]
              maybe
              (coll [list]))
        ["r" math/random]
-       (meta [type]
-             type/implicit))
+       (meta type/implicit))
   lux/test)
 
 (context: "Automatic structure selection"
@@ -22,11 +19,11 @@
          y r;nat]
         ($_ seq
             (test "Can automatically select first-order structures."
-                  (let [(^open "L/") (list;Eq<List> number;Eq<Nat>)]
-                    (and (B/= (:: number;Eq<Nat> = x y)
-                              (::: = x y))
-                         (L/= (list;n.range +1 +10)
-                              (::: map n.inc (list;n.range +0 +9)))
+                  (let [(^open "list/") (list;Eq<List> number;Eq<Nat>)]
+                    (and (bool/= (:: number;Eq<Nat> = x y)
+                                 (::: = x y))
+                         (list/= (list;n.range +1 +10)
+                                 (::: map n.inc (list;n.range +0 +9)))
                          )))
             
             (test "Can automatically select second-order structures."
diff --git a/stdlib/test/tests.lux b/stdlib/test/tests.lux
index d4e038774..3e1d6b5f3 100644
--- a/stdlib/test/tests.lux
+++ b/stdlib/test/tests.lux
@@ -66,11 +66,11 @@
                    ["_;" syntax]
                    (poly ["poly_;" eq]
                          ["poly_;" functor])
-                   ["_;" type]
-                   (type ["_;" check]
-                         ["_;" implicit]
+                   (type ["_;" implicit]
                          ["_;" object]))
-             (lang ["lang_;" syntax])
+             (lang ["lang_;" syntax]
+                   ["_;" type]
+                   (type ["_;" check]))
              (world ["_;" blob]
                     ["_;" file]
                     (net ["_;" tcp]