Re-named "prelude_module" to "prelude".

1 files changed, 83 insertions, 83 deletions

diff --git a/stdlib/source/library/lux.lux b/stdlib/source/library/lux.lux
index 2eaeec883..e14e1a7e3 100644
--- a/stdlib/source/library/lux.lux
+++ b/stdlib/source/library/lux.lux
@@ -10,7 +10,7 @@
  ("lux i64 char" +10)
  #0)
 
-("lux def" prelude_module
+("lux def" prelude
  "library/lux"
  #1)
 
@@ -19,7 +19,7 @@
 ("lux def" Any
  ("lux type check type"
   {9 #1
-     [..prelude_module "Any"]
+     [..prelude "Any"]
      {8 #0
         {0 #0}
         {4 #0 1}}})
@@ -30,7 +30,7 @@
 ("lux def" Nothing
  ("lux type check type"
   {9 #1
-     [..prelude_module "Nothing"]
+     [..prelude "Nothing"]
      {7 #0
         {0 #0}
         {4 #0 1}}})
@@ -42,7 +42,7 @@
 ...    {#Item a (List a)}))
 ("lux def type tagged" List
  {9 #1
-    [..prelude_module "List"]
+    [..prelude "List"]
     {7 #0
        {0 #0}
        {1 #0
@@ -60,14 +60,14 @@
 ("lux def" Bit
  ("lux type check type"
   {9 #1
-     [..prelude_module "Bit"]
+     [..prelude "Bit"]
      {0 #0 "#Bit" {#End}}})
  #1)
 
 ("lux def" I64
  ("lux type check type"
   {9 #1
-     [..prelude_module "I64"]
+     [..prelude "I64"]
      {7 #0
         {0 #0}
         {0 #0 "#I64" {#Item {4 #0 1} {#End}}}}})
@@ -76,42 +76,42 @@
 ("lux def" Nat
  ("lux type check type"
   {9 #1
-     [..prelude_module "Nat"]
+     [..prelude "Nat"]
      {0 #0 "#I64" {#Item {0 #0 "#Nat" {#End}} {#End}}}})
  #1)
 
 ("lux def" Int
  ("lux type check type"
   {9 #1
-     [..prelude_module "Int"]
+     [..prelude "Int"]
      {0 #0 "#I64" {#Item {0 #0 "#Int" {#End}} {#End}}}})
  #1)
 
 ("lux def" Rev
  ("lux type check type"
   {9 #1
-     [..prelude_module "Rev"]
+     [..prelude "Rev"]
      {0 #0 "#I64" {#Item {0 #0 "#Rev" {#End}} {#End}}}})
  #1)
 
 ("lux def" Frac
  ("lux type check type"
   {9 #1
-     [..prelude_module "Frac"]
+     [..prelude "Frac"]
      {0 #0 "#Frac" {#End}}})
  #1)
 
 ("lux def" Text
  ("lux type check type"
   {9 #1
-     [..prelude_module "Text"]
+     [..prelude "Text"]
      {0 #0 "#Text" {#End}}})
  #1)
 
 ("lux def" Symbol
  ("lux type check type"
   {9 #1
-     [..prelude_module "Symbol"]
+     [..prelude "Symbol"]
      {2 #0 Text Text}})
  #1)
 
@@ -120,7 +120,7 @@
 ...   {#Some a})
 ("lux def type tagged" Maybe
  {9 #1
-    [..prelude_module "Maybe"]
+    [..prelude "Maybe"]
     {7 #0
        {#End}
        {1 #0
@@ -146,7 +146,7 @@
 ...      {#Apply Type Type}
 ...      {#Named Symbol Type})))
 ("lux def type tagged" Type
- {9 #1 [..prelude_module "Type"]
+ {9 #1 [..prelude "Type"]
     ({Type
       ({Type_List
         ({Type_Pair
@@ -198,7 +198,7 @@
 ...     #line   Nat
 ...     #column Nat]))
 ("lux def type tagged" Location
- {#Named [..prelude_module "Location"]
+ {#Named [..prelude "Location"]
          {#Product Text {#Product Nat Nat}}}
  ["#module" "#line" "#column"]
  #1)
@@ -208,7 +208,7 @@
 ...    [#meta  m
 ...     #datum v]))
 ("lux def type tagged" Ann
- {#Named [..prelude_module "Ann"]
+ {#Named [..prelude "Ann"]
          {#UnivQ {#End}
                  {#UnivQ {#End}
                          {#Product
@@ -230,7 +230,7 @@
 ...    {#Variant (List (w (Code' w)))}
 ...    {#Tuple (List (w (Code' w)))}))
 ("lux def type tagged" Code'
- {#Named [..prelude_module "Code'"]
+ {#Named [..prelude "Code'"]
          ({Code
            ({Code_List
              {#UnivQ {#End}
@@ -276,7 +276,7 @@
 ...   (Ann Location (Code' (Ann Location))))
 ("lux def" Code
  ("lux type check type"
-  {#Named [..prelude_module "Code"]
+  {#Named [..prelude "Code"]
           ({w
             {#Apply {#Apply w Code'} w}}
            ("lux type check type" {#Apply Location Ann}))})
@@ -365,7 +365,7 @@
 ...   [Bit Type Any])
 ("lux def" Definition
  ("lux type check type"
-  {#Named [..prelude_module "Definition"]
+  {#Named [..prelude "Definition"]
           {#Product Bit {#Product Type Any}}})
  .public)
 
@@ -373,7 +373,7 @@
 ...   Symbol)
 ("lux def" Alias
  ("lux type check type"
-  {#Named [..prelude_module "Alias"]
+  {#Named [..prelude "Alias"]
           Symbol})
  .public)
 
@@ -381,7 +381,7 @@
 ...   [Bit Type (List Text) Nat])
 ("lux def" Label
  ("lux type check type"
-  {#Named [..prelude_module "Label"]
+  {#Named [..prelude "Label"]
           {#Product Bit {#Product Type {#Product {#Apply Text List} Nat}}}})
  .public)
 
@@ -393,7 +393,7 @@
 ...    {#Slot Label}
 ...    {#Alias Alias}))
 ("lux def type tagged" Global
- {#Named [..prelude_module "Global"]
+ {#Named [..prelude "Global"]
          {#Sum Definition
                {#Sum ({labels
                        {#Product Bit {#Product Type {#Sum labels labels}}}}
@@ -409,7 +409,7 @@
 ...    [#counter Nat
 ...     #mappings (List [k v])]))
 ("lux def type tagged" Bindings
- {#Named [..prelude_module "Bindings"]
+ {#Named [..prelude "Bindings"]
          {#UnivQ {#End}
                  {#UnivQ {#End}
                          {#Product
@@ -426,7 +426,7 @@
 ...   {#Local Nat}
 ...   {#Captured Nat})
 ("lux def type tagged" Ref
- {#Named [..prelude_module "Ref"]
+ {#Named [..prelude "Ref"]
          {#Sum
           ... Local
           Nat
@@ -443,7 +443,7 @@
 ...     #locals   (Bindings Text [Type Nat])
 ...     #captured (Bindings Text [Type Ref])]))
 ("lux def type tagged" Scope
- {#Named [..prelude_module "Scope"]
+ {#Named [..prelude "Scope"]
          {#Product
           ... name
           {#Apply Text List}
@@ -468,7 +468,7 @@
 ...    {#Left l}
 ...    {#Right r}))
 ("lux def type tagged" Either
- {#Named [..prelude_module "Either"]
+ {#Named [..prelude "Either"]
          {#UnivQ {#End}
                  {#UnivQ {#End}
                          {#Sum
@@ -483,7 +483,7 @@
 ...   [Location Nat Text])
 ("lux def" Source
  ("lux type check type"
-  {#Named [..prelude_module "Source"]
+  {#Named [..prelude "Source"]
           {#Product Location {#Product Nat Text}}})
  .public)
 
@@ -493,7 +493,7 @@
 ...    #Compiled
 ...    #Cached))
 ("lux def type tagged" Module_State
- {#Named [..prelude_module "Module_State"]
+ {#Named [..prelude "Module_State"]
          {#Sum
           ... #Active
           Any
@@ -513,7 +513,7 @@
 ...     #imports            (List Text)
 ...     #module_state       Module_State]))
 ("lux def type tagged" Module
- {#Named [..prelude_module "Module"]
+ {#Named [..prelude "Module"]
          {#Product
           ... module_hash
           Nat
@@ -538,7 +538,7 @@
 ...     #var_counter Nat
 ...     #var_bindings (List [Nat (Maybe Type)])]))
 ("lux def type tagged" Type_Context
- {#Named [..prelude_module "Type_Context"]
+ {#Named [..prelude "Type_Context"]
          {#Product ... ex_counter
           Nat
           {#Product ... var_counter
@@ -554,7 +554,7 @@
 ...   #Eval
 ...   #Interpreter)
 ("lux def type tagged" Mode
- {#Named [..prelude_module "Mode"]
+ {#Named [..prelude "Mode"]
          {#Sum ... Build
           Any
           {#Sum ... Eval
@@ -571,7 +571,7 @@
 ...     #mode          Mode
 ...     #configuration (List [Text Text])]))
 ("lux def type tagged" Info
- {#Named [..prelude_module "Info"]
+ {#Named [..prelude "Info"]
          {#Product
           ... target
           Text
@@ -603,7 +603,7 @@
 ...       #eval            (-> Type Code (-> Lux (Either Text [Lux Any])))
 ...       #host            Any])))
 ("lux def type tagged" Lux
- {#Named [..prelude_module "Lux"]
+ {#Named [..prelude "Lux"]
          ({Lux
            {#Apply {0 #0 ["" {#End}]}
                    {#UnivQ {#End}
@@ -656,7 +656,7 @@
 ...   (-> Lux (Either Text [Lux a])))
 ("lux def" Meta
  ("lux type check type"
-  {#Named [..prelude_module "Meta"]
+  {#Named [..prelude "Meta"]
           {#UnivQ {#End}
                   {#Function Lux
                              {#Apply {#Product Lux {#Parameter 1}}
@@ -667,7 +667,7 @@
 ...   (-> (List Code) (Meta (List Code))))
 ("lux def" Macro'
  ("lux type check type"
-  {#Named [..prelude_module "Macro'"]
+  {#Named [..prelude "Macro'"]
           {#Function Code_List {#Apply Code_List Meta}}})
  .public)
 
@@ -675,7 +675,7 @@
 ...   (Primitive "#Macro"))
 ("lux def" Macro
  ("lux type check type"
-  {#Named [..prelude_module "Macro"]
+  {#Named [..prelude "Macro"]
           {#Primitive "#Macro" {#End}}})
  .public)
 
@@ -764,7 +764,7 @@
                                                   body
 
                                                   _
-                                                  (_ann {#Form {#Item (_ann {#Symbol [..prelude_module "function''"]})
+                                                  (_ann {#Form {#Item (_ann {#Symbol [..prelude "function''"]})
                                                                       {#Item (_ann {#Tuple args'})
                                                                              {#Item body {#End}}}}})}
                                                  args')
@@ -778,7 +778,7 @@
                                                   body
 
                                                   _
-                                                  (_ann {#Form {#Item (_ann {#Symbol [..prelude_module "function''"]})
+                                                  (_ann {#Form {#Item (_ann {#Symbol [..prelude "function''"]})
                                                                       {#Item (_ann {#Tuple args'})
                                                                              {#Item body {#End}}}}})}
                                                  args')
@@ -852,7 +852,7 @@
                                 {#End}})
 
                 _
-                (failure (wrong_syntax_error [..prelude_module "macro"]))}
+                (failure (wrong_syntax_error [..prelude "macro"]))}
                tokens)))
  #1)
 
@@ -868,8 +868,8 @@
             (meta#in tokens)
 
             {#Item x {#Item y xs}}
-            (meta#in {#Item (form$ {#Item (symbol$ [..prelude_module "$'"])
-                                          {#Item (variant$ {#Item (symbol$ [..prelude_module "#Apply"])
+            (meta#in {#Item (form$ {#Item (symbol$ [..prelude "$'"])
+                                          {#Item (variant$ {#Item (symbol$ [..prelude "#Apply"])
                                                                   {#Item y {#Item x {#End}}}})
                                                  xs}})
                             {#End}})
@@ -982,22 +982,22 @@
 
 (def:'' .private |#End|
         Code
-        (variant$ {#Item (symbol$ [..prelude_module "#End"]) {#End}}))
+        (variant$ {#Item (symbol$ [..prelude "#End"]) {#End}}))
 
 (def:'' .private (|#Item| head tail)
         {#Function Code {#Function Code Code}}
-        (variant$ {#Item (symbol$ [..prelude_module "#Item"])
+        (variant$ {#Item (symbol$ [..prelude "#Item"])
                          {#Item head
                                 {#Item tail
                                        {#End}}}}))
 
 (def:'' .private (UnivQ$ body)
         {#Function Code Code}
-        (variant$ {#Item (symbol$ [..prelude_module "#UnivQ"]) {#Item ..|#End| {#Item body {#End}}}}))
+        (variant$ {#Item (symbol$ [..prelude "#UnivQ"]) {#Item ..|#End| {#Item body {#End}}}}))
 
 (def:'' .private (ExQ$ body)
         {#Function Code Code}
-        (variant$ {#Item (symbol$ [..prelude_module "#ExQ"]) {#Item ..|#End| {#Item body {#End}}}}))
+        (variant$ {#Item (symbol$ [..prelude "#ExQ"]) {#Item ..|#End| {#Item body {#End}}}}))
 
 (def:'' .private quantification_level
         Text
@@ -1011,7 +1011,7 @@
 
 (def:'' .private (quantified_type_parameter idx)
         {#Function Nat Code}
-        (variant$ {#Item (symbol$ [..prelude_module "#Parameter"])
+        (variant$ {#Item (symbol$ [..prelude "#Parameter"])
                          {#Item (form$ {#Item (text$ "lux i64 +")
                                               {#Item (local$ ..quantification_level)
                                                      {#Item (nat$ idx)
@@ -1082,7 +1082,7 @@
 
 (def:'' .private (with_correct_quantification body)
         {#Function Code Code}
-        (form$ {#Item (symbol$ [prelude_module "__adjusted_quantified_type__"])
+        (form$ {#Item (symbol$ [prelude "__adjusted_quantified_type__"])
                       {#Item (local$ ..quantification_level)
                              {#Item (nat$ 0)
                                     {#Item body
@@ -1200,7 +1200,7 @@
         (macro (_ tokens)
           ({{#Item output inputs}
             (meta#in {#Item (list#mix ("lux type check" {#Function Code {#Function Code Code}}
-                                       (function'' [i o] (variant$ {#Item (symbol$ [..prelude_module "#Function"]) {#Item i {#Item o {#End}}}})))
+                                       (function'' [i o] (variant$ {#Item (symbol$ [..prelude "#Function"]) {#Item i {#Item o {#End}}}})))
                                       output
                                       inputs)
                             {#End}})
@@ -1229,10 +1229,10 @@
         Macro
         (macro (_ tokens)
           ({{#End}
-            (meta#in (list (symbol$ [..prelude_module "Nothing"])))
+            (meta#in (list (symbol$ [..prelude "Nothing"])))
 
             {#Item last prevs}
-            (meta#in (list (list#mix (function'' [left right] (variant$ (list (symbol$ [..prelude_module "#Sum"]) left right)))
+            (meta#in (list (list#mix (function'' [left right] (variant$ (list (symbol$ [..prelude "#Sum"]) left right)))
                                      last
                                      prevs)))}
            (list#reversed tokens))))
@@ -1241,10 +1241,10 @@
         Macro
         (macro (_ tokens)
           ({{#End}
-            (meta#in (list (symbol$ [..prelude_module "Any"])))
+            (meta#in (list (symbol$ [..prelude "Any"])))
 
             {#Item last prevs}
-            (meta#in (list (list#mix (function'' [left right] (variant$ (list (symbol$ [..prelude_module "#Product"]) left right)))
+            (meta#in (list (list#mix (function'' [left right] (variant$ (list (symbol$ [..prelude "#Product"]) left right)))
                                      last
                                      prevs)))}
            (list#reversed tokens))))
@@ -1287,7 +1287,7 @@
                                         name
                                         (form$ (list (text$ "lux type check")
                                                      type
-                                                     (form$ (list (symbol$ [..prelude_module "function'"])
+                                                     (form$ (list (symbol$ [..prelude "function'"])
                                                                   name
                                                                   (tuple$ args)
                                                                   body))))
@@ -1438,7 +1438,7 @@
 ...    (is (All (_ a b) (-> (-> a (m b)) (m a) (m b)))
 ...        #then)))
 ("lux def type tagged" Monad
- {#Named [..prelude_module "Monad"]
+ {#Named [..prelude "Monad"]
          (All (_ !)
            (Tuple (All (_ a)
                     (-> a ($' ! a)))
@@ -1619,9 +1619,9 @@
 
 (def:''' .private (:List<Code> expression)
          (-> Code Code)
-         (let' [type (variant$ (list (symbol$ [..prelude_module "#Apply"])
-                                     (symbol$ [..prelude_module "Code"])
-                                     (symbol$ [..prelude_module "List"])))]
+         (let' [type (variant$ (list (symbol$ [..prelude "#Apply"])
+                                     (symbol$ [..prelude "Code"])
+                                     (symbol$ [..prelude "List"])))]
                (form$ (list (text$ "lux type check") type expression))))
 
 (def:''' .private (spliced replace? untemplated elems)
@@ -1643,8 +1643,8 @@
                                (function' [leftI rightO]
                                           ({[_ {#Form {#Item [[_ {#Symbol ["" "~+"]}] {#Item [spliced {#End}]}]}}]
                                             (let' [g!in-module (form$ (list (text$ "lux in-module")
-                                                                            (text$ ..prelude_module)
-                                                                            (symbol$ [..prelude_module "list#composite"])))]
+                                                                            (text$ ..prelude)
+                                                                            (symbol$ [..prelude "list#composite"])))]
                                                   (in (form$ (list g!in-module (:List<Code> spliced) rightO))))
 
                                             _
@@ -1662,24 +1662,24 @@
 
 (def:''' .private (untemplated_text value)
          (-> Text Code)
-         (with_location (variant$ (list (symbol$ [..prelude_module "#Text"]) (text$ value)))))
+         (with_location (variant$ (list (symbol$ [..prelude "#Text"]) (text$ value)))))
 
 (def:''' .private (untemplated replace? subst token)
          (-> Bit Text Code ($' Meta Code))
          ({[_ [_ {#Bit value}]]
-           (meta#in (with_location (variant$ (list (symbol$ [..prelude_module "#Bit"]) (bit$ value)))))
+           (meta#in (with_location (variant$ (list (symbol$ [..prelude "#Bit"]) (bit$ value)))))
 
            [_ [_ {#Nat value}]]
-           (meta#in (with_location (variant$ (list (symbol$ [..prelude_module "#Nat"]) (nat$ value)))))
+           (meta#in (with_location (variant$ (list (symbol$ [..prelude "#Nat"]) (nat$ value)))))
 
            [_ [_ {#Int value}]]
-           (meta#in (with_location (variant$ (list (symbol$ [..prelude_module "#Int"]) (int$ value)))))
+           (meta#in (with_location (variant$ (list (symbol$ [..prelude "#Int"]) (int$ value)))))
 
            [_ [_ {#Rev value}]]
-           (meta#in (with_location (variant$ (list (symbol$ [..prelude_module "#Rev"]) (rev$ value)))))
+           (meta#in (with_location (variant$ (list (symbol$ [..prelude "#Rev"]) (rev$ value)))))
            
            [_ [_ {#Frac value}]]
-           (meta#in (with_location (variant$ (list (symbol$ [..prelude_module "#Frac"]) (frac$ value)))))
+           (meta#in (with_location (variant$ (list (symbol$ [..prelude "#Frac"]) (frac$ value)))))
 
            [_ [_ {#Text value}]]
            (meta#in (untemplated_text value))
@@ -1695,20 +1695,20 @@
                           (in [module name])}
                          module)
               .let' [[module name] real_name]]
-             (meta#in (with_location (variant$ (list (symbol$ [..prelude_module "#Symbol"]) (tuple$ (list (text$ module) (text$ name))))))))
+             (meta#in (with_location (variant$ (list (symbol$ [..prelude "#Symbol"]) (tuple$ (list (text$ module) (text$ name))))))))
 
            [#0 [_ {#Symbol [module name]}]]
-           (meta#in (with_location (variant$ (list (symbol$ [..prelude_module "#Symbol"]) (tuple$ (list (text$ module) (text$ name)))))))
+           (meta#in (with_location (variant$ (list (symbol$ [..prelude "#Symbol"]) (tuple$ (list (text$ module) (text$ name)))))))
 
            [#1 [_ {#Form {#Item [[_ {#Symbol ["" "~"]}] {#Item [unquoted {#End}]}]}}]]
            (meta#in (form$ (list (text$ "lux type check")
-                                 (symbol$ [..prelude_module "Code"])
+                                 (symbol$ [..prelude "Code"])
                                  unquoted)))
 
            [#1 [_ {#Form {#Item [[_ {#Symbol ["" "~!"]}] {#Item [dependent {#End}]}]}}]]
            (do meta_monad
              [independent (untemplated replace? subst dependent)]
-             (in (with_location (variant$ (list (symbol$ [..prelude_module "#Form"])
+             (in (with_location (variant$ (list (symbol$ [..prelude "#Form"])
                                                 (untemplated_list (list (untemplated_text "lux in-module")
                                                                         (untemplated_text subst)
                                                                         independent)))))))
@@ -1719,19 +1719,19 @@
            [_ [meta {#Form elems}]]
            (do meta_monad
              [output (spliced replace? (untemplated replace? subst) elems)
-              .let' [[_ output'] (with_location (variant$ (list (symbol$ [..prelude_module "#Form"]) output)))]]
+              .let' [[_ output'] (with_location (variant$ (list (symbol$ [..prelude "#Form"]) output)))]]
              (in [meta output']))
 
            [_ [meta {#Variant elems}]]
            (do meta_monad
              [output (spliced replace? (untemplated replace? subst) elems)
-              .let' [[_ output'] (with_location (variant$ (list (symbol$ [..prelude_module "#Variant"]) output)))]]
+              .let' [[_ output'] (with_location (variant$ (list (symbol$ [..prelude "#Variant"]) output)))]]
              (in [meta output']))
 
            [_ [meta {#Tuple elems}]]
            (do meta_monad
              [output (spliced replace? (untemplated replace? subst) elems)
-              .let' [[_ output'] (with_location (variant$ (list (symbol$ [..prelude_module "#Tuple"]) output)))]]
+              .let' [[_ output'] (with_location (variant$ (list (symbol$ [..prelude "#Tuple"]) output)))]]
              (in [meta output']))}
           [replace? token]))
 
@@ -1739,10 +1739,10 @@
         Macro
         (macro (_ tokens)
           ({{#Item [_ {#Text class_name}] {#End}}
-            (meta#in (list (variant$ (list (symbol$ [..prelude_module "#Primitive"]) (text$ class_name) |#End|))))
+            (meta#in (list (variant$ (list (symbol$ [..prelude "#Primitive"]) (text$ class_name) |#End|))))
 
             {#Item [_ {#Text class_name}] {#Item [_ {#Tuple params}] {#End}}}
-            (meta#in (list (variant$ (list (symbol$ [..prelude_module "#Primitive"]) (text$ class_name) (untemplated_list params)))))
+            (meta#in (list (variant$ (list (symbol$ [..prelude "#Primitive"]) (text$ class_name) (untemplated_list params)))))
 
             _
             (failure "Wrong syntax for Primitive")}
@@ -1770,7 +1770,7 @@
               [current_module current_module_name
                =template (untemplated #1 current_module template)]
               (in (list (form$ (list (text$ "lux type check")
-                                     (symbol$ [..prelude_module "Code"])
+                                     (symbol$ [..prelude "Code"])
                                      =template)))))
 
             _
@@ -1783,7 +1783,7 @@
           ({{#Item template {#End}}
             (do meta_monad
               [=template (untemplated #1 "" template)]
-              (in (list (form$ (list (text$ "lux type check") (symbol$ [..prelude_module "Code"]) =template)))))
+              (in (list (form$ (list (text$ "lux type check") (symbol$ [..prelude "Code"]) =template)))))
 
             _
             (failure "Wrong syntax for `")}
@@ -1795,7 +1795,7 @@
           ({{#Item template {#End}}
             (do meta_monad
               [=template (untemplated #0 "" template)]
-              (in (list (form$ (list (text$ "lux type check") (symbol$ [..prelude_module "Code"]) =template)))))
+              (in (list (form$ (list (text$ "lux type check") (symbol$ [..prelude "Code"]) =template)))))
 
             _
             (failure "Wrong syntax for '")}
@@ -1954,15 +1954,15 @@
                           (list#each (function#composite apply (replacement_environment bindings')))
                           list#conjoint
                           meta#in)
-                      (failure (..wrong_syntax_error [..prelude_module "with_template"]))))
+                      (failure (..wrong_syntax_error [..prelude "with_template"]))))
 
               _
-              (failure (..wrong_syntax_error [..prelude_module "with_template"]))}
+              (failure (..wrong_syntax_error [..prelude "with_template"]))}
              [(monad#each maybe_monad symbol_short bindings)
               (monad#each maybe_monad tuple_list data)])
 
             _
-            (failure (..wrong_syntax_error [..prelude_module "with_template"]))}
+            (failure (..wrong_syntax_error [..prelude "with_template"]))}
            tokens)))
 
 (def:''' .private (n// param subject)
@@ -2347,7 +2347,7 @@
                                     {#Item _level
                                            {#Item body
                                                   {#End}}}}}}]
-           [_0 {#Form {#Item [_1 {#Symbol [..prelude_module "__adjusted_quantified_type__"]}]
+           [_0 {#Form {#Item [_1 {#Symbol [..prelude "__adjusted_quantified_type__"]}]
                              {#Item _permission
                                     {#Item _level
                                            {#Item (normal_type body)
@@ -2635,7 +2635,7 @@
 
 (def:' .private Parser
        Type
-       {#Named [..prelude_module "Parser"]
+       {#Named [..prelude "Parser"]
                (..type (All (_ a)
                          (-> (List Code) (Maybe [(List Code) a]))))})
 
@@ -2939,7 +2939,7 @@
             (meta#in (list (` [(~ (text$ module)) (~ (text$ name))])))
             
             _
-            (failure (..wrong_syntax_error [..prelude_module "symbol"])))))
+            (failure (..wrong_syntax_error [..prelude "symbol"])))))
 
 (def: (list#one f xs)
   (All (_ a b)