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

27 files changed, 92 insertions, 92 deletions

diff --git a/stdlib/source/specification/aedifex/repository.lux b/stdlib/source/specification/aedifex/repository.lux
index d71b95e75..777040e35 100644
--- a/stdlib/source/specification/aedifex/repository.lux
+++ b/stdlib/source/specification/aedifex/repository.lux
@@ -23,7 +23,7 @@
   ["_[0]" //
    ["[1][0]" artifact]]])
 
-(def: .public (spec valid_artifact invalid_artifact subject)
+(def .public (spec valid_artifact invalid_artifact subject)
   (-> Artifact Artifact (/.Repository Async) Test)
   (do random.monad
     [expected (_binary.random 100)]
diff --git a/stdlib/source/specification/compositor.lux b/stdlib/source/specification/compositor.lux
index 99d991c0f..ad95c3c6f 100644
--- a/stdlib/source/specification/compositor.lux
+++ b/stdlib/source/specification/compositor.lux
@@ -29,7 +29,7 @@
    ["[1][0]" function]
    ["[1][0]" common]]])
 
-(def: (test runner definer state expander)
+(def (test runner definer state expander)
   (-> Runner Definer analysis.State+ Expander Test)
   (all _.and
        (/analysis/type.spec expander state)
@@ -41,7 +41,7 @@
        (/generation/common.spec runner)
        ))
 
-(def: .public (spec platform bundle expander program)
+(def .public (spec platform bundle expander program)
   (All (_ anchor expression directive)
     (-> (IO (Platform IO anchor expression directive))
         (Bundle anchor expression directive)
diff --git a/stdlib/source/specification/compositor/analysis/type.lux b/stdlib/source/specification/compositor/analysis/type.lux
index d1115fbfa..8aae58f13 100644
--- a/stdlib/source/specification/compositor/analysis/type.lux
+++ b/stdlib/source/specification/compositor/analysis/type.lux
@@ -20,7 +20,7 @@
       ["[1]/[0]" scope]
       ["[1]/[0]" type]]]]]])
 
-(def: (check_success+ expander state extension params output_type)
+(def (check_success+ expander state extension params output_type)
   (-> Expander State+ Text (List Code) Type Bit)
   (|> (analysis/scope.with_scope ""
         (analysis/type.with_type output_type
@@ -33,7 +33,7 @@
         {try.#Failure _}
         false)))
 
-(def: check
+(def check
   (Random [Code Type Code])
   (`` (all r.either
            (~~ (with_template [<random> <type> <code>]
@@ -51,7 +51,7 @@
                  [(r.upper_case_alpha 5) {0 #0 "#Text" {0 #0}} code.text]
                  )))))
 
-(def: .public (spec expander state)
+(def .public (spec expander state)
   (-> Expander State+ Test)
   (do r.monad
     [[typeC exprT exprC] ..check
diff --git a/stdlib/source/specification/compositor/common.lux b/stdlib/source/specification/compositor/common.lux
index 947131032..50383371b 100644
--- a/stdlib/source/specification/compositor/common.lux
+++ b/stdlib/source/specification/compositor/common.lux
@@ -31,7 +31,7 @@
         (generation.State+ anchor expression directive)
         what)))
 
-(def: (runner (open "[0]") state)
+(def (runner (open "[0]") state)
   (Instancer Runner)
   (function (_ evaluation_name expressionS)
     (do try.monad
@@ -42,7 +42,7 @@
                          (phase expressionS)))]
       (at host evaluate! evaluation_name expressionG))))
 
-(def: (definer (open "[0]") state)
+(def (definer (open "[0]") state)
   (Instancer Definer)
   (function (_ lux_name expressionS)
     (do try.monad
@@ -56,7 +56,7 @@
                          (phase (synthesis.constant lux_name))))]
       (at host evaluate! "definer" definitionG))))
 
-(def: .public (executors target expander platform
+(def .public (executors target expander platform
                          analysis_bundle generation_bundle directive_bundle
                          program extender)
   (All (_ anchor expression directive)
diff --git a/stdlib/source/specification/compositor/generation/case.lux b/stdlib/source/specification/compositor/generation/case.lux
index c76cd5037..e1603a517 100644
--- a/stdlib/source/specification/compositor/generation/case.lux
+++ b/stdlib/source/specification/compositor/generation/case.lux
@@ -28,17 +28,17 @@
  [///
   [common (.only Runner)]])
 
-(def: limit Nat 10)
+(def limit Nat 10)
 
-(def: size
+(def size
   (Random Nat)
   (|> r.nat (at r.monad each (|>> (n.% ..limit) (n.max 2)))))
 
-(def: (tail? size idx)
+(def (tail? size idx)
   (-> Nat Nat Bit)
   (n.= (-- size) idx))
 
-(def: .public (verify expected)
+(def .public (verify expected)
   (-> Frac (Try Any) Bit)
   (|>> (pipe.case
          {try.#Success actual}
@@ -47,7 +47,7 @@
          {try.#Failure _}
          false)))
 
-(def: case
+(def case
   (Random [Synthesis Path])
   (<| r.rec (function (_ case))
       (`` (all r.either
@@ -97,7 +97,7 @@
                  (in [caseS caseP]))
                ))))
 
-(def: (let_spec run)
+(def (let_spec run)
   (-> Runner Test)
   (do r.monad
     [value r.safe_frac]
@@ -108,7 +108,7 @@
           (run "let_spec")
           (verify value)))))
 
-(def: (if_spec run)
+(def (if_spec run)
   (-> Runner Test)
   (do r.monad
     [on_true r.safe_frac
@@ -121,7 +121,7 @@
           (run "if_spec")
           (verify (if verdict on_true on_false))))))
 
-(def: (case_spec run)
+(def (case_spec run)
   (-> Runner Test)
   (do r.monad
     [[inputS pathS] ..case
@@ -138,7 +138,7 @@
           (run "case_spec")
           (verify on_success)))))
 
-(def: special_input
+(def special_input
   Synthesis
   (let [_cursor_ (is Synthesis
                      (synthesis.tuple (list (synthesis.text .prelude)
@@ -182,7 +182,7 @@
           (_item_ (__tuple__ (list (__symbol__ ["" "tail"]))))
           ))))
 
-(def: special_path
+(def special_path
   Path
   (let [_end_ (synthesis.path/side {.#Left 0})
         _item_ (synthesis.path/side {.#Right 0})
@@ -208,7 +208,7 @@
               ... THEN
               (synthesis.path/then (synthesis.bit #0))))))
 
-(def: special_pattern
+(def special_pattern
   analysis.Pattern
   (let [... [_ {#Tuple {#Item arg args'}}]
         head (<| analysis.pattern/tuple (list (analysis.pattern/bind 2))
@@ -225,7 +225,7 @@
     (<| analysis.pattern/variant [0 #1]
         (analysis.pattern/tuple (list head tail)))))
 
-(def: special_pattern_path
+(def special_pattern_path
   Path
   (all synthesis.path/alt
        (<| try.trusted
@@ -240,7 +240,7 @@
             (synthesis.path/then (synthesis.bit #0)))))
 
 ... TODO: Get rid of this ASAP
-(def: (special_spec run)
+(def (special_spec run)
   (-> Runner Test)
   (all _.and
        (_.property "==="
@@ -278,7 +278,7 @@
                false)))
        ))
 
-(def: .public (spec run)
+(def .public (spec run)
   (-> Runner Test)
   (all _.and
        (..special_spec run)
diff --git a/stdlib/source/specification/compositor/generation/common.lux b/stdlib/source/specification/compositor/generation/common.lux
index 85ea2a496..fabd44907 100644
--- a/stdlib/source/specification/compositor/generation/common.lux
+++ b/stdlib/source/specification/compositor/generation/common.lux
@@ -30,11 +30,11 @@
   [//
    [common (.only Runner)]]])
 
-(def: safe
+(def safe
   (-> Text Text)
   (text.replaced " " "_"))
 
-(def: (bit run)
+(def (bit run)
   (-> Runner Test)
   (do r.monad
     [param r.i64
@@ -76,7 +76,7 @@
                  (let [param (n.% 64 param)])))
            ))))
 
-(def: (i64 run)
+(def (i64 run)
   (-> Runner Test)
   (do r.monad
     [param (|> r.i64 (r.only (|>> ("lux i64 =" 0) not)))
@@ -122,11 +122,11 @@
                    ))
              ))))
 
-(def: simple_frac
+(def simple_frac
   (Random Frac)
   (|> r.nat (at r.monad each (|>> (n.% 1000) .int i.frac))))
 
-(def: (f64 run)
+(def (f64 run)
   (-> Runner Test)
   (do r.monad
     [param (|> ..simple_frac (r.only (|>> (f.= +0.0) not)))
@@ -179,7 +179,7 @@
                    (//case.verify subject)))
              ))))
 
-(def: (text run)
+(def (text run)
   (-> Runner Test)
   (do [! r.monad]
     [sample_size (|> r.nat (at ! each (|>> (n.% 10) (n.max 1))))
@@ -300,7 +300,7 @@
                  false)))
          )))
 
-(def: (io run)
+(def (io run)
   (-> Runner Test)
   (do r.monad
     [message (r.alphabetic 5)]
@@ -358,7 +358,7 @@
                  false)))
          )))
 
-(def: .public (spec runner)
+(def .public (spec runner)
   (-> Runner Test)
   (all _.and
        (..bit runner)
diff --git a/stdlib/source/specification/compositor/generation/function.lux b/stdlib/source/specification/compositor/generation/function.lux
index 86c495c3b..a7cb2de43 100644
--- a/stdlib/source/specification/compositor/generation/function.lux
+++ b/stdlib/source/specification/compositor/generation/function.lux
@@ -23,19 +23,19 @@
   [//
    [common (.only Runner)]]])
 
-(def: max_arity
+(def max_arity
   Arity
   10)
 
-(def: arity
+(def arity
   (Random Arity)
   (|> r.nat (r#each (|>> (n.% max_arity) (n.max 1)))))
 
-(def: (local arity)
+(def (local arity)
   (-> Arity (Random Register))
   (|> r.nat (r#each (|>> (n.% arity) ++))))
 
-(def: function
+(def function
   (Random [Arity Register Synthesis])
   (do r.monad
     [arity ..arity
@@ -46,7 +46,7 @@
            synthesis.#arity arity
            synthesis.#body (synthesis.variable/local local)])])))
 
-(def: .public (spec run)
+(def .public (spec run)
   (-> Runner Test)
   (do [! r.monad]
     [[arity local functionS] ..function
diff --git a/stdlib/source/specification/compositor/generation/primitive.lux b/stdlib/source/specification/compositor/generation/primitive.lux
index 540fc289b..f927d5dd2 100644
--- a/stdlib/source/specification/compositor/generation/primitive.lux
+++ b/stdlib/source/specification/compositor/generation/primitive.lux
@@ -20,13 +20,13 @@
  [///
   [common (.only Runner)]])
 
-(def: (f/=' reference subject)
+(def (f/=' reference subject)
   (-> Frac Frac Bit)
   (or (f.= reference subject)
       (and (f.not_a_number? reference)
            (f.not_a_number? subject))))
 
-(def: .public (spec run)
+(def .public (spec run)
   (-> Runner Test)
   (`` (all _.and
            (~~ (with_template [<evaluation_name> <synthesis> <gen> <test>]
diff --git a/stdlib/source/specification/compositor/generation/reference.lux b/stdlib/source/specification/compositor/generation/reference.lux
index f8f68c51e..c7ba5c2bf 100644
--- a/stdlib/source/specification/compositor/generation/reference.lux
+++ b/stdlib/source/specification/compositor/generation/reference.lux
@@ -19,12 +19,12 @@
  [///
   [common (.only Runner Definer)]])
 
-(def: symbol
+(def symbol
   (Random Symbol)
   (let [symbol_part (r.upper_case_alpha 5)]
     [(r.and symbol_part symbol_part)]))
 
-(def: (definition define)
+(def (definition define)
   (-> Definer Test)
   (do r.monad
     [name ..symbol
@@ -38,7 +38,7 @@
             {try.#Failure _}
             false)))))
 
-(def: (variable run)
+(def (variable run)
   (-> Runner Test)
   (do [! r.monad]
     [register (|> r.nat (at ! each (n.% 100)))
@@ -55,7 +55,7 @@
             {try.#Failure _}
             false)))))
 
-(def: .public (spec runner definer)
+(def .public (spec runner definer)
   (-> Runner Definer Test)
   (all _.and
        (..definition definer)
diff --git a/stdlib/source/specification/compositor/generation/structure.lux b/stdlib/source/specification/compositor/generation/structure.lux
index 3d6b482ad..bfc6621b9 100644
--- a/stdlib/source/specification/compositor/generation/structure.lux
+++ b/stdlib/source/specification/compositor/generation/structure.lux
@@ -28,7 +28,7 @@
 
 (import java/lang/Integer)
 
-(def: (variant run)
+(def (variant run)
   (-> Runner Test)
   (do [! r.monad]
     [num_tags (|> r.nat (at ! each (|>> (n.% 10) (n.max 2))))
@@ -64,7 +64,7 @@
             {try.#Failure _}
             false)))))
 
-(def: (tuple run)
+(def (tuple run)
   (-> Runner Test)
   (do [! r.monad]
     [size (|> r.nat (at ! each (|>> (n.% 10) (n.max 2))))
@@ -83,7 +83,7 @@
             {try.#Failure _}
             false)))))
 
-(def: .public (spec runner)
+(def .public (spec runner)
   (-> Runner Test)
   (all _.and
        (..variant runner)
diff --git a/stdlib/source/specification/lux/abstract/apply.lux b/stdlib/source/specification/lux/abstract/apply.lux
index 8d0fe390e..385cbfb2d 100644
--- a/stdlib/source/specification/lux/abstract/apply.lux
+++ b/stdlib/source/specification/lux/abstract/apply.lux
@@ -16,7 +16,7 @@
  [//
   [functor (.only Injection Comparison)]])
 
-(def: (identity injection comparison (open "/#[0]"))
+(def (identity injection comparison (open "/#[0]"))
   (All (_ f) (-> (Injection f) (Comparison f) (Apply f) Test))
   (do [! random.monad]
     [sample (at ! each injection random.nat)]
@@ -25,7 +25,7 @@
        (/#on sample (injection function.identity))
        sample))))
 
-(def: (homomorphism injection comparison (open "/#[0]"))
+(def (homomorphism injection comparison (open "/#[0]"))
   (All (_ f) (-> (Injection f) (Comparison f) (Apply f) Test))
   (do [! random.monad]
     [sample random.nat
@@ -35,7 +35,7 @@
        (/#on (injection sample) (injection increase))
        (injection (increase sample))))))
 
-(def: (interchange injection comparison (open "/#[0]"))
+(def (interchange injection comparison (open "/#[0]"))
   (All (_ f) (-> (Injection f) (Comparison f) (Apply f) Test))
   (do [! random.monad]
     [sample random.nat
@@ -46,7 +46,7 @@
        (/#on (injection increase) (injection (is (-> (-> Nat Nat) Nat)
                                                  (function (_ f) (f sample)))))))))
 
-(def: (composition injection comparison (open "/#[0]"))
+(def (composition injection comparison (open "/#[0]"))
   (All (_ f) (-> (Injection f) (Comparison f) (Apply f) Test))
   (type.let [:$/1: (-> Nat Nat)]
     (do [! random.monad]
@@ -66,7 +66,7 @@
                      (injection increase))
                (injection decrease)))))))
 
-(def: .public (spec injection comparison apply)
+(def .public (spec injection comparison apply)
   (All (_ f) (-> (Injection f) (Comparison f) (Apply f) Test))
   (_.for [/.Apply]
          (all _.and
diff --git a/stdlib/source/specification/lux/abstract/codec.lux b/stdlib/source/specification/lux/abstract/codec.lux
index 59d8b5104..9c91c18e9 100644
--- a/stdlib/source/specification/lux/abstract/codec.lux
+++ b/stdlib/source/specification/lux/abstract/codec.lux
@@ -13,7 +13,7 @@
    [//
     [equivalence (.only Equivalence)]]]])
 
-(def: .public (spec (open "@//[0]") (open "@//[0]") generator)
+(def .public (spec (open "@//[0]") (open "@//[0]") generator)
   (All (_ m a) (-> (Equivalence a) (/.Codec m a) (Random a) Test))
   (do random.monad
     [expected generator]
diff --git a/stdlib/source/specification/lux/abstract/comonad.lux b/stdlib/source/specification/lux/abstract/comonad.lux
index c9a03c6d3..4050d2660 100644
--- a/stdlib/source/specification/lux/abstract/comonad.lux
+++ b/stdlib/source/specification/lux/abstract/comonad.lux
@@ -13,7 +13,7 @@
  [//
   [functor (.only Injection Comparison)]])
 
-(def: (left_identity injection (open "_//[0]"))
+(def (left_identity injection (open "_//[0]"))
   (All (_ f) (-> (Injection f) (CoMonad f) Test))
   (do [! random.monad]
     [sample random.nat
@@ -25,7 +25,7 @@
       (n.= (morphism start)
            (|> start _//disjoint (_//each morphism) _//out)))))
 
-(def: (right_identity injection comparison (open "_//[0]"))
+(def (right_identity injection comparison (open "_//[0]"))
   (All (_ f) (-> (Injection f) (Comparison f) (CoMonad f) Test))
   (do random.monad
     [sample random.nat
@@ -35,7 +35,7 @@
       (== start
           (|> start _//disjoint (_//each _//out))))))
 
-(def: (associativity injection comparison (open "_//[0]"))
+(def (associativity injection comparison (open "_//[0]"))
   (All (_ f) (-> (Injection f) (Comparison f) (CoMonad f) Test))
   (do [! random.monad]
     [sample random.nat
@@ -51,7 +51,7 @@
       (== (|> start _//disjoint (_//each (|>> _//disjoint (_//each increase) decrease)))
           (|> start _//disjoint (_//each increase) _//disjoint (_//each decrease))))))
 
-(def: .public (spec injection comparison subject)
+(def .public (spec injection comparison subject)
   (All (_ f) (-> (Injection f) (Comparison f) (CoMonad f) Test))
   (<| (_.for [/.CoMonad])
       (all _.and
diff --git a/stdlib/source/specification/lux/abstract/enum.lux b/stdlib/source/specification/lux/abstract/enum.lux
index 6e48b6521..021d6ba96 100644
--- a/stdlib/source/specification/lux/abstract/enum.lux
+++ b/stdlib/source/specification/lux/abstract/enum.lux
@@ -9,7 +9,7 @@
  [\\library
   ["[0]" /]])
 
-(def: .public (spec (open "_#[0]") gen_sample)
+(def .public (spec (open "_#[0]") gen_sample)
   (All (_ a) (-> (/.Enum a) (Random a) Test))
   (do random.monad
     [sample gen_sample]
diff --git a/stdlib/source/specification/lux/abstract/equivalence.lux b/stdlib/source/specification/lux/abstract/equivalence.lux
index eaa2a9b5b..d7ebc8895 100644
--- a/stdlib/source/specification/lux/abstract/equivalence.lux
+++ b/stdlib/source/specification/lux/abstract/equivalence.lux
@@ -11,7 +11,7 @@
  [\\library
   ["[0]" / (.only Equivalence)]])
 
-(def: .public (spec (open "/#[0]") random)
+(def .public (spec (open "/#[0]") random)
   (All (_ a) (-> (Equivalence a) (Random a) Test))
   (do random.monad
     [left random
diff --git a/stdlib/source/specification/lux/abstract/functor.lux b/stdlib/source/specification/lux/abstract/functor.lux
index 8ac207e97..5551e5a6f 100644
--- a/stdlib/source/specification/lux/abstract/functor.lux
+++ b/stdlib/source/specification/lux/abstract/functor.lux
@@ -22,7 +22,7 @@
     (-> (Equivalence a)
         (Equivalence (f a)))))
 
-(def: (identity injection comparison (open "@//[0]"))
+(def (identity injection comparison (open "@//[0]"))
   (All (_ f) (-> (Injection f) (Comparison f) (Functor f) Test))
   (do [! random.monad]
     [sample (at ! each injection random.nat)]
@@ -31,7 +31,7 @@
        (@//each function.identity sample)
        sample))))
 
-(def: (homomorphism injection comparison (open "@//[0]"))
+(def (homomorphism injection comparison (open "@//[0]"))
   (All (_ f) (-> (Injection f) (Comparison f) (Functor f) Test))
   (do [! random.monad]
     [sample random.nat
@@ -41,7 +41,7 @@
        (@//each increase (injection sample))
        (injection (increase sample))))))
 
-(def: (composition injection comparison (open "@//[0]"))
+(def (composition injection comparison (open "@//[0]"))
   (All (_ f) (-> (Injection f) (Comparison f) (Functor f) Test))
   (do [! random.monad]
     [sample (at ! each injection random.nat)
@@ -52,7 +52,7 @@
        (|> sample (@//each increase) (@//each decrease))
        (|> sample (@//each (|>> increase decrease)))))))
 
-(def: .public (spec injection comparison functor)
+(def .public (spec injection comparison functor)
   (All (_ f) (-> (Injection f) (Comparison f) (Functor f) Test))
   (<| (_.for [/.Functor])
       (all _.and
diff --git a/stdlib/source/specification/lux/abstract/functor/contravariant.lux b/stdlib/source/specification/lux/abstract/functor/contravariant.lux
index b89e6cd6a..5cb3b75ee 100644
--- a/stdlib/source/specification/lux/abstract/functor/contravariant.lux
+++ b/stdlib/source/specification/lux/abstract/functor/contravariant.lux
@@ -14,14 +14,14 @@
  [\\library
   ["[0]" / (.only Functor)]])
 
-(def: (identity equivalence value (open "@//[0]"))
+(def (identity equivalence value (open "@//[0]"))
   (All (_ f a) (-> (Equivalence (f a)) (f a) (Functor f) Test))
   (_.property "Law of identity."
     (equivalence
      (@//each function.identity value)
      value)))
 
-(def: .public (spec equivalence value functor)
+(def .public (spec equivalence value functor)
   (All (_ f a) (-> (Equivalence (f a)) (f a) (Functor f) Test))
   (do random.monad
     [sample random.nat]
diff --git a/stdlib/source/specification/lux/abstract/hash.lux b/stdlib/source/specification/lux/abstract/hash.lux
index a1c4d4880..d8294015c 100644
--- a/stdlib/source/specification/lux/abstract/hash.lux
+++ b/stdlib/source/specification/lux/abstract/hash.lux
@@ -11,7 +11,7 @@
  [\\library
   ["[0]" /]])
 
-(def: .public (spec (open "_#[0]") random)
+(def .public (spec (open "_#[0]") random)
   (All (_ a) (-> (/.Hash a) (Random a) Test))
   (do random.monad
     [parameter random
diff --git a/stdlib/source/specification/lux/abstract/interval.lux b/stdlib/source/specification/lux/abstract/interval.lux
index 567ac7cbb..2ccb4da32 100644
--- a/stdlib/source/specification/lux/abstract/interval.lux
+++ b/stdlib/source/specification/lux/abstract/interval.lux
@@ -10,7 +10,7 @@
  [\\library
   ["[0]" /]])
 
-(def: .public (spec (open "@//[0]") gen_sample)
+(def .public (spec (open "@//[0]") gen_sample)
   (All (_ a) (-> (/.Interval a) (Random a) Test))
   (<| (_.for [/.Interval])
       (do random.monad
diff --git a/stdlib/source/specification/lux/abstract/mix.lux b/stdlib/source/specification/lux/abstract/mix.lux
index 519f1249e..5d3ed3994 100644
--- a/stdlib/source/specification/lux/abstract/mix.lux
+++ b/stdlib/source/specification/lux/abstract/mix.lux
@@ -13,7 +13,7 @@
  [\\library
   ["[0]" /]])
 
-(def: .public (spec injection comparison (open "@//[0]"))
+(def .public (spec injection comparison (open "@//[0]"))
   (All (_ f) (-> (Injection f) (Comparison f) (/.Mix f) Test))
   (do random.monad
     [subject random.nat
diff --git a/stdlib/source/specification/lux/abstract/monad.lux b/stdlib/source/specification/lux/abstract/monad.lux
index 25a2f3e4f..b4b3f7029 100644
--- a/stdlib/source/specification/lux/abstract/monad.lux
+++ b/stdlib/source/specification/lux/abstract/monad.lux
@@ -11,7 +11,7 @@
  [//
   [functor (.only Injection Comparison)]])
 
-(def: (left_identity injection comparison (open "_//[0]"))
+(def (left_identity injection comparison (open "_//[0]"))
   (All (_ f) (-> (Injection f) (Comparison f) (/.Monad f) Test))
   (do [! random.monad]
     [sample random.nat
@@ -23,7 +23,7 @@
        (|> (injection sample) (_//each morphism) _//conjoint)
        (morphism sample)))))
 
-(def: (right_identity injection comparison (open "_//[0]"))
+(def (right_identity injection comparison (open "_//[0]"))
   (All (_ f) (-> (Injection f) (Comparison f) (/.Monad f) Test))
   (do random.monad
     [sample random.nat]
@@ -32,7 +32,7 @@
        (|> (injection sample) (_//each _//in) _//conjoint)
        (injection sample)))))
 
-(def: (associativity injection comparison (open "_//[0]"))
+(def (associativity injection comparison (open "_//[0]"))
   (All (_ f) (-> (Injection f) (Comparison f) (/.Monad f) Test))
   (do [! random.monad]
     [sample random.nat
@@ -47,7 +47,7 @@
        (|> (injection sample) (_//each increase) _//conjoint (_//each decrease) _//conjoint)
        (|> (injection sample) (_//each (|>> increase (_//each decrease) _//conjoint)) _//conjoint)))))
 
-(def: .public (spec injection comparison monad)
+(def .public (spec injection comparison monad)
   (All (_ f) (-> (Injection f) (Comparison f) (/.Monad f) Test))
   (<| (_.for [/.Monad])
       (all _.and
diff --git a/stdlib/source/specification/lux/abstract/monoid.lux b/stdlib/source/specification/lux/abstract/monoid.lux
index 1786919f4..8cc42c232 100644
--- a/stdlib/source/specification/lux/abstract/monoid.lux
+++ b/stdlib/source/specification/lux/abstract/monoid.lux
@@ -11,7 +11,7 @@
    [//
     [equivalence (.only Equivalence)]]]])
 
-(def: .public (spec (open "_#[0]") (open "_#[0]") gen_sample)
+(def .public (spec (open "_#[0]") (open "_#[0]") gen_sample)
   (All (_ a) (-> (Equivalence a) (/.Monoid a) (Random a) Test))
   (do random.monad
     [sample gen_sample
diff --git a/stdlib/source/specification/lux/abstract/order.lux b/stdlib/source/specification/lux/abstract/order.lux
index 365164c19..7e6c7a0d2 100644
--- a/stdlib/source/specification/lux/abstract/order.lux
+++ b/stdlib/source/specification/lux/abstract/order.lux
@@ -9,7 +9,7 @@
  [\\library
   ["[0]" /]])
 
-(def: .public (spec (open "@//[0]") generator)
+(def .public (spec (open "@//[0]") generator)
   (All (_ a) (-> (/.Order a) (Random a) Test))
   (<| (_.for [/.Order])
       (all _.and
diff --git a/stdlib/source/specification/lux/world/console.lux b/stdlib/source/specification/lux/world/console.lux
index 1aa2f06bb..e3ab5391e 100644
--- a/stdlib/source/specification/lux/world/console.lux
+++ b/stdlib/source/specification/lux/world/console.lux
@@ -17,7 +17,7 @@
  [\\library
   ["[0]" /]])
 
-(def: .public (spec console)
+(def .public (spec console)
   (-> (IO (/.Console Async)) Test)
   (do random.monad
     [message (random.alphabetic 10)]
diff --git a/stdlib/source/specification/lux/world/file.lux b/stdlib/source/specification/lux/world/file.lux
index 7b4512970..1b31a1e4c 100644
--- a/stdlib/source/specification/lux/world/file.lux
+++ b/stdlib/source/specification/lux/world/file.lux
@@ -30,7 +30,7 @@
  [\\library
   ["[0]" /]])
 
-(def: (for_path fs)
+(def (for_path fs)
   (-> (IO (/.System Async)) Test)
   (<| (_.for [/.Path])
       (do [! random.monad]
@@ -55,7 +55,7 @@
                    (text#= child)))
              ))))
 
-(def: (directory?&make_directory fs parent)
+(def (directory?&make_directory fs parent)
   (-> (/.System Async) /.Path (Async Bit))
   (do async.monad
     [directory_pre! (at fs directory? parent)
@@ -67,7 +67,7 @@
                {try.#Failure _} false)
              directory_post!))))
 
-(def: (file?&write fs content path)
+(def (file?&write fs content path)
   (-> (/.System Async) Binary /.Path (Async Bit))
   (do async.monad
     [file_pre! (at fs file? path)
@@ -79,7 +79,7 @@
                {try.#Failure _} false)
              file_post!))))
 
-(def: (file_size&read&append fs expected_file_size content appendix path)
+(def (file_size&read&append fs expected_file_size content appendix path)
   (-> (/.System Async) Nat Binary Binary /.Path (Async Bit))
   (do async.monad
     [pre_file_size (at fs file_size path)
@@ -107,7 +107,7 @@
                        post_file_size!
                        post_content!)))))))
 
-(def: (modified?&last_modified fs expected_time path)
+(def (modified?&last_modified fs expected_time path)
   (-> (/.System Async) Instant /.Path (Async Bit))
   (do async.monad
     [modified? (at fs modify path expected_time)
@@ -117,7 +117,7 @@
               [_ modified?]
               (at ! each (instant#= expected_time) last_modified))))))
 
-(def: (directory_files&sub_directories fs parent sub_dir child)
+(def (directory_files&sub_directories fs parent sub_dir child)
   (-> (/.System Async) /.Path /.Path /.Path (Async Bit))
   (let [sub_dir (/.rooted fs parent sub_dir)
         child (/.rooted fs parent child)]
@@ -136,7 +136,7 @@
                              (try#each (list#= (list sub_dir)))
                              (try.else false))))))))))
 
-(def: (move&delete fs parent child alternate_child)
+(def (move&delete fs parent child alternate_child)
   (-> (/.System Async) /.Path Text Text (Async Bit))
   (let [origin (/.rooted fs parent child)
         destination (/.rooted fs parent alternate_child)]
@@ -154,7 +154,7 @@
                 (in (and lost?
                          found?))))))))
 
-(def: (for_system fs)
+(def (for_system fs)
   (-> (IO (/.System Async)) Test)
   (<| (do [! random.monad]
         [parent (random.numeric 2)
@@ -205,7 +205,7 @@
              directory_files&sub_directories
              move&delete))))
 
-(def: (make_directories&cannot_make_directory fs)
+(def (make_directories&cannot_make_directory fs)
   (-> (IO (/.System Async)) Test)
   (<| (do [! random.monad]
         [dir/0 (random.numeric 2)
@@ -252,7 +252,7 @@
                     (exception.match? /.cannot_make_directory error))))
            )))
 
-(def: (make_file&cannot_make_file fs)
+(def (make_file&cannot_make_file fs)
   (-> (IO (/.System Async)) Test)
   (<| (do [! random.monad]
         [file/0 (random.numeric 3)])
@@ -275,14 +275,14 @@
                (exception.match? /.cannot_make_file error)))
            )))
 
-(def: (for_utilities fs)
+(def (for_utilities fs)
   (-> (IO (/.System Async)) Test)
   (all _.and
        (..make_directories&cannot_make_directory fs)
        (..make_file&cannot_make_file fs)
        ))
 
-(def: (exists? fs)
+(def (exists? fs)
   (-> (IO (/.System Async)) Test)
   (<| (do [! random.monad]
         [file (random.numeric 2)
@@ -322,7 +322,7 @@
              post_dir/0
              post_dir/1))))
 
-(def: .public (spec fs)
+(def .public (spec fs)
   (-> (IO (/.System Async)) Test)
   (all _.and
        (..for_path fs)
diff --git a/stdlib/source/specification/lux/world/program.lux b/stdlib/source/specification/lux/world/program.lux
index 3830dfb2a..8bfacf0c8 100644
--- a/stdlib/source/specification/lux/world/program.lux
+++ b/stdlib/source/specification/lux/world/program.lux
@@ -18,7 +18,7 @@
  [\\library
   ["[0]" /]])
 
-(def: .public (spec subject)
+(def .public (spec subject)
   (-> (/.Program Async) Test)
   (do random.monad
     [exit random.int]
diff --git a/stdlib/source/specification/lux/world/shell.lux b/stdlib/source/specification/lux/world/shell.lux
index 9ff673a05..fbd952add 100644
--- a/stdlib/source/specification/lux/world/shell.lux
+++ b/stdlib/source/specification/lux/world/shell.lux
@@ -25,7 +25,7 @@
     [file (.only Path)]]]])
 
 (with_template [<name> <command> <type> <prep>]
-  [(def: <name>
+  [(def <name>
      (-> <type> [Environment Path /.Command (List /.Argument)])
      (|>> <prep> list [environment.empty "~" <command>]))]
 
@@ -33,7 +33,7 @@
   [sleep! "sleep" Nat %.nat]
   )
 
-(def: (can_wait! process)
+(def (can_wait! process)
   (-> (/.Process Async) _.Assertion)
   (|> (at process await [])
       (async#each (|>> (try#each (i.= /.normal))
@@ -41,13 +41,13 @@
                        (_.coverage' [/.Exit /.normal])))
       async#conjoint))
 
-(def: (can_read! expected process)
+(def (can_read! expected process)
   (-> Text (/.Process Async) (Async Bit))
   (|> (at process read [])
       (async#each (|>> (try#each (text#= expected))
                        (try.else false)))))
 
-(def: (can_destroy! process)
+(def (can_destroy! process)
   (-> (/.Process Async) (Async Bit))
   (do async.monad
     [?destroy (at process destroy [])
@@ -66,7 +66,7 @@
                true)))))
 
 (with_expansions [<shell_coverage> (these [/.Command /.Argument])]
-  (def: .public (spec shell)
+  (def .public (spec shell)
     (-> (/.Shell Async) Test)
     (<| (_.for [/.Shell /.Process])
         (do [! random.monad]