De-sigil-ification: suffix : [Part 15]

18 files changed, 30 insertions, 30 deletions

diff --git a/stdlib/source/documentation/lux.lux b/stdlib/source/documentation/lux.lux
index 0106fc515..72fa36c45 100644
--- a/stdlib/source/documentation/lux.lux
+++ b/stdlib/source/documentation/lux.lux
@@ -301,8 +301,8 @@
 
              (documentation /.type
                "Takes a type expression and returns its representation as data-structure."
-               [(type (All (_ a)
-                        (Maybe (List a))))])
+               [(type_literal (All (_ a)
+                                (Maybe (List a))))])
 
              (documentation /.is
                "The type-annotation macro."
@@ -320,8 +320,8 @@
                 (Rec Int_List
                   (Or Any
                       [Int Int_List]))]
-               ["Can also be used with type: and labelled-type definitions."
-                (type: Type
+               ["Can also be used with type and labelled-type definitions."
+                (type Type
                   (Rec @
                     (Variant
                      {#Primitive Text (List @)}
@@ -369,7 +369,7 @@
              ... (documentation /.^or
              ...   (format "Or-patterns."
              ...           \n "It's a special macro meant to be used with 'case'.")
-             ...   [(type: Weekday
+             ...   [(type Weekday
              ...      (Variant
              ...       {#Monday}
              ...       {#Tuesday}
@@ -472,8 +472,8 @@
 
              (documentation /.Variant
                (format "Syntax for defining labelled/tagged sum/union types."
-                       \n "WARNING: Only use it within the type: macro.")
-               [(type: Referrals
+                       \n "WARNING: Only use it within the type macro.")
+               [(type Referrals
                   (Variant
                    {#All}
                    {#Only (List Text)}
@@ -483,21 +483,21 @@
 
              (documentation /.Record
                (format "Syntax for defining labelled/slotted product/tuple types."
-                       \n "WARNING: Only use it within the type: macro.")
-               [(type: Refer
+                       \n "WARNING: Only use it within the type macro.")
+               [(type Refer
                   (Record
                    [#refer_defs Referrals
                     #refer_open (List Openings)]))])
 
-             (documentation /.type:
+             (documentation /.type
                "The type-definition macro."
-               [(type: (List a)
+               [(type (List a)
                   {#End}
                   {#Item a (List a)})])
 
              (documentation /.Interface
                "Interface definition."
-               [(type: .public (Order a)
+               [(type .public (Order a)
                   (Interface
                    (is (Equivalence a)
                        equivalence)
diff --git a/stdlib/source/documentation/lux/control/security/policy.lux b/stdlib/source/documentation/lux/control/security/policy.lux
index 6b1aa6f74..a2da0b92f 100644
--- a/stdlib/source/documentation/lux/control/security/policy.lux
+++ b/stdlib/source/documentation/lux/control/security/policy.lux
@@ -34,10 +34,10 @@
 
 (documentation: /.with_policy
   "Activates a security context with the priviledge to enforce it's policy."
-  [(type: Password
+  [(type Password
      (Private Text))
 
-   (type: (Policy %)
+   (type (Policy %)
      (Interface
       (is (-> Text (Password %))
           password)
diff --git a/stdlib/source/documentation/lux/data/format/binary.lux b/stdlib/source/documentation/lux/data/format/binary.lux
index 9b415289a..64ece5b0b 100644
--- a/stdlib/source/documentation/lux/data/format/binary.lux
+++ b/stdlib/source/documentation/lux/data/format/binary.lux
@@ -1,6 +1,6 @@
 (.require
  [library
-  [lux (.except nat int rev list type or and symbol)
+  [lux (.except nat int rev list or and symbol)
    ["$" documentation (.only documentation:)]
    [data
     [text (.only \n)
diff --git a/stdlib/source/documentation/lux/data/format/json.lux b/stdlib/source/documentation/lux/data/format/json.lux
index 27ae612b5..bda2246e2 100644
--- a/stdlib/source/documentation/lux/data/format/json.lux
+++ b/stdlib/source/documentation/lux/data/format/json.lux
@@ -1,6 +1,6 @@
 (.require
  [library
-  [lux (.except nat int rev list type or and has)
+  [lux (.except nat int rev list or and has)
    ["$" documentation (.only documentation:)]
    [data
     [text (.only \n)
diff --git a/stdlib/source/documentation/lux/data/format/xml.lux b/stdlib/source/documentation/lux/data/format/xml.lux
index b433ceb20..afb0bc9ee 100644
--- a/stdlib/source/documentation/lux/data/format/xml.lux
+++ b/stdlib/source/documentation/lux/data/format/xml.lux
@@ -1,6 +1,6 @@
 (.require
  [library
-  [lux (.except nat int rev list type or and)
+  [lux (.except nat int rev list or and)
    ["$" documentation (.only documentation:)]
    [data
     [text (.only \n)
diff --git a/stdlib/source/documentation/lux/data/identity.lux b/stdlib/source/documentation/lux/data/identity.lux
index c63c92e7c..f5a0d9589 100644
--- a/stdlib/source/documentation/lux/data/identity.lux
+++ b/stdlib/source/documentation/lux/data/identity.lux
@@ -1,6 +1,6 @@
 (.require
  [library
-  [lux (.except nat int rev list type or and)
+  [lux (.except nat int rev list or and)
    ["$" documentation (.only documentation:)]
    [data
     [text (.only \n)
diff --git a/stdlib/source/documentation/lux/data/text/format.lux b/stdlib/source/documentation/lux/data/text/format.lux
index 35d677e8b..c7dbb68b5 100644
--- a/stdlib/source/documentation/lux/data/text/format.lux
+++ b/stdlib/source/documentation/lux/data/text/format.lux
@@ -1,6 +1,6 @@
 (.require
  [library
-  [lux (.except nat int rev type list symbol)
+  [lux (.except nat int rev list symbol)
    ["$" documentation (.only documentation:)]
    [macro
     ["[0]" template]]]]
diff --git a/stdlib/source/documentation/lux/ffi.js.lux b/stdlib/source/documentation/lux/ffi.js.lux
index 460448c1e..6797208c8 100644
--- a/stdlib/source/documentation/lux/ffi.js.lux
+++ b/stdlib/source/documentation/lux/ffi.js.lux
@@ -1,6 +1,6 @@
 (.require
  [library
-  [lux (.except int char type)
+  [lux (.except int char)
    ["$" documentation (.only documentation:)]
    [data
     ["[0]" text (.only \n)
diff --git a/stdlib/source/documentation/lux/ffi.jvm.lux b/stdlib/source/documentation/lux/ffi.jvm.lux
index 0aed47fd6..da10cb3d6 100644
--- a/stdlib/source/documentation/lux/ffi.jvm.lux
+++ b/stdlib/source/documentation/lux/ffi.jvm.lux
@@ -1,6 +1,6 @@
 (.require
  [library
-  [lux (.except int char type is as)
+  [lux (.except int char is as)
    ["$" documentation (.only documentation:)]
    [data
     ["[0]" text (.only \n)
diff --git a/stdlib/source/documentation/lux/ffi.lua.lux b/stdlib/source/documentation/lux/ffi.lua.lux
index b437e24a9..5edd5c9e0 100644
--- a/stdlib/source/documentation/lux/ffi.lua.lux
+++ b/stdlib/source/documentation/lux/ffi.lua.lux
@@ -1,6 +1,6 @@
 (.require
  [library
-  [lux (.except int char type)
+  [lux (.except int char)
    ["$" documentation (.only documentation:)]
    [data
     ["[0]" text (.only \n)
diff --git a/stdlib/source/documentation/lux/ffi.old.lux b/stdlib/source/documentation/lux/ffi.old.lux
index 8bcec68f2..805f9ec8c 100644
--- a/stdlib/source/documentation/lux/ffi.old.lux
+++ b/stdlib/source/documentation/lux/ffi.old.lux
@@ -1,6 +1,6 @@
 (.require
  [library
-  [lux (.except int char type)
+  [lux (.except int char)
    ["$" documentation (.only documentation:)]
    [data
     ["[0]" text (.only \n)
diff --git a/stdlib/source/documentation/lux/ffi.py.lux b/stdlib/source/documentation/lux/ffi.py.lux
index 339d9407d..3feb67e74 100644
--- a/stdlib/source/documentation/lux/ffi.py.lux
+++ b/stdlib/source/documentation/lux/ffi.py.lux
@@ -1,6 +1,6 @@
 (.require
  [library
-  [lux (.except int char type)
+  [lux (.except int char)
    ["$" documentation (.only documentation:)]
    [data
     ["[0]" text (.only \n)
diff --git a/stdlib/source/documentation/lux/ffi.rb.lux b/stdlib/source/documentation/lux/ffi.rb.lux
index b40599a19..86cff83d3 100644
--- a/stdlib/source/documentation/lux/ffi.rb.lux
+++ b/stdlib/source/documentation/lux/ffi.rb.lux
@@ -1,6 +1,6 @@
 (.require
  [library
-  [lux (.except int char type)
+  [lux (.except int char)
    ["$" documentation (.only documentation:)]
    [data
     ["[0]" text (.only \n)
diff --git a/stdlib/source/documentation/lux/meta.lux b/stdlib/source/documentation/lux/meta.lux
index 327154e3a..651c465ea 100644
--- a/stdlib/source/documentation/lux/meta.lux
+++ b/stdlib/source/documentation/lux/meta.lux
@@ -1,6 +1,6 @@
 (.require
  [library
-  [lux (.except type macro)
+  [lux (.except macro)
    ["$" documentation (.only documentation:)]
    [data
     ["[0]" text (.only \n)
diff --git a/stdlib/source/documentation/lux/meta/symbol.lux b/stdlib/source/documentation/lux/meta/symbol.lux
index afdf77bf2..6bdb746c3 100644
--- a/stdlib/source/documentation/lux/meta/symbol.lux
+++ b/stdlib/source/documentation/lux/meta/symbol.lux
@@ -1,6 +1,6 @@
 (.require
  [library
-  [lux (.except nat int rev list type or and)
+  [lux (.except)
    ["$" documentation (.only documentation:)]
    [data
     [text (.only \n)
diff --git a/stdlib/source/documentation/lux/type.lux b/stdlib/source/documentation/lux/type.lux
index 0cb392108..16b7f238a 100644
--- a/stdlib/source/documentation/lux/type.lux
+++ b/stdlib/source/documentation/lux/type.lux
@@ -146,7 +146,7 @@
                  (foo expression)))
          (Bar a b c)))
    "=>"
-   (.type (Bar Bit Nat Text))])
+   (.type_literal (Bar Bit Nat Text))])
 
 (documentation: /.let
   "Local bindings for types."
diff --git a/stdlib/source/documentation/lux/type/quotient.lux b/stdlib/source/documentation/lux/type/quotient.lux
index c9f8c8586..2546996d7 100644
--- a/stdlib/source/documentation/lux/type/quotient.lux
+++ b/stdlib/source/documentation/lux/type/quotient.lux
@@ -1,6 +1,6 @@
 (.require
  [library
-  [lux (.except type)
+  [lux (.except)
    ["$" documentation (.only documentation:)]
    [control
     ["<>" parser
diff --git a/stdlib/source/documentation/lux/type/refinement.lux b/stdlib/source/documentation/lux/type/refinement.lux
index e2f28603f..0c2d8eec5 100644
--- a/stdlib/source/documentation/lux/type/refinement.lux
+++ b/stdlib/source/documentation/lux/type/refinement.lux
@@ -1,6 +1,6 @@
 (.require
  [library
-  [lux (.except type)
+  [lux (.except)
    ["$" documentation (.only documentation:)]
    [control
     ["<>" parser