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

6 files changed, 15 insertions, 15 deletions

diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/jvm.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/jvm.lux
index c5044dba6..7835a454b 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/jvm.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/jvm.lux
@@ -12,13 +12,13 @@
     ["[0]" try (.only Try) (.open: "[1]#[0]" monad)]
     ["[0]" exception (.only exception:)]
     ["<>" parser (.only)
-     ["<[0]>" code (.only Parser)]
-     ["<[0]>" text]]]
+     ["<[0]>" code (.only Parser)]]]
    [data
     [binary (.only Binary)]
     ["[0]" product]
     ["[0]" text (.open: "[1]#[0]" equivalence)
-     ["%" format (.only format)]]
+     ["%" format (.only format)]
+     ["<[1]>" \\parser]]
     [collection
      ["[0]" list (.open: "[1]#[0]" mix monad monoid)]
      ["[0]" array]
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/directive/jvm.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/directive/jvm.lux
index e6c308b21..ff87daec1 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/directive/jvm.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/directive/jvm.lux
@@ -10,13 +10,13 @@
     ["[0]" exception]
     ["<>" parser (.open: "[1]#[0]" monad)
      ["<[0]>" code (.only Parser)]
-     ["<[0]>" text]
      ["<[0]>" synthesis]]]
    [data
     [binary (.only Binary)]
     ["[0]" product]
-    [text
-     ["%" format (.only format)]]
+    ["[0]" text
+     ["%" format (.only format)]
+     ["<[1]>" \\parser]]
     [collection
      ["[0]" list (.open: "[1]#[0]" functor mix)]
      ["[0]" dictionary]
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/jvm/host.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/jvm/host.lux
index 202f4b5e0..3bb78789c 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/jvm/host.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/jvm/host.lux
@@ -7,12 +7,12 @@
     ["[0]" maybe (.open: "[1]#[0]" functor)]
     ["[0]" exception (.only exception:)]
     ["<>" parser (.only)
-     ["<[0]>" text]
      ["<[0]>" synthesis (.only Parser)]]]
    [data
     ["[0]" product]
     ["[0]" text (.open: "[1]#[0]" equivalence)
-     ["%" format]]
+     ["%" format]
+     ["<[1]>" \\parser]]
     [collection
      ["[0]" list (.open: "[1]#[0]" monad mix monoid)]
      ["[0]" dictionary (.only Dictionary)]
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/syntax.lux b/stdlib/source/library/lux/tool/compiler/language/lux/syntax.lux
index d0bc4dbdc..6bde519da 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/syntax.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/syntax.lux
@@ -34,10 +34,10 @@
     ["[0]" maybe]
     ["[0]" exception (.only exception:)]
     ["<>" parser (.only)
-     [text (.only Offset)]
      ["<[0]>" code]]]
    [data
     ["[0]" text (.only)
+     [\\parser (.only Offset)]
      ["%" format (.only format)]]
     [collection
      ["[0]" list]
diff --git a/stdlib/source/library/lux/tool/compiler/meta/cli.lux b/stdlib/source/library/lux/tool/compiler/meta/cli.lux
index 40ae2eb84..d8ea47bf1 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/cli.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/cli.lux
@@ -7,12 +7,12 @@
    [control
     ["[0]" pipe]
     ["<>" parser (.only)
-     ["<[0]>" cli (.only Parser)]
-     ["<[0]>" text]]]
+     ["<[0]>" cli (.only Parser)]]]
    [data
     ["[0]" product]
     ["[0]" text (.only)
-     ["%" format]]
+     ["%" format]
+     ["<[1]>" \\parser]]
     [collection
      ["[0]" list (.open: "[1]#[0]" functor)]]]
    [macro
diff --git a/stdlib/source/library/lux/tool/compiler/meta/cli/compiler.lux b/stdlib/source/library/lux/tool/compiler/meta/cli/compiler.lux
index 84107e91d..317506075 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/cli/compiler.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/cli/compiler.lux
@@ -5,12 +5,12 @@
     [monad (.only do)]
     [equivalence (.only Equivalence)]]
    [control
-    ["<>" parser (.only)
-     ["<[0]>" text (.only Parser)]]]
+    ["<>" parser (.only)]]
    [data
     ["[0]" product]
     ["[0]" text (.only)
-     ["%" format]]
+     ["%" format]
+     ["<[1]>" \\parser (.only Parser)]]
     [collection
      ["[0]" list (.open: "[1]#[0]" functor)]]]
    [math