21 files changed, 24 insertions, 24 deletions
diff --git a/lux-mode/lux-mode.el b/lux-mode/lux-mode.el
index a92cb871f..685ed658a 100644
--- a/lux-mode/lux-mode.el
+++ b/lux-mode/lux-mode.el
@@ -216,7 +216,7 @@ Called by `imenu--generic-function'."
          (regexp-opt
           '(".module:"
             "def:" "type:" "macro:" "syntax:" "program:"
-            "sig:" "struct:" "context:" "template:"
+            "signature:" "struct:" "context:" "template:"
             "class:" "interface:"
             "poly:" "derived:"
             "actor:" "message:" "on:"
diff --git a/luxdoc/source/program.lux b/luxdoc/source/program.lux
index 4e2888c82..94b5df37f 100644
--- a/luxdoc/source/program.lux
+++ b/luxdoc/source/program.lux
@@ -434,7 +434,7 @@
                      _
                      (format "(" (text;join-with " " (list& _name type-args)) ")"))
              nesting (list;size type-args)]]
-      (wrap (format (if sig? "(sig: " "(type: ") (if type-rec? "#rec " "") usage "\n"
+      (wrap (format (if sig? "(signature: " "(type: ") (if type-rec? "#rec " "") usage "\n"
                     (|> (pprint-type-def (n.dec nesting)
                                          [_name type-args]
                                          tags module sig? type-rec?
diff --git a/stdlib/source/lux.lux b/stdlib/source/lux.lux
index 8d6a1d323..bbf765e9a 100644
--- a/stdlib/source/lux.lux
+++ b/stdlib/source/lux.lux
@@ -1597,7 +1597,7 @@
            (fail "Wrong syntax for $_")}
           tokens))
 
-## (sig: (Monad m)
+## (signature: (Monad m)
 ##   (: (All [a] (-> a (m a)))
 ##      wrap)
 ##   (: (All [a b] (-> (-> a (m b)) (m a) (m b)))
@@ -3471,9 +3471,9 @@
              #None
              (fail "Wrong syntax for macro:"))))
 
-(macro: #export (sig: tokens)
+(macro: #export (signature: tokens)
   {#.doc "## Definition of signatures ala ML.
-          (sig: #export (Ord a)
+          (signature: #export (Ord a)
             (: (Equivalence a)
                eq)
             (: (-> a a Bool)
@@ -3534,7 +3534,7 @@
         (return (list (` (..type: (~+ (export exported?)) (~ usage) (~ sig-meta) (~ sig-type))))))
 
       #None
-      (fail "Wrong syntax for sig:"))))
+      (fail "Wrong syntax for signature:"))))
 
 (def: (find f xs)
   (All [a b]
diff --git a/stdlib/source/lux/control/apply.lux b/stdlib/source/lux/control/apply.lux
index eb9dbaf00..4c3d73ba1 100644
--- a/stdlib/source/lux/control/apply.lux
+++ b/stdlib/source/lux/control/apply.lux
@@ -3,7 +3,7 @@
   (// [functor #+ Functor]
       [monad #+ Monad]))
 
-(sig: #export (Apply f)
+(signature: #export (Apply f)
   {#.doc "Applicative functors."}
   (: (Functor f)
      functor)
diff --git a/stdlib/source/lux/control/codec.lux b/stdlib/source/lux/control/codec.lux
index 0630a11d1..1c0375831 100644
--- a/stdlib/source/lux/control/codec.lux
+++ b/stdlib/source/lux/control/codec.lux
@@ -4,7 +4,7 @@
        (data ["e" error])))
 
 ## [Signatures]
-(sig: #export (Codec m a)
+(signature: #export (Codec m a)
   {#.doc "A way to move back-and-forth between a type and an alternative representation for it."}
   (: (-> a m)
      encode)
diff --git a/stdlib/source/lux/control/comonad.lux b/stdlib/source/lux/control/comonad.lux
index 95f31a523..f60a34c74 100644
--- a/stdlib/source/lux/control/comonad.lux
+++ b/stdlib/source/lux/control/comonad.lux
@@ -4,7 +4,7 @@
   (lux/data/coll [list "list/" Fold<List>]))
 
 ## [Signatures]
-(sig: #export (CoMonad w)
+(signature: #export (CoMonad w)
   {#.doc "CoMonads are the opposite/complement to monads.
 
           CoMonadic structures are often infinite in size and built upon lazily-evaluated functions."}
diff --git a/stdlib/source/lux/control/enum.lux b/stdlib/source/lux/control/enum.lux
index 594f7e71e..b2b2f090c 100644
--- a/stdlib/source/lux/control/enum.lux
+++ b/stdlib/source/lux/control/enum.lux
@@ -2,7 +2,7 @@
   (lux/control [order]))
 
 ## [Signatures]
-(sig: #export (Enum e)
+(signature: #export (Enum e)
   {#.doc "Enumerable types, with a notion of moving forward and backwards through a type's instances."}
   (: (order.Order e) order)
   (: (-> e e) succ)
diff --git a/stdlib/source/lux/control/equivalence.lux b/stdlib/source/lux/control/equivalence.lux
index eabe1165e..6ee8630e2 100644
--- a/stdlib/source/lux/control/equivalence.lux
+++ b/stdlib/source/lux/control/equivalence.lux
@@ -1,6 +1,6 @@
 (.module: lux)
 
-(sig: #export (Equivalence a)
+(signature: #export (Equivalence a)
   {#.doc "Equivalence for a type's instances."}
   (: (-> a a Bool)
      =))
diff --git a/stdlib/source/lux/control/fold.lux b/stdlib/source/lux/control/fold.lux
index 947461c09..8dc388045 100644
--- a/stdlib/source/lux/control/fold.lux
+++ b/stdlib/source/lux/control/fold.lux
@@ -1,7 +1,7 @@
 (.module: lux)
 
 ## [Signatures]
-(sig: #export (Fold F)
+(signature: #export (Fold F)
   {#.doc "Iterate over a structure's values to build a summary value."}
   (: (All [a b]
        (-> (-> b a a) a (F b) a))
diff --git a/stdlib/source/lux/control/functor.lux b/stdlib/source/lux/control/functor.lux
index d6ac8c58f..c4478a710 100644
--- a/stdlib/source/lux/control/functor.lux
+++ b/stdlib/source/lux/control/functor.lux
@@ -1,6 +1,6 @@
 (.module: lux)
 
-(sig: #export (Functor f)
+(signature: #export (Functor f)
   (: (All [a b]
        (-> (-> a b)
            (-> (f a) (f b))))
diff --git a/stdlib/source/lux/control/hash.lux b/stdlib/source/lux/control/hash.lux
index 76fcd2730..faf7afda8 100644
--- a/stdlib/source/lux/control/hash.lux
+++ b/stdlib/source/lux/control/hash.lux
@@ -3,7 +3,7 @@
   (// [equivalence #+ Equivalence]))
 
 ## [Signatures]
-(sig: #export (Hash a)
+(signature: #export (Hash a)
   {#.doc "A way to produce hash-codes for a type's instances.
 
           A necessity when working with some data-structures, such as dictionaries or sets."}
diff --git a/stdlib/source/lux/control/interval.lux b/stdlib/source/lux/control/interval.lux
index 92cb9599f..a53115576 100644
--- a/stdlib/source/lux/control/interval.lux
+++ b/stdlib/source/lux/control/interval.lux
@@ -5,7 +5,7 @@
                 [enum #+ Enum])))
 
 ## Signatures
-(sig: #export (Interval a)
+(signature: #export (Interval a)
   {#.doc "A representation of top and bottom boundaries for an ordered type."}
   (: (Enum a)
      enum)
diff --git a/stdlib/source/lux/control/monad.lux b/stdlib/source/lux/control/monad.lux
index bc0d3dfc8..00ef17925 100644
--- a/stdlib/source/lux/control/monad.lux
+++ b/stdlib/source/lux/control/monad.lux
@@ -41,7 +41,7 @@
     #.Nil))
 
 ## [Signatures]
-(sig: #export (Monad m)
+(signature: #export (Monad m)
   (: (Functor m)
      functor)
   (: (All [a]
diff --git a/stdlib/source/lux/control/monad/indexed.lux b/stdlib/source/lux/control/monad/indexed.lux
index 591c24813..455334760 100644
--- a/stdlib/source/lux/control/monad/indexed.lux
+++ b/stdlib/source/lux/control/monad/indexed.lux
@@ -6,7 +6,7 @@
        [macro]
        (macro ["s" syntax #+ Syntax syntax:])))
 
-(sig: #export (IxMonad m)
+(signature: #export (IxMonad m)
   (: (All [p a]
        (-> a (m p p a)))
      wrap)
diff --git a/stdlib/source/lux/control/monoid.lux b/stdlib/source/lux/control/monoid.lux
index 09737cb12..a71f2335e 100644
--- a/stdlib/source/lux/control/monoid.lux
+++ b/stdlib/source/lux/control/monoid.lux
@@ -1,7 +1,7 @@
 (.module: lux
   (// [fold #+ Fold]))
 
-(sig: #export (Monoid a)
+(signature: #export (Monoid a)
   {#.doc "A way to compose values.
 
           Includes an identity value which does not alter any other value when combined with."}
diff --git a/stdlib/source/lux/control/number.lux b/stdlib/source/lux/control/number.lux
index 1087f69ea..bf8e41194 100644
--- a/stdlib/source/lux/control/number.lux
+++ b/stdlib/source/lux/control/number.lux
@@ -2,7 +2,7 @@
   lux)
 
 ## [Signatures]
-(sig: #export (Number n)
+(signature: #export (Number n)
   {#.doc "Everything that should be expected of a number type."}
 
   (do-template [<name>]
diff --git a/stdlib/source/lux/control/order.lux b/stdlib/source/lux/control/order.lux
index 04d0e6a82..153b1fa9a 100644
--- a/stdlib/source/lux/control/order.lux
+++ b/stdlib/source/lux/control/order.lux
@@ -4,7 +4,7 @@
   (// [equivalence #+ Equivalence]))
 
 ## [Signatures]
-(sig: #export (Order a)
+(signature: #export (Order a)
   {#.doc "A signature for types that possess some sense of ordering among their elements."}
   
   (: (Equivalence a)
diff --git a/stdlib/source/lux/lang/compiler/translation.lux b/stdlib/source/lux/lang/compiler/translation.lux
index 84853439d..46f9ffd98 100644
--- a/stdlib/source/lux/lang/compiler/translation.lux
+++ b/stdlib/source/lux/lang/compiler/translation.lux
@@ -27,7 +27,7 @@
   {#scope-name Text
    #inner-functions Nat})
 
-(sig: #export (Host code)
+(signature: #export (Host code)
   (: (-> code (Error Any))
      execute!)
   (: (-> code (Error Any))
diff --git a/stdlib/source/lux/type/object/interface.lux b/stdlib/source/lux/type/object/interface.lux
index 80bf6cd3f..c2c54dd4f 100644
--- a/stdlib/source/lux/type/object/interface.lux
+++ b/stdlib/source/lux/type/object/interface.lux
@@ -392,7 +392,7 @@
                                         (~ g!child)
                                         (~ g!ext)]
                                        (~+ g!ancestors))))))]]
-      (wrap (list& (` (sig: (~+ (csw.export export))
+      (wrap (list& (` (signature: (~+ (csw.export export))
                         ((~ g!signature) (~+ g!parameters) (~ g!self-class))
                         (~+ (let [de-alias (code.replace (code.local-symbol alias) g!self-class)]
                               (list/map (|>> (update@ #inputs (list/map de-alias))
diff --git a/stdlib/source/lux/type/unit.lux b/stdlib/source/lux/type/unit.lux
index 569c6f8c2..b487571e1 100644
--- a/stdlib/source/lux/type/unit.lux
+++ b/stdlib/source/lux/type/unit.lux
@@ -27,7 +27,7 @@
     (All [unit] (-> (Qty unit) Int))
     (|>> :representation)))
 
-(sig: #export (Scale s)
+(signature: #export (Scale s)
   (: (All [u] (-> (Qty u) (Qty (s u))))
      scale)
   (: (All [u] (-> (Qty (s u)) (Qty u)))
diff --git a/stdlib/source/lux/world/file.lux b/stdlib/source/lux/world/file.lux
index 24c38024c..7afd12b4b 100644
--- a/stdlib/source/lux/world/file.lux
+++ b/stdlib/source/lux/world/file.lux
@@ -20,7 +20,7 @@
   #Write
   #Execute)
 
-(sig: #export (System m)
+(signature: #export (System m)
   (: (Monad m)
      &monad)