Added index section to documentation + re-named Primitive -> Nominal

14 files changed, 190 insertions, 100 deletions

diff --git a/stdlib/source/test/lux/data/collection/array.lux b/stdlib/source/test/lux/data/collection/array.lux
index bbffbd0a3..a923891aa 100644
--- a/stdlib/source/test/lux/data/collection/array.lux
+++ b/stdlib/source/test/lux/data/collection/array.lux
@@ -155,11 +155,11 @@
                  (_.coverage [!.empty !.size]
                    (n.= size (!.size (is (Array Nat)
                                          (!.empty size)))))
-                 (_.coverage [!.primitive]
+                 (_.coverage [!.nominal]
                    (when !.Array
                      (<| {.#Named (symbol !.Array)}
                          {.#UnivQ (list)}
-                         {.#Primitive !.primitive (list _)})
+                         {.#Nominal !.nominal (list _)})
                      true
 
                      _
@@ -323,12 +323,12 @@
              (_.coverage [/.empty /.size]
                (n.= size (/.size (is (Array Nat)
                                      (/.empty size)))))
-             (_.coverage [/.primitive]
+             (_.coverage [/.nominal]
                (when /.Array
                  (<| {.#Named (symbol /.Array)}
                      {.#Named (symbol !.Array)}
                      {.#UnivQ (list)}
-                     {.#Primitive /.primitive (list _)})
+                     {.#Nominal /.nominal (list _)})
                  true
 
                  _
diff --git a/stdlib/source/test/lux/data/color.lux b/stdlib/source/test/lux/data/color.lux
index 7434e8c15..8198800e6 100644
--- a/stdlib/source/test/lux/data/color.lux
+++ b/stdlib/source/test/lux/data/color.lux
@@ -21,10 +21,12 @@
     ["_" property (.only Test)]]]]
  [\\library
   ["[0]" / (.only)
-   ["[0]" rgb]]]
+   ["[0]" rgb]
+   ["[0]" hsl]]]
  ["[0]" /
   ["[1][0]" rgb]
   ["[1][0]" cmyk]
+  ["[1][0]" hsl]
   ["[1][0]" named]
   ["[1][0]" terminal]])
 
@@ -63,14 +65,15 @@
 (def rgb_error_margin
   +1.8)
 
-(with_template [<field>]
-  [(def (<field> color)
+(with_template [<name> <field>]
+  [(def <name>
      (-> /.Color Frac)
-     (let [[hue saturation luminance] (/.hsl color)]
-       <field>))]
+     (|>> /.rgb
+          hsl.of_rgb
+          <field>))]
 
-  [saturation]
-  [luminance]
+  [saturation hsl.saturation]
+  [luminance hsl.luminance]
   )
 
 (def (encoding expected)
@@ -79,10 +82,6 @@
        (_.coverage [/.rgb /.of_rgb]
          (|> expected /.rgb /.of_rgb
              (at /.equivalence = expected)))
-       (_.coverage [/.HSL /.hsl /.of_hsl]
-         (|> expected /.hsl /.of_hsl
-             (distance/3 expected)
-             (f.<= ..rgb_error_margin)))
        (_.coverage [/.HSB /.hsb /.of_hsb]
          (|> expected /.hsb /.of_hsb
              (distance/3 expected)
@@ -215,6 +214,7 @@
 
              /rgb.test
              /cmyk.test
+             /hsl.test
              /named.test
              /terminal.test
              ))))
diff --git a/stdlib/source/test/lux/data/color/hsl.lux b/stdlib/source/test/lux/data/color/hsl.lux
new file mode 100644
index 000000000..b3221e03b
--- /dev/null
+++ b/stdlib/source/test/lux/data/color/hsl.lux
@@ -0,0 +1,89 @@
+(.require
+ [library
+  [lux (.except)
+   [abstract
+    [monad (.only do)]
+    [\\specification
+     ["[0]S" equivalence]]]
+   [control
+    ["[0]" try (.use "[1]#[0]" functor)]
+    ["[0]" exception]]
+   [math
+    ["[0]" random (.only Random)]
+    [number
+     ["f" frac]]]
+   [test
+    ["_" property (.only Test)]]]]
+ [\\library
+  ["[0]" / (.only)
+   [//
+    ["[0]" rgb]]]]
+ [//
+  ["[0]T" rgb]])
+
+(def .public value
+  (Random /.Value)
+  (random.one (|>> /.value try.maybe)
+              random.safe_frac))
+
+(def .public random
+  (Random /.HSL)
+  (do random.monad
+    [hue ..value
+     saturation ..value
+     luminance ..value]
+    (random.one (|>> try.maybe)
+                (in (/.hsl hue saturation luminance)))))
+
+(def .public test
+  Test
+  (<| (_.covering /._)
+      (do [! random.monad]
+        [expected_value ..value
+         expected_rgb rgbT.random
+         expected_hsl ..random])
+      (all _.and
+           (_.for [/.Value]
+                  (all _.and
+                       (_.coverage [/.value]
+                         (|> expected_value
+                             /.value
+                             (try#each (f.= expected_value))
+                             (try.else false)))
+                       (_.coverage [/.least]
+                         (when (/.value (f.+ +0.001 /.least))
+                           {try.#Failure _} false
+                           {try.#Success _} true))
+                       (_.coverage [/.most]
+                         (when (/.value (f.- +0.001 /.most))
+                           {try.#Failure _} false
+                           {try.#Success _} true))
+                       (_.coverage [/.invalid]
+                         (and (when (/.value (f.- +0.001 /.least))
+                                {try.#Failure it} (exception.match? /.invalid it)
+                                {try.#Success _} false)
+                              (when (/.value (f.+ +0.001 /.most))
+                                {try.#Failure it} (exception.match? /.invalid it)
+                                {try.#Success _} false)))
+                       ))
+           (_.for [/.HSL]
+                  (all _.and
+                       (_.for [/.equivalence]
+                              (equivalenceS.spec /.equivalence ..random))
+
+                       (_.coverage [/.hsl
+                                    /.hue /.saturation /.luminance]
+                         (|> (/.hsl (/.hue expected_hsl) (/.saturation expected_hsl) (/.luminance expected_hsl))
+                             (try#each (at /.equivalence = expected_hsl))
+                             (try.else false)))
+                       (_.coverage [/.of_rgb /.rgb]
+                         (and (|> expected_rgb
+                                  /.of_rgb
+                                  /.rgb
+                                  (at rgb.equivalence = expected_rgb))
+                              (|> expected_hsl
+                                  /.rgb
+                                  /.of_rgb
+                                  (at /.equivalence = expected_hsl))))
+                       ))
+           )))
diff --git a/stdlib/source/test/lux/ffi.old.lux b/stdlib/source/test/lux/ffi.old.lux
index 5feb469ec..e3ea06d48 100644
--- a/stdlib/source/test/lux/ffi.old.lux
+++ b/stdlib/source/test/lux/ffi.old.lux
@@ -235,9 +235,9 @@
                test/lux/ffi/TestInterface::current
                (i.= (i.+ increase counter))))
          (_.coverage [/.type]
-           (and (type#= (Primitive "java.lang.Char")
+           (and (type#= (Nominal "java.lang.Char")
                         (/.type java/lang/Char))
-                (type#= (Primitive "java.util.List" [(Primitive "java.lang.Byte")])
+                (type#= (Nominal "java.util.List" [(Nominal "java.lang.Byte")])
                         (/.type (java/util/List java/lang/Byte)))))
          )))
 
diff --git a/stdlib/source/test/lux/meta/compiler/language/lux/analysis/inference.lux b/stdlib/source/test/lux/meta/compiler/language/lux/analysis/inference.lux
index 21fb6b1df..0cfac766e 100644
--- a/stdlib/source/test/lux/meta/compiler/language/lux/analysis/inference.lux
+++ b/stdlib/source/test/lux/meta/compiler/language/lux/analysis/inference.lux
@@ -63,11 +63,11 @@
      configuration ($configuration.random 5)]
     (in (//.state (//.info version host configuration)))))
 
-(def primitive
+(def nominal
   (Random Type)
   (do random.monad
     [name (random.lower_cased 1)]
-    (in {.#Primitive name (list)})))
+    (in {.#Nominal name (list)})))
 
 (def analysis
   //.Phase
@@ -103,7 +103,7 @@
     [lux ..random_state
      .let [state [/extension.#bundle (/extension/analysis.bundle ..eval)
                   /extension.#state lux]]
-     expected ..primitive
+     expected ..nominal
      name ($symbol.random 1 1)
      [type/0 term/0] ..simple_parameter
      arity (at ! each (n.% 10) random.nat)
diff --git a/stdlib/source/test/lux/meta/compiler/language/lux/analysis/module.lux b/stdlib/source/test/lux/meta/compiler/language/lux/analysis/module.lux
index da666f219..26dd79c7b 100644
--- a/stdlib/source/test/lux/meta/compiler/language/lux/analysis/module.lux
+++ b/stdlib/source/test/lux/meta/compiler/language/lux/analysis/module.lux
@@ -36,11 +36,11 @@
      configuration ($configuration.random 5)]
     (in (//.state (//.info version host configuration)))))
 
-(def primitive
+(def nominal
   (Random Type)
   (do random.monad
     [name (random.lower_cased 1)]
-    (in {.#Primitive name (list)})))
+    (in {.#Nominal name (list)})))
 
 (def (new? hash it)
   (-> Nat .Module Bit)
@@ -199,7 +199,7 @@
      alias_name (random.lower_cased 3)
 
      public? random.bit
-     def_type ..primitive
+     def_type ..nominal
      arity (at ! each (|>> (n.% 10) ++) random.nat)
      labels|head (random.lower_cased 1)
      labels|tail (|> (random.lower_cased 1)
diff --git a/stdlib/source/test/lux/meta/compiler/language/lux/analysis/type.lux b/stdlib/source/test/lux/meta/compiler/language/lux/analysis/type.lux
index c6b2fcb7c..9699f635d 100644
--- a/stdlib/source/test/lux/meta/compiler/language/lux/analysis/type.lux
+++ b/stdlib/source/test/lux/meta/compiler/language/lux/analysis/type.lux
@@ -35,11 +35,11 @@
      configuration ($configuration.random 5)]
     (in (//.state (//.info version host configuration)))))
 
-(def primitive
+(def nominal
   (Random Type)
   (do random.monad
     [name (random.lower_cased 1)]
-    (in {.#Primitive name (list)})))
+    (in {.#Nominal name (list)})))
 
 (def .public test
   Test
@@ -48,9 +48,9 @@
         [lux ..random_state
          .let [state [/extension.#bundle /extension.empty
                       /extension.#state lux]]
-         expected ..primitive
+         expected ..nominal
          dummy (random.only (|>> (type#= expected) not)
-                            ..primitive)
+                            ..nominal)
          module (random.lower_cased 1)]
         (all _.and
              (_.coverage [/.expecting /.inference]
diff --git a/stdlib/source/test/lux/meta/compiler/language/lux/phase/analysis/complex.lux b/stdlib/source/test/lux/meta/compiler/language/lux/phase/analysis/complex.lux
index 0fb6d9f54..829452717 100644
--- a/stdlib/source/test/lux/meta/compiler/language/lux/phase/analysis/complex.lux
+++ b/stdlib/source/test/lux/meta/compiler/language/lux/phase/analysis/complex.lux
@@ -69,11 +69,11 @@
      configuration ($configuration.random 5)]
     (in (//analysis.state (//analysis.info version host configuration)))))
 
-(def primitive
+(def nominal
   (Random Type)
   (do random.monad
     [name (random.lower_cased 1)]
-    (in {.#Primitive name (list)})))
+    (in {.#Nominal name (list)})))
 
 (def analysis
   //analysis.Phase
diff --git a/stdlib/source/test/lux/meta/compiler/language/lux/phase/extension/analysis/lux.lux b/stdlib/source/test/lux/meta/compiler/language/lux/phase/extension/analysis/lux.lux
index 8d9aebda6..258333074 100644
--- a/stdlib/source/test/lux/meta/compiler/language/lux/phase/extension/analysis/lux.lux
+++ b/stdlib/source/test/lux/meta/compiler/language/lux/phase/extension/analysis/lux.lux
@@ -1,6 +1,6 @@
 (.require
  [library
-  [lux (.except i64 int primitive)
+  [lux (.except i64 int)
    [abstract
     ["[0]" monad (.only do)]]
    [data
diff --git a/stdlib/source/test/lux/meta/target/jvm.lux b/stdlib/source/test/lux/meta/target/jvm.lux
index b5039dcaf..514eecf1f 100644
--- a/stdlib/source/test/lux/meta/target/jvm.lux
+++ b/stdlib/source/test/lux/meta/target/jvm.lux
@@ -1,6 +1,6 @@
 (.require
  [library
-  [lux (.except Type Primitive Label int)
+  [lux (.except Type Label int)
    ["[0]" ffi (.only import)]
    [abstract
     ["[0]" monad (.only do)]]
diff --git a/stdlib/source/test/lux/meta/type.lux b/stdlib/source/test/lux/meta/type.lux
index 50cccc419..8c7e6cd9c 100644
--- a/stdlib/source/test/lux/meta/type.lux
+++ b/stdlib/source/test/lux/meta/type.lux
@@ -33,7 +33,7 @@
  [\\library
   ["[0]" / (.use "[1]#[0]" equivalence)]]
  ["[0]" /
-  ["[1][0]" primitive]
+  ["[1][0]" nominal]
   ["[1][0]" check]
   ["[1][0]" dynamic]
   ["[1][0]" implicit]
@@ -54,19 +54,19 @@
        _
        false)]))
 
-(def primitive
+(def nominal
   (Random Type)
   (|> (random.alpha_numeric 1)
       (at random.monad each (function (_ name)
-                              {.#Primitive name (list)}))))
+                              {.#Nominal name (list)}))))
 
 (def test|matches
   Test
   (<| (_.for [\\parser.types_do_not_match])
       (do [! random.monad]
-        [expected ..primitive
+        [expected ..nominal
          dummy (random.only (|>> (/#= expected) not)
-                            ..primitive)])
+                            ..nominal)])
       (all _.and
            (_.coverage [\\parser.exactly]
              (and (|> (\\parser.result (\\parser.exactly expected) expected)
@@ -99,9 +99,9 @@
 (def test|aggregate
   Test
   (do [! random.monad]
-    [expected_left ..primitive
-     expected_middle ..primitive
-     expected_right ..primitive]
+    [expected_left ..nominal
+     expected_middle ..nominal
+     expected_right ..nominal]
     (`` (all _.and
              (,, (with_template [<parser> <exception> <good_constructor> <bad_constructor>]
                    [(_.coverage [<parser> <exception>]
@@ -147,9 +147,9 @@
 (def test|parameter
   Test
   (do random.monad
-    [quantification ..primitive
-     argument ..primitive
-     not_parameter ..primitive
+    [quantification ..nominal
+     argument ..nominal
+     not_parameter ..nominal
      parameter random.nat]
     (all _.and
          (_.coverage [\\parser.not_parameter]
@@ -208,7 +208,7 @@
 (def test|polymorphic
   Test
   (do [! random.monad]
-    [not_polymorphic ..primitive
+    [not_polymorphic ..nominal
      expected_inputs (at ! each (|>> (n.% 10) ++) random.nat)]
     (all _.and
          (_.coverage [\\parser.not_polymorphic]
@@ -231,7 +231,7 @@
 (def test|recursive
   Test
   (do random.monad
-    [expected ..primitive]
+    [expected ..nominal]
     (all _.and
          (_.coverage [\\parser.recursive]
            (|> (.type_literal (Rec @ expected))
@@ -264,13 +264,13 @@
       (_.for [\\parser.Parser])
       (all _.and
            (do [! random.monad]
-             [expected ..primitive]
+             [expected ..nominal]
              (_.coverage [\\parser.result \\parser.any]
                (|> (\\parser.result \\parser.any expected)
                    (!expect (^.multi {try.#Success actual}
                                      (/#= expected actual))))))
            (do [! random.monad]
-             [expected ..primitive]
+             [expected ..nominal]
              (_.coverage [\\parser.next \\parser.unconsumed_input]
                (and (|> (\\parser.result (do <>.monad
                                            [actual \\parser.next
@@ -283,7 +283,7 @@
                         (!expect (^.multi {try.#Failure error}
                                           (exception.match? \\parser.unconsumed_input error)))))))
            (do [! random.monad]
-             [expected ..primitive]
+             [expected ..nominal]
              (_.coverage [\\parser.empty_input]
                (`` (and (,, (with_template [<parser>]
                               [(|> (\\parser.result (do <>.monad
@@ -297,7 +297,7 @@
                               [\\parser.next]
                               ))))))
            (do [! random.monad]
-             [expected ..primitive]
+             [expected ..nominal]
              (_.coverage [\\parser.Env \\parser.env \\parser.fresh]
                (|> (\\parser.result (do <>.monad
                                       [env \\parser.env
@@ -307,9 +307,9 @@
                    (!expect (^.multi {try.#Success environment}
                                      (same? \\parser.fresh environment))))))
            (do [! random.monad]
-             [expected ..primitive
+             [expected ..nominal
               dummy (random.only (|>> (/#= expected) not)
-                                 ..primitive)]
+                                 ..nominal)]
              (_.coverage [\\parser.local]
                (|> (\\parser.result (do <>.monad
                                       [_ \\parser.any]
@@ -328,7 +328,7 @@
            (do [! random.monad]
              [expected_name (random.and (random.alpha_numeric 1)
                                         (random.alpha_numeric 1))
-              expected_type ..primitive]
+              expected_type ..nominal]
              (_.coverage [\\parser.named \\parser.not_named]
                (|> (\\parser.result \\parser.named
                                     {.#Named expected_name expected_type})
@@ -359,9 +359,9 @@
      (let [pairG (random.and again again)
            un_parameterized (is (Random Type)
                                 (all random.either
-                                     (random#each (|>> {.#Primitive}) (random.and ..short (random.list 0 again)))
-                                     (random#each (|>> {.#Primitive}) (random.and ..short (random.list 1 again)))
-                                     (random#each (|>> {.#Primitive}) (random.and ..short (random.list 2 again)))
+                                     (random#each (|>> {.#Nominal}) (random.and ..short (random.list 0 again)))
+                                     (random#each (|>> {.#Nominal}) (random.and ..short (random.list 1 again)))
+                                     (random#each (|>> {.#Nominal}) (random.and ..short (random.list 2 again)))
                                      (random#each (|>> {.#Sum}) pairG)
                                      (random#each (|>> {.#Product}) pairG)
                                      (random#each (|>> {.#Function}) pairG)
@@ -491,8 +491,8 @@
               element_type (|> (..random 0)
                                (random.only (function (_ type)
                                               (when type
-                                                {.#Primitive name (list element_type)}
-                                                (not (text#= array.primitive name))
+                                                {.#Nominal name (list element_type)}
+                                                (not (text#= array.nominal name))
 
                                                 _
                                                 true))))
@@ -563,7 +563,7 @@
 
            ..\\parser
 
-           /primitive.test
+           /nominal.test
            /check.test
            /dynamic.test
            /implicit.test
diff --git a/stdlib/source/test/lux/meta/type/check.lux b/stdlib/source/test/lux/meta/type/check.lux
index 05b6dcba4..5fd953e73 100644
--- a/stdlib/source/test/lux/meta/type/check.lux
+++ b/stdlib/source/test/lux/meta/type/check.lux
@@ -61,7 +61,7 @@
            random_quantified (random.either (random#each (|>> {.#UnivQ}) quantifiedG)
                                             (random#each (|>> {.#ExQ}) quantifiedG))]
        (all random.either
-            (random#each (|>> {.#Primitive}) (random.and ..short (random#in (list))))
+            (random#each (|>> {.#Nominal}) (random.and ..short (random#in (list))))
             random_pair
             random_id
             random_quantified
@@ -75,7 +75,7 @@
 (def (valid_type? type)
   (-> Type Bit)
   (when type
-    {.#Primitive name params}
+    {.#Nominal name params}
     (list.every? valid_type? params)
     
     {.#Ex id}
@@ -118,16 +118,16 @@
               ($monad.spec ..injection ..comparison /.monad))
        ))
 
-(def (primitive_type parameters)
+(def (nominal_type parameters)
   (-> Nat (Random Type))
   (do random.monad
-    [primitive (random.upper_cased 3)
-     parameters (random.list parameters (primitive_type (-- parameters)))]
-    (in {.#Primitive primitive parameters})))
+    [nominal (random.upper_cased 3)
+     parameters (random.list parameters (nominal_type (-- parameters)))]
+    (in {.#Nominal nominal parameters})))
 
 (def clean_type
   (Random Type)
-  (primitive_type 2))
+  (nominal_type 2))
 
 (exception.def yolo)
 
@@ -214,7 +214,7 @@
                (when (/.result /.fresh_context
                                (do /.monad
                                  [[var_id var_type] /.var
-                                  _ (/.bind {.#Primitive nominal (list)}
+                                  _ (/.bind {.#Nominal nominal (list)}
                                             var_id)]
                                  (in true)))
                  {try.#Success _} true
@@ -225,7 +225,7 @@
                (and (|> (do /.monad
                           [[var_id var_type] /.var
                            pre (/.bound? var_id)
-                           _ (/.bind {.#Primitive nominal (list)}
+                           _ (/.bind {.#Nominal nominal (list)}
                                      var_id)
                            post (/.bound? var_id)]
                           (in (and (not pre)
@@ -248,9 +248,9 @@
                (when (/.result /.fresh_context
                                (do /.monad
                                  [[var_id var_type] /.var
-                                  _ (/.bind {.#Primitive nominal (list)}
+                                  _ (/.bind {.#Nominal nominal (list)}
                                             var_id)]
-                                 (/.bind {.#Primitive nominal (list)}
+                                 (/.bind {.#Nominal nominal (list)}
                                          var_id)))
                  {try.#Success _}
                  false
@@ -262,7 +262,7 @@
               var_id random.nat]
              (_.coverage [/.unknown_type_var]
                (when (/.result /.fresh_context
-                               (/.bind {.#Primitive nominal (list)}
+                               (/.bind {.#Nominal nominal (list)}
                                        var_id))
                  {try.#Success _}
                  false
@@ -271,7 +271,7 @@
                  (exception.match? /.unknown_type_var error))))
            (do random.monad
              [nominal (random.upper_cased 10)
-              .let [expected {.#Primitive nominal (list)}]]
+              .let [expected {.#Nominal nominal (list)}]]
              (_.coverage [/.peek]
                (and (|> (do /.monad
                           [[var_id var_type] /.var]
@@ -299,7 +299,7 @@
                           false)))))
            (do random.monad
              [nominal (random.upper_cased 10)
-              .let [expected {.#Primitive nominal (list)}]]
+              .let [expected {.#Nominal nominal (list)}]]
              (_.coverage [/.read]
                (when (/.result /.fresh_context
                                (do /.monad
@@ -313,7 +313,7 @@
                  false)))
            (do random.monad
              [nominal (random.upper_cased 10)
-              .let [expected {.#Primitive nominal (list)}]]
+              .let [expected {.#Nominal nominal (list)}]]
              (_.coverage [/.unbound_type_var]
                (when (/.result /.fresh_context
                                (do /.monad
@@ -383,7 +383,7 @@
   (Random Type)
   (do random.monad
     [name (random.upper_cased 10)]
-    (in {.#Primitive name (list)})))
+    (in {.#Nominal name (list)})))
 
 (def (non_twins = random)
   (All (_ a) (-> (-> a a Bit) (Random a) (Random [a a])))
@@ -401,22 +401,22 @@
 (def (handles_nominal_types! name/0 name/1 parameter/0 parameter/1)
   (-> Text Text Type Type Bit)
   (let [names_matter!
-        (and (..succeeds? (/.check {.#Primitive name/0 (list)}
-                                   {.#Primitive name/0 (list)}))
-             (..fails? (/.check {.#Primitive name/0 (list)}
-                                {.#Primitive name/1 (list)})))
+        (and (..succeeds? (/.check {.#Nominal name/0 (list)}
+                                   {.#Nominal name/0 (list)}))
+             (..fails? (/.check {.#Nominal name/0 (list)}
+                                {.#Nominal name/1 (list)})))
 
         parameters_matter!
-        (and (..succeeds? (/.check {.#Primitive name/0 (list parameter/0)}
-                                   {.#Primitive name/0 (list parameter/0)}))
-             (..fails? (/.check {.#Primitive name/0 (list parameter/0)}
-                                {.#Primitive name/0 (list parameter/1)})))
+        (and (..succeeds? (/.check {.#Nominal name/0 (list parameter/0)}
+                                   {.#Nominal name/0 (list parameter/0)}))
+             (..fails? (/.check {.#Nominal name/0 (list parameter/0)}
+                                {.#Nominal name/0 (list parameter/1)})))
 
         covariant_parameters!
-        (and (..succeeds? (/.check {.#Primitive name/0 (list Super)}
-                                   {.#Primitive name/0 (list Sub)}))
-             (..fails? (/.check {.#Primitive name/0 (list Sub)}
-                                {.#Primitive name/0 (list Super)})))]
+        (and (..succeeds? (/.check {.#Nominal name/0 (list Super)}
+                                   {.#Nominal name/0 (list Sub)}))
+             (..fails? (/.check {.#Nominal name/0 (list Sub)}
+                                {.#Nominal name/0 (list Super)})))]
     (and names_matter!
          parameters_matter!
          covariant_parameters!)))
@@ -424,8 +424,8 @@
 (with_template [<assertion> <combinator>]
   [(def (<assertion> name/0 name/1)
      (-> Text Text Bit)
-     (let [pair/0 {<combinator> {.#Primitive name/0 (list)} {.#Primitive name/0 (list)}}
-           pair/1 {<combinator> {.#Primitive name/1 (list)} {.#Primitive name/1 (list)}}
+     (let [pair/0 {<combinator> {.#Nominal name/0 (list)} {.#Nominal name/0 (list)}}
+           pair/1 {<combinator> {.#Nominal name/1 (list)} {.#Nominal name/1 (list)}}
            
            invariant!
            (and (..succeeds? (/.check pair/0 pair/0))
@@ -713,7 +713,7 @@
                 [name (random.upper_cased 10)
                  parameterT dirty_type]
                 (in (function (_ holeT)
-                      {.#Primitive name (list (parameterT holeT))})))
+                      {.#Nominal name (list (parameterT holeT))})))
               (,, (with_template [<tag>]
                     [(do [! random.monad]
                        [funcT dirty_type
@@ -765,18 +765,18 @@
 (def for_subsumption|nominal
   (Random Bit)
   (do random.monad
-    [primitive (random.upper_cased 10)
+    [nominal (random.upper_cased 10)
      example ..clean_type]
-    (in (and (/.subsumes? {.#Primitive primitive (list)}
-                          {.#Primitive primitive (list)})
-             (/.subsumes? {.#Primitive primitive (list .Any)}
-                          {.#Primitive primitive (list example)})
-             (not (/.subsumes? {.#Primitive primitive (list example)}
-                               {.#Primitive primitive (list .Any)}))
-             (/.subsumes? {.#Primitive primitive (list example)}
-                          {.#Primitive primitive (list .Nothing)})
-             (not (/.subsumes? {.#Primitive primitive (list .Nothing)}
-                               {.#Primitive primitive (list example)}))
+    (in (and (/.subsumes? {.#Nominal nominal (list)}
+                          {.#Nominal nominal (list)})
+             (/.subsumes? {.#Nominal nominal (list .Any)}
+                          {.#Nominal nominal (list example)})
+             (not (/.subsumes? {.#Nominal nominal (list example)}
+                               {.#Nominal nominal (list .Any)}))
+             (/.subsumes? {.#Nominal nominal (list example)}
+                          {.#Nominal nominal (list .Nothing)})
+             (not (/.subsumes? {.#Nominal nominal (list .Nothing)}
+                               {.#Nominal nominal (list example)}))
              ))))
 
 (def for_subsumption|sum
diff --git a/stdlib/source/test/lux/meta/type/primitive.lux b/stdlib/source/test/lux/meta/type/nominal.lux
index c0bf30297..c0bf30297 100644
--- a/stdlib/source/test/lux/meta/type/primitive.lux
+++ b/stdlib/source/test/lux/meta/type/nominal.lux
diff --git a/stdlib/source/test/lux/world/net.lux b/stdlib/source/test/lux/world/net.lux
index ddcd8dcfd..13fb27295 100644
--- a/stdlib/source/test/lux/world/net.lux
+++ b/stdlib/source/test/lux/world/net.lux
@@ -24,7 +24,8 @@
              true)
            (_.coverage [/.URL]
              true)
-           (_.coverage [/.Address]
+           (_.coverage [/.Address
+                        /.#host /.#port]
              true)
 
            /mime.test