Re-named the "poly" hierarchy to "polytypic".

11 files changed, 37 insertions, 35 deletions

diff --git a/stdlib/source/program/aedifex/artifact/snapshot.lux b/stdlib/source/program/aedifex/artifact/snapshot.lux
index 59053e368..7784faa1f 100644
--- a/stdlib/source/program/aedifex/artifact/snapshot.lux
+++ b/stdlib/source/program/aedifex/artifact/snapshot.lux
@@ -6,10 +6,11 @@
     [monad (.only do)]]
    [control
     ["<>" parser (.only)
-     ["<[0]>" xml (.only Parser)]
-     ["<[0]>" text]]]
+     ["<[0]>" xml (.only Parser)]]]
    [data
     ["[0]" sum]
+    ["[0]" text
+     ["<[1]>" \\parser]]
     [format
      ["[0]" xml (.only XML)]]]]]
  ["[0]" /
diff --git a/stdlib/source/program/aedifex/artifact/snapshot/build.lux b/stdlib/source/program/aedifex/artifact/snapshot/build.lux
index 79c7ba794..641b37105 100644
--- a/stdlib/source/program/aedifex/artifact/snapshot/build.lux
+++ b/stdlib/source/program/aedifex/artifact/snapshot/build.lux
@@ -6,11 +6,11 @@
     [monad (.only do)]]
    [control
     ["<>" parser
-     ["<[0]>" xml (.only Parser)]
-     ["<[0]>" text]]]
+     ["<[0]>" xml (.only Parser)]]]
    [data
-    [text
-     ["%" format]]
+    ["[0]" text
+     ["%" format]
+     ["<[1]>" \\parser]]
     [format
      ["[0]" xml (.only XML)]]]
    [math
diff --git a/stdlib/source/program/aedifex/artifact/snapshot/stamp.lux b/stdlib/source/program/aedifex/artifact/snapshot/stamp.lux
index 0831be2b6..3365d685c 100644
--- a/stdlib/source/program/aedifex/artifact/snapshot/stamp.lux
+++ b/stdlib/source/program/aedifex/artifact/snapshot/stamp.lux
@@ -6,9 +6,10 @@
     [monad (.only do)]]
    [control
     ["<>" parser (.only)
-     ["<[0]>" xml (.only Parser)]
-     ["<[0]>" text]]]
+     ["<[0]>" xml (.only Parser)]]]
    [data
+    ["[0]" text
+     ["<[1]>" \\parser]]
     ["[0]" product]
     [format
      ["[0]" xml (.only XML)]]]]]
diff --git a/stdlib/source/program/aedifex/artifact/snapshot/time.lux b/stdlib/source/program/aedifex/artifact/snapshot/time.lux
index 732423ad2..64f0173d3 100644
--- a/stdlib/source/program/aedifex/artifact/snapshot/time.lux
+++ b/stdlib/source/program/aedifex/artifact/snapshot/time.lux
@@ -7,11 +7,11 @@
    [control
     ["[0]" exception (.only exception:)]
     ["<>" parser (.only)
-     ["<[0]>" text]
      ["<[0]>" xml (.only Parser)]]]
    [data
-    [text
-     ["%" format]]
+    ["[0]" text
+     ["%" format]
+     ["<[1]>" \\parser]]
     [format
      ["[0]" xml (.only XML)]]]
    [time
diff --git a/stdlib/source/program/aedifex/artifact/snapshot/version.lux b/stdlib/source/program/aedifex/artifact/snapshot/version.lux
index a8ee8cbef..bf26ae259 100644
--- a/stdlib/source/program/aedifex/artifact/snapshot/version.lux
+++ b/stdlib/source/program/aedifex/artifact/snapshot/version.lux
@@ -6,11 +6,11 @@
     [monad (.only do)]]
    [control
     ["<>" parser (.only)
-     ["<[0]>" xml (.only Parser)]
-     ["<[0]>" text]]]
+     ["<[0]>" xml (.only Parser)]]]
    [data
     ["[0]" product]
-    ["[0]" text]
+    ["[0]" text
+     ["<[1]>" \\parser]]
     [format
      ["[0]" xml (.only XML)]]]]]
  ["[0]" ///
diff --git a/stdlib/source/program/aedifex/artifact/time.lux b/stdlib/source/program/aedifex/artifact/time.lux
index c702b10b4..73f170d55 100644
--- a/stdlib/source/program/aedifex/artifact/time.lux
+++ b/stdlib/source/program/aedifex/artifact/time.lux
@@ -6,13 +6,13 @@
     [equivalence (.only Equivalence)]
     [monad (.only do)]]
    [control
-    ["[0]" try (.only Try)]
-    ["<>" parser (.only)
-     ["<[0]>" text (.only Parser)]]]
+    ["<>" parser (.only)]
+    ["[0]" try (.only Try)]]
    [data
     ["[0]" product]
-    [text
-     ["%" format (.only Format)]]]
+    ["[0]" text
+     ["%" format (.only Format)]
+     ["<[1]>" \\parser (.only Parser)]]]
    [time
     ["[0]" instant (.only Instant)]]]]
  ["[0]" /
diff --git a/stdlib/source/program/aedifex/artifact/time/date.lux b/stdlib/source/program/aedifex/artifact/time/date.lux
index 31a2f0f2a..85dee4278 100644
--- a/stdlib/source/program/aedifex/artifact/time/date.lux
+++ b/stdlib/source/program/aedifex/artifact/time/date.lux
@@ -5,13 +5,13 @@
     [monad (.only do)]
     [equivalence (.only Equivalence)]]
    [control
+    ["<>" parser]
     ["[0]" try (.only Try)]
-    ["[0]" exception (.only exception:)]
-    ["<>" parser
-     ["<[0]>" text (.only Parser)]]]
+    ["[0]" exception (.only exception:)]]
    [data
-    [text
-     ["%" format]]]
+    ["[0]" text
+     ["%" format]
+     ["<[1]>" \\parser (.only Parser)]]]
    [math
     [number
      ["n" nat]
diff --git a/stdlib/source/program/aedifex/artifact/time/time.lux b/stdlib/source/program/aedifex/artifact/time/time.lux
index e890d0231..4b4936563 100644
--- a/stdlib/source/program/aedifex/artifact/time/time.lux
+++ b/stdlib/source/program/aedifex/artifact/time/time.lux
@@ -5,11 +5,11 @@
    [abstract
     [monad (.only do)]]
    [control
-    ["<>" parser (.only)
-     ["<[0]>" text (.only Parser)]]]
+    ["<>" parser (.only)]]
    [data
-    [text
-     ["%" format]]]
+    ["[0]" text
+     ["%" format]
+     ["<[1]>" \\parser (.only Parser)]]]
    [math
     [number
      ["n" nat]]]]]
diff --git a/stdlib/source/program/aedifex/artifact/versioning.lux b/stdlib/source/program/aedifex/artifact/versioning.lux
index fb641b897..bc03b35bd 100644
--- a/stdlib/source/program/aedifex/artifact/versioning.lux
+++ b/stdlib/source/program/aedifex/artifact/versioning.lux
@@ -7,12 +7,12 @@
    [control
     ["[0]" exception (.only exception:)]
     ["<>" parser (.only)
-     ["<[0]>" xml (.only Parser)]
-     ["<[0]>" text]]]
+     ["<[0]>" xml (.only Parser)]]]
    [data
     ["[0]" product]
     ["[0]" text (.only)
-     ["%" format]]
+     ["%" format]
+     ["<[1]>" \\parser]]
     [format
      ["[0]" xml (.only XML)]]
     [collection
diff --git a/stdlib/source/program/aedifex/metadata/artifact.lux b/stdlib/source/program/aedifex/metadata/artifact.lux
index 7f491f3fd..c198845e6 100644
--- a/stdlib/source/program/aedifex/metadata/artifact.lux
+++ b/stdlib/source/program/aedifex/metadata/artifact.lux
@@ -8,14 +8,14 @@
     ["[0]" pipe]
     ["[0]" try (.only Try)]
     ["<>" parser (.only)
-     ["<[0]>" xml (.only Parser)]
-     ["<[0]>" text]]
+     ["<[0]>" xml (.only Parser)]]
     [concurrency
      ["[0]" async (.only Async)]]]
    [data
     ["[0]" product]
     ["[0]" text (.only)
      ["%" format]
+     ["<[1]>" \\parser]
      [encoding
       ["[0]" utf8]]]
     [format
diff --git a/stdlib/source/program/aedifex/metadata/snapshot.lux b/stdlib/source/program/aedifex/metadata/snapshot.lux
index 2d68d194b..c7b538232 100644
--- a/stdlib/source/program/aedifex/metadata/snapshot.lux
+++ b/stdlib/source/program/aedifex/metadata/snapshot.lux
@@ -9,14 +9,14 @@
     ["[0]" try (.only Try)]
     ["[0]" exception (.only exception:)]
     ["<>" parser (.only)
-     ["<[0]>" xml (.only Parser)]
-     ["<[0]>" text]]
+     ["<[0]>" xml (.only Parser)]]
     [concurrency
      ["[0]" async (.only Async)]]]
    [data
     ["[0]" product]
     ["[0]" text (.only)
      ["%" format]
+     ["<[1]>" \\parser]
      [encoding
       ["[0]" utf8]]]
     [format