17 files changed, 46 insertions, 46 deletions
diff --git a/stdlib/source/library/lux/world/db/sql.lux b/stdlib/source/library/lux/world/db/sql.lux
index 9a2e04dc8..dee4d034f 100644
--- a/stdlib/source/library/lux/world/db/sql.lux
+++ b/stdlib/source/library/lux/world/db/sql.lux
@@ -14,7 +14,7 @@
     [macro
      ["[0]" template]]]
    [type
-    ["[0]" primitive (.except def)]]]])
+    ["[0]" nominal (.except def)]]]])
 
 (def parenthesize
   (-> Text Text)
@@ -22,7 +22,7 @@
 
 ... Kind
 (with_template [<declaration>]
-  [(primitive.def .public <declaration> Any)]
+  [(nominal.def .public <declaration> Any)]
 
   [Literal']
   [Column']
@@ -63,7 +63,7 @@
 
 (def .public no_alias Alias "")
 
-(primitive.def .public (SQL kind)
+(nominal.def .public (SQL kind)
   Text
 
   ... SQL
diff --git a/stdlib/source/library/lux/world/environment.lux b/stdlib/source/library/lux/world/environment.lux
index f391ea67c..42f8e8805 100644
--- a/stdlib/source/library/lux/world/environment.lux
+++ b/stdlib/source/library/lux/world/environment.lux
@@ -274,8 +274,8 @@
        ... @.scheme
        ... (these (ffi.import (exit [Int] "io" Nothing))
        ...        ... https://srfi.schemers.org/srfi-98/srfi-98.html
-       ...        (primitive.def Pair Any)
-       ...        (primitive.def PList Any)
+       ...        (nominal.def Pair Any)
+       ...        (nominal.def PList Any)
        ...        (ffi.import (get-environment-variables [] "io" PList))
        ...        (ffi.import (car [Pair] Text))
        ...        (ffi.import (cdr [Pair] Text))
diff --git a/stdlib/source/library/lux/world/file.lux b/stdlib/source/library/lux/world/file.lux
index 554d8c4f6..b27ffa2bc 100644
--- a/stdlib/source/library/lux/world/file.lux
+++ b/stdlib/source/library/lux/world/file.lux
@@ -512,7 +512,7 @@
 
        @.python
        (these (type (Tuple/2 left right)
-                (Primitive "python_tuple[2]" [left right]))
+                (Nominal "python_tuple[2]" [left right]))
 
               (ffi.import PyFile
                 "[1]::[0]"
diff --git a/stdlib/source/library/lux/world/file/watch.lux b/stdlib/source/library/lux/world/file/watch.lux
index b8d07c7fc..22e4c7330 100644
--- a/stdlib/source/library/lux/world/file/watch.lux
+++ b/stdlib/source/library/lux/world/file/watch.lux
@@ -29,13 +29,13 @@
    [meta
     ["@" target]
     [type
-     ["[0]" primitive (.only representation abstraction)]]]
+     ["[0]" nominal (.only representation abstraction)]]]
    [world
     [time
      ["[0]" instant (.only Instant) (.use "[1]#[0]" equivalence)]]]]]
  ["[0]" //])
 
-(primitive.def .public Concern
+(nominal.def .public Concern
   (Record
    [#creation Bit
     #modification Bit
diff --git a/stdlib/source/library/lux/world/locale.lux b/stdlib/source/library/lux/world/locale.lux
index f42c19e20..72df452e4 100644
--- a/stdlib/source/library/lux/world/locale.lux
+++ b/stdlib/source/library/lux/world/locale.lux
@@ -12,12 +12,12 @@
      ["[0]" encoding (.only Encoding)]]]
    [meta
     [type
-     ["[0]" primitive (.except def)]]]]]
+     ["[0]" nominal (.except def)]]]]]
  [/
   ["[0]" language (.only Language)]
   ["[0]" territory (.only Territory)]])
 
-(primitive.def .public Locale
+(nominal.def .public Locale
   Text
 
   (def territory_separator "_")
diff --git a/stdlib/source/library/lux/world/locale/language.lux b/stdlib/source/library/lux/world/locale/language.lux
index 31fa44455..ef62ab9a5 100644
--- a/stdlib/source/library/lux/world/locale/language.lux
+++ b/stdlib/source/library/lux/world/locale/language.lux
@@ -10,10 +10,10 @@
     [macro
      ["[0]" template]]
     [type
-     ["[0]" primitive (.except def #name)]]]]])
+     ["[0]" nominal (.except def #name)]]]]])
 
 ... https://en.wikipedia.org/wiki/List_of_ISO_639-2_codes
-(primitive.def .public Language
+(nominal.def .public Language
   (Record
    [#name Text
     #code Text])
diff --git a/stdlib/source/library/lux/world/locale/territory.lux b/stdlib/source/library/lux/world/locale/territory.lux
index bf33f64b6..5863a7e52 100644
--- a/stdlib/source/library/lux/world/locale/territory.lux
+++ b/stdlib/source/library/lux/world/locale/territory.lux
@@ -10,10 +10,10 @@
     [macro
      ["[0]" template]]
     [type
-     ["[0]" primitive (.except def #name)]]]]])
+     ["[0]" nominal (.except def #name)]]]]])
 
 ... https://en.wikipedia.org/wiki/ISO_3166-1
-(primitive.def .public Territory
+(nominal.def .public Territory
   (Record
    [#name Text
     #short Text
diff --git a/stdlib/source/library/lux/world/net/http/cookie.lux b/stdlib/source/library/lux/world/net/http/cookie.lux
index c8acede49..a07d0e114 100644
--- a/stdlib/source/library/lux/world/net/http/cookie.lux
+++ b/stdlib/source/library/lux/world/net/http/cookie.lux
@@ -21,7 +21,7 @@
      ["i" int]]]
    [meta
     [type
-     ["[0]" primitive (.only)]]]
+     ["[0]" nominal (.only)]]]
    [world
     ["[0]" time (.only)
      ["[0]" day]
@@ -130,13 +130,13 @@
   [http_only "HttpOnly"]
   )
 
-(primitive.def .public CSRF_Policy
+(nominal.def .public CSRF_Policy
   Text
 
   (with_template [<name> <value>]
     [(def .public <name>
        CSRF_Policy
-       (primitive.abstraction <value>))]
+       (nominal.abstraction <value>))]
     
     [strict "Strict"]
     [lax "Lax"]
@@ -145,7 +145,7 @@
   (def .public (same_site policy)
     (-> CSRF_Policy
         Attribute)
-    (..attribute (format "SameSite=" (primitive.representation policy))))
+    (..attribute (format "SameSite=" (nominal.representation policy))))
   )
 
 (type .public Jar
diff --git a/stdlib/source/library/lux/world/net/http/version.lux b/stdlib/source/library/lux/world/net/http/version.lux
index 51eab0f59..b3a466cb7 100644
--- a/stdlib/source/library/lux/world/net/http/version.lux
+++ b/stdlib/source/library/lux/world/net/http/version.lux
@@ -8,28 +8,28 @@
     ["[0]" text (.use "[1]#[0]" hash)]]
    [meta
     [type
-     ["[0]" primitive (.only)]]]]])
+     ["[0]" nominal (.only)]]]]])
 
-(primitive.def .public Version
+(nominal.def .public Version
   Text
 
   (def .public equivalence
     (Equivalence Version)
     (implementation
      (def (= reference it)
-       (text#= (primitive.representation reference)
-               (primitive.representation it)))))
+       (text#= (nominal.representation reference)
+               (nominal.representation it)))))
 
   (def .public hash
     (Hash Version)
     (implementation
      (def equivalence ..equivalence)
-     (def hash (|>> primitive.representation text#hash))))
+     (def hash (|>> nominal.representation text#hash))))
 
   (with_template [<name> <version>]
     [(def .public <name>
        Version
-       (primitive.abstraction <version>))]
+       (nominal.abstraction <version>))]
 
     [v0_9 "0.9"]
     [v1_0 "1.0"]
diff --git a/stdlib/source/library/lux/world/net/mime.lux b/stdlib/source/library/lux/world/net/mime.lux
index 409e13080..ab8b54c29 100644
--- a/stdlib/source/library/lux/world/net/mime.lux
+++ b/stdlib/source/library/lux/world/net/mime.lux
@@ -10,18 +10,18 @@
      ["[0]" encoding (.only Encoding)]]]
    [meta
     [type
-     ["[0]" primitive]]]]])
+     ["[0]" nominal]]]]])
 
-(primitive.def .public MIME
+(nominal.def .public MIME
   Text
 
   (def .public mime
     (-> Text MIME)
-    (|>> primitive.abstraction))
+    (|>> nominal.abstraction))
 
   (def .public name
     (-> MIME Text)
-    (|>> primitive.representation))
+    (|>> nominal.representation))
 
   (def .public equivalence
     (Equivalence MIME)
diff --git a/stdlib/source/library/lux/world/net/uri/scheme.lux b/stdlib/source/library/lux/world/net/uri/scheme.lux
index aabe810b1..108254cc2 100644
--- a/stdlib/source/library/lux/world/net/uri/scheme.lux
+++ b/stdlib/source/library/lux/world/net/uri/scheme.lux
@@ -8,16 +8,16 @@
     ["[0]" text]]
    [meta
     [type
-     ["[0]" primitive (.only)]]]]])
+     ["[0]" nominal (.only)]]]]])
 
 ... https://en.wikipedia.org/wiki/List_of_URI_schemes
-(primitive.def .public Scheme
+(nominal.def .public Scheme
   Text
 
   (with_template [<scheme> <name>]
     [(def .public <name>
        Scheme
-       (primitive.abstraction <scheme>))]
+       (nominal.abstraction <scheme>))]
 
     ["about" about]
     ["acap" acap]
@@ -125,11 +125,11 @@
 
   (def .public scheme
     (-> Text Scheme)
-    (|>> primitive.abstraction))
+    (|>> nominal.abstraction))
 
   (def .public name
     (-> Scheme Text)
-    (|>> primitive.representation))
+    (|>> nominal.representation))
 
   (def .public equivalence
     (Equivalence Scheme)
diff --git a/stdlib/source/library/lux/world/time.lux b/stdlib/source/library/lux/world/time.lux
index a1e2cea24..0848dbbb8 100644
--- a/stdlib/source/library/lux/world/time.lux
+++ b/stdlib/source/library/lux/world/time.lux
@@ -20,7 +20,7 @@
      ["n" nat (.use "[1]#[0]" decimal)]]]
    [meta
     [type
-     ["[0]" primitive (.except def)]]]]]
+     ["[0]" nominal (.except def)]]]]]
  [/
   ["[0]" duration (.only Duration)]])
 
@@ -79,7 +79,7 @@
   [..seconds second_parser invalid_second ..section_parser]
   )
 
-(primitive.def .public Time
+(nominal.def .public Time
   Nat
 
   (def .public midnight
diff --git a/stdlib/source/library/lux/world/time/date.lux b/stdlib/source/library/lux/world/time/date.lux
index cf6906bee..efa497d60 100644
--- a/stdlib/source/library/lux/world/time/date.lux
+++ b/stdlib/source/library/lux/world/time/date.lux
@@ -24,7 +24,7 @@
      ["i" int]]]
    [meta
     [type
-     ["[0]" primitive (.except def)]]]]]
+     ["[0]" nominal (.except def)]]]]]
  ["[0]" //
   ["[1][0]" year (.only Year)]
   ["[1][0]" month (.only Month)]])
@@ -69,7 +69,7 @@
 (def separator
   "-")
 
-(primitive.def .public Date
+(nominal.def .public Date
   (Record
    [#year Year
     #month Month
diff --git a/stdlib/source/library/lux/world/time/duration.lux b/stdlib/source/library/lux/world/time/duration.lux
index 3aca1d203..627348295 100644
--- a/stdlib/source/library/lux/world/time/duration.lux
+++ b/stdlib/source/library/lux/world/time/duration.lux
@@ -20,11 +20,11 @@
      ["[0]" nat (.use "[1]#[0]" decimal)]]]
    [meta
     [type
-     ["[0]" primitive (.except def)]]]]]
+     ["[0]" nominal (.except def)]]]]]
  ["[0]" //
   ["[1][0]" year]])
 
-(primitive.def .public Duration
+(nominal.def .public Duration
   Int
 
   (def .public of_millis
diff --git a/stdlib/source/library/lux/world/time/instant.lux b/stdlib/source/library/lux/world/time/instant.lux
index db49c57c6..a7b55a416 100644
--- a/stdlib/source/library/lux/world/time/instant.lux
+++ b/stdlib/source/library/lux/world/time/instant.lux
@@ -23,7 +23,7 @@
    [meta
     ["@" target]
     [type
-     ["[0]" primitive (.except def)]]]]]
+     ["[0]" nominal (.except def)]]]]]
  ["[0]" // (.only Time)
   ["[0]" duration (.only Duration)]
   ["[0]" year (.only Year)]
@@ -31,7 +31,7 @@
   ["[0]" day (.only Day)]
   ["[0]" date (.only Date)]])
 
-(primitive.def .public Instant
+(nominal.def .public Instant
   Int
 
   (def .public of_millis
@@ -161,7 +161,7 @@
   (io (..of_millis (for @.old ("jvm invokestatic:java.lang.System:currentTimeMillis:")
                         @.jvm (|> (.jvm_member_invoke_static# [] "java.lang.System" "currentTimeMillis" [])
                                   .jvm_object_cast#
-                                  (is (Primitive "java.lang.Long"))
+                                  (is (Nominal "java.lang.Long"))
                                   (as Int))
                         @.js (let [date ("js object new" ("js constant" "Date") [])]
                                (|> ("js object do" "getTime" date [])
diff --git a/stdlib/source/library/lux/world/time/solar.lux b/stdlib/source/library/lux/world/time/solar.lux
index 8c4ffa315..26163e511 100644
--- a/stdlib/source/library/lux/world/time/solar.lux
+++ b/stdlib/source/library/lux/world/time/solar.lux
@@ -16,7 +16,7 @@
    [meta
     ["@" target]
     [type
-     ["[0]" primitive (.except def)]]]]]
+     ["[0]" nominal (.except def)]]]]]
  ["[0]" //
   ["[1]" instant]
   ["[0]" duration (.only Duration)]])
@@ -24,7 +24,7 @@
 (type .public Zone
   Text)
 
-(primitive.def .public Instant
+(nominal.def .public Instant
   (Record
    [#utc //.Instant
     #zone Zone
diff --git a/stdlib/source/library/lux/world/time/year.lux b/stdlib/source/library/lux/world/time/year.lux
index 3dd0c9960..e53b84463 100644
--- a/stdlib/source/library/lux/world/time/year.lux
+++ b/stdlib/source/library/lux/world/time/year.lux
@@ -19,7 +19,7 @@
      ["i" int (.use "[1]#[0]" decimal)]]]
    [meta
     [type
-     ["[0]" primitive (.except def)]]]]])
+     ["[0]" nominal (.except def)]]]]])
 
 (def (internal year)
   (-> Int Int)
@@ -36,7 +36,7 @@
 (exception.def .public there_is_no_year_0)
 
 ... https://en.wikipedia.org/wiki/Gregorian_calendar
-(primitive.def .public Year
+(nominal.def .public Year
   Int
 
   (def .public (year value)