11 files changed, 33 insertions, 22 deletions
diff --git a/stdlib/source/test/lux/meta/type.lux b/stdlib/source/test/lux/meta/type.lux
index 79432b2bc..226533dd1 100644
--- a/stdlib/source/test/lux/meta/type.lux
+++ b/stdlib/source/test/lux/meta/type.lux
@@ -1,7 +1,6 @@
 (.require
  [library
   [lux (.except symbol)
-   ["_" test (.only Test)]
    [abstract
     ["[0]" monad (.only do)]
     [\\specification
@@ -27,7 +26,9 @@
     ["[0]" symbol (.use "[1]#[0]" equivalence)]
     ["[0]" code (.use "[1]#[0]" equivalence)]
     [macro
-     ["^" pattern]]]]]
+     ["^" pattern]]]
+   [test
+    ["_" property (.only Test)]]]]
  ["[0]" \\parser]
  [\\library
   ["[0]" / (.use "[1]#[0]" equivalence)]]
diff --git a/stdlib/source/test/lux/meta/type/check.lux b/stdlib/source/test/lux/meta/type/check.lux
index e1974368d..f6874ae5f 100644
--- a/stdlib/source/test/lux/meta/type/check.lux
+++ b/stdlib/source/test/lux/meta/type/check.lux
@@ -1,7 +1,6 @@
 (.require
  [library
   [lux (.except symbol type)
-   ["_" test (.only Test)]
    [abstract
     ["[0]" monad (.only do)]
     [\\specification
@@ -27,7 +26,9 @@
      ["n" nat]]]
    [meta
     [macro
-     ["^" pattern]]]]]
+     ["^" pattern]]]
+   [test
+    ["_" property (.only Test)]]]]
  [\\library
   ["[0]" / (.only)
    ["/[1]" // (.use "[1]#[0]" equivalence)]]])
diff --git a/stdlib/source/test/lux/meta/type/dynamic.lux b/stdlib/source/test/lux/meta/type/dynamic.lux
index 595a1da05..78382883f 100644
--- a/stdlib/source/test/lux/meta/type/dynamic.lux
+++ b/stdlib/source/test/lux/meta/type/dynamic.lux
@@ -1,7 +1,6 @@
 (.require
  [library
   [lux (.except)
-   ["_" test (.only Test)]
    [abstract
     [monad (.only do)]]
    [control
@@ -13,7 +12,9 @@
    [math
     ["[0]" random (.only Random)]
     [number
-     ["n" nat]]]]]
+     ["n" nat]]]
+   [test
+    ["_" property (.only Test)]]]]
  [\\library
   ["[0]" /]])
 
diff --git a/stdlib/source/test/lux/meta/type/implicit.lux b/stdlib/source/test/lux/meta/type/implicit.lux
index 299ae7464..66daa4a32 100644
--- a/stdlib/source/test/lux/meta/type/implicit.lux
+++ b/stdlib/source/test/lux/meta/type/implicit.lux
@@ -1,7 +1,6 @@
 (.require
  [library
   [lux (.except)
-   ["_" test (.only Test)]
    [abstract
     [equivalence (.only)]
     [functor (.only)]
@@ -15,7 +14,9 @@
    [math
     ["[0]" random (.only Random)]
     [number
-     ["n" nat]]]]]
+     ["n" nat]]]
+   [test
+    ["_" property (.only Test)]]]]
  [\\library
   ["[0]" /]])
 
diff --git a/stdlib/source/test/lux/meta/type/primitive.lux b/stdlib/source/test/lux/meta/type/primitive.lux
index 899c0d75b..d87a17059 100644
--- a/stdlib/source/test/lux/meta/type/primitive.lux
+++ b/stdlib/source/test/lux/meta/type/primitive.lux
@@ -1,7 +1,6 @@
 (.require
  [library
   [lux (.except)
-   ["_" test (.only Test)]
    [abstract
     [monad (.only do)]]
    [control
@@ -18,7 +17,9 @@
      ["<[1]>" \\parser]]
     ["[0]" macro (.only)
      [syntax (.only syntax)]
-     ["[0]" template]]]]]
+     ["[0]" template]]]
+   [test
+    ["_" property (.only Test)]]]]
  [\\library
   ["[0]" /]])
 
diff --git a/stdlib/source/test/lux/meta/type/quotient.lux b/stdlib/source/test/lux/meta/type/quotient.lux
index 72d39b19d..aac5e212e 100644
--- a/stdlib/source/test/lux/meta/type/quotient.lux
+++ b/stdlib/source/test/lux/meta/type/quotient.lux
@@ -1,7 +1,6 @@
 (.require
  [library
   [lux (.except)
-   ["_" test (.only Test)]
    [abstract
     ["[0]" monad (.only do)]
     [\\specification
@@ -12,7 +11,9 @@
    [math
     ["[0]" random (.only Random)]
     [number
-     ["n" nat (.use "[1]#[0]" equivalence)]]]]]
+     ["n" nat (.use "[1]#[0]" equivalence)]]]
+   [test
+    ["_" property (.only Test)]]]]
  [\\library
   ["[0]" /]])
 
diff --git a/stdlib/source/test/lux/meta/type/refinement.lux b/stdlib/source/test/lux/meta/type/refinement.lux
index 711d0401f..845c878fd 100644
--- a/stdlib/source/test/lux/meta/type/refinement.lux
+++ b/stdlib/source/test/lux/meta/type/refinement.lux
@@ -1,7 +1,6 @@
 (.require
  [library
   [lux (.except)
-   ["_" test (.only Test)]
    [abstract
     [monad (.only do)]]
    [control
@@ -14,7 +13,9 @@
    [math
     ["[0]" random]
     [number
-     ["n" nat]]]]]
+     ["n" nat]]]
+   [test
+    ["_" property (.only Test)]]]]
  [\\library
   ["[0]" /]])
 
diff --git a/stdlib/source/test/lux/meta/type/resource.lux b/stdlib/source/test/lux/meta/type/resource.lux
index 0935d0c2e..25c44d81a 100644
--- a/stdlib/source/test/lux/meta/type/resource.lux
+++ b/stdlib/source/test/lux/meta/type/resource.lux
@@ -22,8 +22,9 @@
     [macro
      [syntax (.only syntax)]
      ["[0]" expansion]]]
-   ["_" test (.only Test)
-    ["[0]" unit]]]]
+   [test
+    ["[0]" unit]
+    ["_" property (.only Test)]]]]
  [\\library
   ["[0]" / (.only Res)]])
 
diff --git a/stdlib/source/test/lux/meta/type/unit.lux b/stdlib/source/test/lux/meta/type/unit.lux
index 8be5095df..c31abd6b0 100644
--- a/stdlib/source/test/lux/meta/type/unit.lux
+++ b/stdlib/source/test/lux/meta/type/unit.lux
@@ -1,7 +1,6 @@
 (.require
  [library
   [lux (.except)
-   ["_" test (.only Test)]
    [abstract
     [monad (.only do)]
     [equivalence (.only Equivalence)]
@@ -12,7 +11,9 @@
    [math
     ["[0]" random (.only Random)]
     [number
-     ["i" int]]]]]
+     ["i" int]]]
+   [test
+    ["_" property (.only Test)]]]]
  [\\library
   ["[0]" /]]
  ["[0]" /
diff --git a/stdlib/source/test/lux/meta/type/unit/scale.lux b/stdlib/source/test/lux/meta/type/unit/scale.lux
index 6a4a8c625..82ac4fb05 100644
--- a/stdlib/source/test/lux/meta/type/unit/scale.lux
+++ b/stdlib/source/test/lux/meta/type/unit/scale.lux
@@ -1,7 +1,6 @@
 (.require
  [library
   [lux (.except)
-   ["_" test (.only Test)]
    [abstract
     [monad (.only do)]
     [equivalence (.only Equivalence)]]
@@ -13,7 +12,9 @@
    ["[0]" meta (.only)
     ["[0]" code]
     [macro
-     [syntax (.only syntax)]]]]]
+     [syntax (.only syntax)]]]
+   [test
+    ["_" property (.only Test)]]]]
  [\\library
   ["[0]" / (.only)
    ["/[1]" //]]])
diff --git a/stdlib/source/test/lux/meta/type/variance.lux b/stdlib/source/test/lux/meta/type/variance.lux
index 911c68067..494aa23f9 100644
--- a/stdlib/source/test/lux/meta/type/variance.lux
+++ b/stdlib/source/test/lux/meta/type/variance.lux
@@ -1,11 +1,12 @@
 (.require
  [library
   [lux (.except)
-   ["_" test (.only Test)]
    [abstract
     [monad (.only do)]]
    [math
-    ["[0]" random (.only Random)]]]]
+    ["[0]" random (.only Random)]]
+   [test
+    ["_" property (.only Test)]]]]
  [\\library
   ["[0]" / (.only)
    ["/[1]" // (.only)