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

47 files changed, 199 insertions, 199 deletions

diff --git a/stdlib/source/test/aedifex.lux b/stdlib/source/test/aedifex.lux
index 929d5de80..ccdc14e05 100644
--- a/stdlib/source/test/aedifex.lux
+++ b/stdlib/source/test/aedifex.lux
@@ -25,7 +25,7 @@
   ["[1][0]" repository]
   ["[1][0]" runtime]])
 
-(def: dependency
+(def dependency
   Test
   (all _.and
        /dependency.test
@@ -34,7 +34,7 @@
        /dependency/status.test
        ))
 
-(def: test
+(def test
   Test
   (all _.and
        /artifact.test
diff --git a/stdlib/source/test/aedifex/artifact.lux b/stdlib/source/test/aedifex/artifact.lux
index aefe175f4..1b9bad2f0 100644
--- a/stdlib/source/test/aedifex/artifact.lux
+++ b/stdlib/source/test/aedifex/artifact.lux
@@ -26,7 +26,7 @@
  [\\program
   ["[0]" /]])
 
-(def: .public random
+(def .public random
   (Random /.Artifact)
   (let [size 4]
     (all random.and
@@ -34,7 +34,7 @@
          (random.lower_case size)
          (random.lower_case size))))
 
-(def: .public test
+(def .public test
   Test
   (<| (_.covering /._)
       (do random.monad
diff --git a/stdlib/source/test/aedifex/artifact/extension.lux b/stdlib/source/test/aedifex/artifact/extension.lux
index 7ca90b6a6..80b49fdfb 100644
--- a/stdlib/source/test/aedifex/artifact/extension.lux
+++ b/stdlib/source/test/aedifex/artifact/extension.lux
@@ -18,7 +18,7 @@
    ["/[1]" //
     ["[1]" type]]]])
 
-(def: .public test
+(def .public test
   Test
   (<| (_.covering /._)
       (_.for [/.Extension]
diff --git a/stdlib/source/test/aedifex/artifact/snapshot.lux b/stdlib/source/test/aedifex/artifact/snapshot.lux
index 628412bee..8888dc848 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot.lux
@@ -20,12 +20,12 @@
  [\\program
   ["[0]" /]])
 
-(def: .public random
+(def .public random
   (Random /.Snapshot)
   (random.or (random#in [])
              $/stamp.random))
 
-(def: .public test
+(def .public test
   Test
   (<| (_.covering /._)
       (_.for [/.Snapshot]
diff --git a/stdlib/source/test/aedifex/artifact/snapshot/build.lux b/stdlib/source/test/aedifex/artifact/snapshot/build.lux
index 71024f4d0..f6224dd0b 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot/build.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot/build.lux
@@ -15,11 +15,11 @@
  [\\program
   ["[0]" /]])
 
-(def: .public random
+(def .public random
   (Random /.Build)
   random.nat)
 
-(def: .public test
+(def .public test
   Test
   (<| (_.covering /._)
       (_.for [/.Build]
diff --git a/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux b/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux
index ae1ffb7a5..c24a06f5a 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux
@@ -20,14 +20,14 @@
   ["[1][0]" time]
   ["[1][0]" build]])
 
-(def: .public random
+(def .public random
   (Random /.Stamp)
   (all random.and
        $//time.random
        $//build.random
        ))
 
-(def: .public test
+(def .public test
   Test
   (<| (_.covering /._)
       (_.for [/.Stamp])
diff --git a/stdlib/source/test/aedifex/artifact/snapshot/time.lux b/stdlib/source/test/aedifex/artifact/snapshot/time.lux
index a26532ce1..3b6136ce9 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot/time.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot/time.lux
@@ -18,11 +18,11 @@
  ["$[0]" ///
   ["[1][0]" time]])
 
-(def: .public random
+(def .public random
   (Random /.Time)
   $///time.random)
 
-(def: .public test
+(def .public test
   Test
   (<| (_.covering /._)
       (_.for [/.Time])
diff --git a/stdlib/source/test/aedifex/artifact/snapshot/version.lux b/stdlib/source/test/aedifex/artifact/snapshot/version.lux
index c5c8f0e71..d2a3e01e4 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot/version.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot/version.lux
@@ -20,7 +20,7 @@
   ["[1][0]" type]
   ["[1][0]" time]])
 
-(def: .public random
+(def .public random
   (Random /.Version)
   (all random.and
        $///type.random
@@ -28,7 +28,7 @@
        $///time.random
        ))
 
-(def: .public test
+(def .public test
   Test
   (<| (_.covering /._)
       (_.for [/.Version])
diff --git a/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux b/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux
index 5fcef9a0c..0c63a2215 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux
@@ -27,7 +27,7 @@
     ["[1][0]" stamp]
     ["[1][0]" time]]]])
 
-(def: .public random
+(def .public random
   (Random /.Value)
   (all random.and
        (random.alphabetic 5)
@@ -35,7 +35,7 @@
                   $///stamp.random)
        ))
 
-(def: .public test
+(def .public test
   Test
   (<| (_.covering /._)
       (_.for [/.Value])
diff --git a/stdlib/source/test/aedifex/artifact/time.lux b/stdlib/source/test/aedifex/artifact/time.lux
index 8ee637360..c6ba0f2c0 100644
--- a/stdlib/source/test/aedifex/artifact/time.lux
+++ b/stdlib/source/test/aedifex/artifact/time.lux
@@ -23,14 +23,14 @@
   ["[1][0]" date]
   ["[1][0]" time]])
 
-(def: .public random
+(def .public random
   (Random /.Time)
   (do random.monad
     [date /date.random
      time /time.random]
     (in [date time])))
 
-(def: .public test
+(def .public test
   Test
   (<| (_.covering /._)
       (_.for [/.Time])
diff --git a/stdlib/source/test/aedifex/artifact/time/date.lux b/stdlib/source/test/aedifex/artifact/time/date.lux
index b53420e0a..6d2e4296a 100644
--- a/stdlib/source/test/aedifex/artifact/time/date.lux
+++ b/stdlib/source/test/aedifex/artifact/time/date.lux
@@ -23,7 +23,7 @@
  [\\program
   ["[0]" /]])
 
-(def: .public random
+(def .public random
   (Random /.Date)
   (random.one (function (_ raw)
                 (try.maybe
@@ -35,7 +35,7 @@
                    (/.date raw))))
               random.date))
 
-(def: .public test
+(def .public test
   Test
   (<| (_.covering /._)
       (_.for [/.Date])
diff --git a/stdlib/source/test/aedifex/artifact/time/time.lux b/stdlib/source/test/aedifex/artifact/time/time.lux
index 9a7189e33..33bc56c87 100644
--- a/stdlib/source/test/aedifex/artifact/time/time.lux
+++ b/stdlib/source/test/aedifex/artifact/time/time.lux
@@ -18,14 +18,14 @@
  [\\program
   ["[0]" /]])
 
-(def: .public random
+(def .public random
   (Random /.Time)
   (random.one (|>> time.clock
                    (has time.#milli_second 0)
                    time.time)
               random.time))
 
-(def: .public test
+(def .public test
   Test
   (<| (_.covering /._)
       (_.for [/.Time])
diff --git a/stdlib/source/test/aedifex/artifact/type.lux b/stdlib/source/test/aedifex/artifact/type.lux
index a2b5926e5..003123f40 100644
--- a/stdlib/source/test/aedifex/artifact/type.lux
+++ b/stdlib/source/test/aedifex/artifact/type.lux
@@ -16,7 +16,7 @@
  [\\program
   ["[0]" /]])
 
-(def: .public random
+(def .public random
   (Random /.Type)
   (all random.either
        (all random.either
@@ -28,7 +28,7 @@
             (random#in /.sha-1))
        ))
 
-(def: .public test
+(def .public test
   Test
   (<| (_.covering /._)
       (_.for [/.Type]
diff --git a/stdlib/source/test/aedifex/artifact/versioning.lux b/stdlib/source/test/aedifex/artifact/versioning.lux
index d1efdb17f..451d0b824 100644
--- a/stdlib/source/test/aedifex/artifact/versioning.lux
+++ b/stdlib/source/test/aedifex/artifact/versioning.lux
@@ -19,7 +19,7 @@
   ["[1][0]" snapshot (.only)
    ["[1]/[0]" version]]])
 
-(def: .public random
+(def .public random
   (Random /.Versioning)
   (all random.and
        $//snapshot.random
@@ -27,7 +27,7 @@
        (random.list 5 $//snapshot/version.random)
        ))
 
-(def: .public test
+(def .public test
   Test
   (<| (_.covering /._)
       (_.for [/.Versioning])
diff --git a/stdlib/source/test/aedifex/cache.lux b/stdlib/source/test/aedifex/cache.lux
index 34173ce62..6456cc824 100644
--- a/stdlib/source/test/aedifex/cache.lux
+++ b/stdlib/source/test/aedifex/cache.lux
@@ -46,13 +46,13 @@
     ["[1][0]" repository
      ["[1]/[0]" origin]]]]])
 
-(def: type
+(def type
   (Random Type)
   (all random.either
        (random#in //artifact/type.lux_library)
        (random#in //artifact/type.jvm_library)))
 
-(def: profile
+(def profile
   (Random [Artifact Profile XML])
   (random.one (function (_ profile)
                 (try.maybe
@@ -62,13 +62,13 @@
                    (in [identity profile pom]))))
               @profile.random))
 
-(def: content
+(def content
   (Random Binary)
   (do [! random.monad]
     [content_size (at ! each (n.% 100) random.nat)]
     (_binary.random content_size)))
 
-(def: package
+(def package
   (Random [Dependency Package])
   (do [! random.monad]
     [[identity profile pom] ..profile
@@ -78,7 +78,7 @@
           //dependency.#type type]
          (has //package.#origin {//repository/origin.#Remote ""} (//package.local pom content))])))
 
-(def: resolution
+(def resolution
   (Random Resolution)
   (do [! random.monad]
     [[main_dependency main_package] ..package
@@ -99,7 +99,7 @@
                                              (has //package.#origin {//repository/origin.#Remote ""} (//package.local pom content))])))))]
     (in (dictionary.of_list //dependency.hash (list.partial [main_dependency main_package] dependencies)))))
 
-(def: singular
+(def singular
   Test
   (do [! random.monad]
     [[dependency expected_package] ..package
@@ -120,7 +120,7 @@
                           (has //package.#origin {//repository/origin.#Local ""} expected_package)
                           actual_package)))))))))
 
-(def: plural
+(def plural
   Test
   (do [! random.monad]
     [expected ..resolution
@@ -143,7 +143,7 @@
                               expected)
                           actual)))))))))
 
-(def: .public test
+(def .public test
   Test
   (<| (_.covering /._)
       (all _.and
diff --git a/stdlib/source/test/aedifex/cli.lux b/stdlib/source/test/aedifex/cli.lux
index f0b011180..a4af47e46 100644
--- a/stdlib/source/test/aedifex/cli.lux
+++ b/stdlib/source/test/aedifex/cli.lux
@@ -22,12 +22,12 @@
    ["/[1]" //
     ["[1]" profile]]]])
 
-(def: compilation
+(def compilation
   (Random /.Compilation)
   (random.or (random#in [])
              (random#in [])))
 
-(def: command
+(def command
   (Random /.Command)
   (all random.or
        ... #Version
@@ -50,13 +50,13 @@
        ... #Auto
        ..compilation))
 
-(def: (compilation_format value)
+(def (compilation_format value)
   (-> /.Compilation (List Text))
   (case value
     {/.#Build} (list "build")
     {/.#Test} (list "test")))
 
-(def: (format value)
+(def (format value)
   (-> /.Command (List Text))
   (case value
     {/.#Version} (list "version")
@@ -68,7 +68,7 @@
     {/.#Compilation compilation} (..compilation_format compilation)
     {/.#Auto compilation} (list.partial "auto" (..compilation_format compilation))))
 
-(def: without_profile
+(def without_profile
   Test
   (do random.monad
     [expected ..command]
@@ -84,7 +84,7 @@
             {try.#Failure error}
             false)))))
 
-(def: with_profile
+(def with_profile
   Test
   (do random.monad
     [expected_profile (random.alphabetic 1)
@@ -102,7 +102,7 @@
             {try.#Failure error}
             false)))))
 
-(def: .public test
+(def .public test
   Test
   (<| (_.covering /._)
       (_.for [/.Compilation /.Command]
diff --git a/stdlib/source/test/aedifex/command.lux b/stdlib/source/test/aedifex/command.lux
index 537f93562..cf3068d3c 100644
--- a/stdlib/source/test/aedifex/command.lux
+++ b/stdlib/source/test/aedifex/command.lux
@@ -18,7 +18,7 @@
  [\\program
   ["[0]" /]])
 
-(def: .public test
+(def .public test
   Test
   (<| (_.covering /._)
       (_.for [/.Command])
diff --git a/stdlib/source/test/aedifex/command/auto.lux b/stdlib/source/test/aedifex/command/auto.lux
index 6834fe8eb..2d6ed1354 100644
--- a/stdlib/source/test/aedifex/command/auto.lux
+++ b/stdlib/source/test/aedifex/command/auto.lux
@@ -44,7 +44,7 @@
     [dependency
      [resolution (.only Resolution)]]]]])
 
-(def: (command expected_runs end_signal fs dummy_file)
+(def (command expected_runs end_signal fs dummy_file)
   (-> Nat Text (file.System Async) file.Path
       [(Atom Nat)
        (-> (Console Async) (Program Async) (file.System Async) (Shell Async) Resolution (Command [Exit Any]))])
@@ -61,7 +61,7 @@
               _ (at fs modify dummy_file (|> actual_runs .int instant.of_millis))]
              (in [shell.normal []])))))]))
 
-(def: .public test
+(def .public test
   Test
   (<| (_.covering /._)
       (do [! random.monad]
diff --git a/stdlib/source/test/aedifex/command/build.lux b/stdlib/source/test/aedifex/command/build.lux
index c740ad48f..47c3ac71a 100644
--- a/stdlib/source/test/aedifex/command/build.lux
+++ b/stdlib/source/test/aedifex/command/build.lux
@@ -37,50 +37,50 @@
     ["[1][0]" dependency (.only Dependency)
      ["[1]/[0]" resolution (.only Resolution)]]]]])
 
-(def: .public good_shell
+(def .public good_shell
   (-> Any (Shell IO))
   (shell.mock
    (function (_ [actual_environment actual_working_directory actual_command actual_arguments])
      {try.#Success
       (is (shell.Mock [])
           (implementation
-           (def: (on_read state)
+           (def (on_read state)
              (exception.except shell.no_more_output []))
-           (def: (on_fail state)
+           (def (on_fail state)
              (exception.except shell.no_more_output []))
-           (def: (on_write input state)
+           (def (on_write input state)
              {try.#Failure "on_write"})
-           (def: (on_destroy state)
+           (def (on_destroy state)
              {try.#Failure "on_destroy"})
-           (def: (on_await state)
+           (def (on_await state)
              {try.#Success [state shell.normal]})))})))
 
-(def: .public bad_shell
+(def .public bad_shell
   (-> Any (Shell IO))
   (shell.mock
    (function (_ [actual_environment actual_working_directory actual_command actual_arguments])
      {try.#Success
       (is (shell.Mock [])
           (implementation
-           (def: (on_read state)
+           (def (on_read state)
              (exception.except shell.no_more_output []))
-           (def: (on_fail state)
+           (def (on_fail state)
              (exception.except shell.no_more_output []))
-           (def: (on_write input state)
+           (def (on_write input state)
              {try.#Failure "on_write"})
-           (def: (on_destroy state)
+           (def (on_destroy state)
              {try.#Failure "on_destroy"})
-           (def: (on_await state)
+           (def (on_await state)
              {try.#Success [state shell.error]})))})))
 
-(def: .public (reader_shell error?)
+(def .public (reader_shell error?)
   (-> Bit (-> (List Text) (Shell IO)))
   (shell.mock
    (function (_ [actual_environment actual_working_directory actual_command actual_arguments])
      {try.#Success
       (is (shell.Mock (List Text))
           (implementation
-           (def: (on_read state)
+           (def (on_read state)
              (if error?
                (exception.except shell.no_more_output [])
                (case state
@@ -89,7 +89,7 @@
                  
                  {.#End}
                  (exception.except shell.no_more_output []))))
-           (def: (on_fail state)
+           (def (on_fail state)
              (if error?
                (case state
                  {.#Item head tail}
@@ -98,14 +98,14 @@
                  {.#End}
                  (exception.except shell.no_more_output []))
                (exception.except shell.no_more_output [])))
-           (def: (on_write input state)
+           (def (on_write input state)
              {try.#Failure "on_write"})
-           (def: (on_destroy state)
+           (def (on_destroy state)
              {try.#Failure "on_destroy"})
-           (def: (on_await state)
+           (def (on_await state)
              {try.#Success [state shell.error]})))})))
 
-(def: compiler
+(def compiler
   (Random Dependency)
   (do random.monad
     [lux_version (random.alphabetic 5)
@@ -127,7 +127,7 @@
                    [/.ruby_lux_name]
                    ))))))
 
-(def: .public resolution
+(def .public resolution
   (Random [Dependency Resolution])
   (do random.monad
     [dependency ..compiler
@@ -136,7 +136,7 @@
          (|> ///dependency/resolution.empty
              (dictionary.has dependency package))])))
 
-(def: .public test
+(def .public test
   Test
   (<| (_.covering /._)
       (do [! random.monad]
diff --git a/stdlib/source/test/aedifex/command/clean.lux b/stdlib/source/test/aedifex/command/clean.lux
index 4f37c7bc3..7edf91440 100644
--- a/stdlib/source/test/aedifex/command/clean.lux
+++ b/stdlib/source/test/aedifex/command/clean.lux
@@ -36,11 +36,11 @@
     ["[1]" profile]
     ["[1][0]" action (.only Action)]]]])
 
-(def: node_name
+(def node_name
   (Random Text)
   (random.alphabetic 10))
 
-(def: (files prefix)
+(def (files prefix)
   (-> Path (Random (List [Path Binary])))
   (do [! random.monad]
     [count (at ! each (n.% 10) random.nat)
@@ -49,11 +49,11 @@
     (in (list.zipped_2 (list#each (|>> (format prefix)) (set.list names))
                        contents))))
 
-(def: (create_file! fs [path content])
+(def (create_file! fs [path content])
   (-> (file.System Async) [Path Binary] (Async (Try Any)))
   (at fs write path content))
 
-(def: (create_directory! fs path files)
+(def (create_directory! fs path files)
   (-> (file.System Async) Path (List [Path Binary]) (Async (Try Any)))
   (do [! (try.with async.monad)]
     [_ (is (Async (Try Any))
@@ -61,15 +61,15 @@
      _ (monad.each ! (..create_file! fs) files)]
     (in [])))
 
-(def: (directory_exists? fs)
+(def (directory_exists? fs)
   (-> (file.System Async) Path (Async (Try Bit)))
   (|>> (at fs directory?) (try.lifted async.monad)))
 
-(def: (file_exists? fs)
+(def (file_exists? fs)
   (-> (file.System Async) Path (Async (Try Bit)))
   (|>> (at fs file?) (try.lifted async.monad)))
 
-(def: (assets_exist? fs directory_path files)
+(def (assets_exist? fs directory_path files)
   (-> (file.System Async) Path (List [Path Binary]) (Async (Try Bit)))
   (do [! (try.with async.monad)]
     [directory_exists? (..directory_exists? fs directory_path)
@@ -80,7 +80,7 @@
     (in (and directory_exists?
              (list.every? (|>>) files_exist?)))))
 
-(def: .public test
+(def .public test
   Test
   (<| (_.covering /._)
       (do [! random.monad]
diff --git a/stdlib/source/test/aedifex/command/deploy.lux b/stdlib/source/test/aedifex/command/deploy.lux
index 871083df6..7b709c82d 100644
--- a/stdlib/source/test/aedifex/command/deploy.lux
+++ b/stdlib/source/test/aedifex/command/deploy.lux
@@ -53,7 +53,7 @@
     ["[1][0]" artifact (.only Artifact)
      ["[1]/[0]" extension]]]]])
 
-(def: (execute! program local remote fs artifact profile)
+(def (execute! program local remote fs artifact profile)
   (-> (Program Async) (Repository Async) (Repository Async) (file.System Async)
       Artifact ///.Profile
       (Async (Try Text)))
@@ -64,7 +64,7 @@
      _ (/.do! program shell console local remote fs artifact profile)]
     (at console read_line [])))
 
-(def: .public test
+(def .public test
   Test
   (<| (_.covering /._)
       (do [! random.monad]
diff --git a/stdlib/source/test/aedifex/command/deps.lux b/stdlib/source/test/aedifex/command/deps.lux
index 450152fe2..14d0f040b 100644
--- a/stdlib/source/test/aedifex/command/deps.lux
+++ b/stdlib/source/test/aedifex/command/deps.lux
@@ -52,7 +52,7 @@
       ["[1]/[0]" origin]
       ["[1]/[0]" local]]]]]])
 
-(def: .public test
+(def .public test
   Test
   (<| (_.covering /._)
       (do random.monad
diff --git a/stdlib/source/test/aedifex/command/install.lux b/stdlib/source/test/aedifex/command/install.lux
index de26f5ecb..a55e96d95 100644
--- a/stdlib/source/test/aedifex/command/install.lux
+++ b/stdlib/source/test/aedifex/command/install.lux
@@ -38,7 +38,7 @@
     ["[1][0]" repository
      ["[1]/[0]" local]]]]])
 
-(def: .public (make_sources! fs sources)
+(def .public (make_sources! fs sources)
   (-> (file.System Async) (Set file.Path) (Action (List Any)))
   (let [/ (at fs separator)
         ! ///action.monad]
@@ -51,7 +51,7 @@
                           (is (Async (Try Any))
                               (file.make_file async.monad fs (binary.empty 0) (format head / head ".lux")))))))))
 
-(def: (execute! program fs sample)
+(def (execute! program fs sample)
   (-> (Program Async) (file.System Async) ///.Profile (Async (Try Text)))
   (do ///action.monad
     [.let [console ($version.echo "")]
@@ -59,7 +59,7 @@
      _ (/.do! console fs (///repository/local.repository program fs) sample)]
     (at console read_line [])))
 
-(def: .public test
+(def .public test
   Test
   (<| (_.covering /._)
       (do [! random.monad]
diff --git a/stdlib/source/test/aedifex/command/pom.lux b/stdlib/source/test/aedifex/command/pom.lux
index 278d91209..f6ba0e28e 100644
--- a/stdlib/source/test/aedifex/command/pom.lux
+++ b/stdlib/source/test/aedifex/command/pom.lux
@@ -30,7 +30,7 @@
     ["[1][0]" action]
     ["[1][0]" pom]]]])
 
-(def: .public test
+(def .public test
   Test
   (<| (_.covering /._)
       (do random.monad
diff --git a/stdlib/source/test/aedifex/command/test.lux b/stdlib/source/test/aedifex/command/test.lux
index 9b01c2feb..7ab540925 100644
--- a/stdlib/source/test/aedifex/command/test.lux
+++ b/stdlib/source/test/aedifex/command/test.lux
@@ -39,7 +39,7 @@
      ["[1][0]" dependency (.only)
       ["[1]/[0]" resolution]]]]]])
 
-(def: .public test
+(def .public test
   Test
   (<| (_.covering /._)
       (do [! random.monad]
@@ -86,15 +86,15 @@
                                                     {try.#Success
                                                      (is (shell.Mock [])
                                                          (implementation
-                                                          (def: (on_read state)
+                                                          (def (on_read state)
                                                             (exception.except shell.no_more_output []))
-                                                          (def: (on_fail state)
+                                                          (def (on_fail state)
                                                             (exception.except shell.no_more_output []))
-                                                          (def: (on_write input state)
+                                                          (def (on_write input state)
                                                             {try.#Failure "on_write"})
-                                                          (def: (on_destroy state)
+                                                          (def (on_destroy state)
                                                             {try.#Failure "on_destroy"})
-                                                          (def: (on_await state)
+                                                          (def (on_await state)
                                                             {try.#Success [state (if (list.any? (text#= "build") actual_arguments)
                                                                                    shell.normal
                                                                                    shell.error)]})))})
diff --git a/stdlib/source/test/aedifex/command/version.lux b/stdlib/source/test/aedifex/command/version.lux
index 740065820..c8f427a71 100644
--- a/stdlib/source/test/aedifex/command/version.lux
+++ b/stdlib/source/test/aedifex/command/version.lux
@@ -29,10 +29,10 @@
 
 (exception: .public console_is_closed!)
 
-(def: mock
+(def mock
   (Mock [Bit Text])
   (implementation
-   (def: (on_read [open? state])
+   (def (on_read [open? state])
      (if open?
        (try.of_maybe
         (do maybe.monad
@@ -40,29 +40,29 @@
            [_ tail] (text.split_at 1 state)]
           (in [[open? tail] head])))
        (exception.except ..console_is_closed! [])))
-   (def: (on_read_line [open? state])
+   (def (on_read_line [open? state])
      (if open?
        (try.of_maybe
         (do maybe.monad
           [[output state] (text.split_by text.new_line state)]
           (in [[open? state] output])))
        (exception.except ..console_is_closed! [])))
-   (def: (on_write input [open? state])
+   (def (on_write input [open? state])
      (if open?
        {try.#Success [open? (format state input)]}
        (exception.except ..console_is_closed! [])))
-   (def: (on_close [open? buffer])
+   (def (on_close [open? buffer])
      (if open?
        {try.#Success [false buffer]}
        (exception.except ..console_is_closed! [])))))
 
-(def: .public echo
+(def .public echo
   (-> Text (Console Async))
   (|>> [true]
        (console.mock ..mock)
        console.async))
 
-(def: .public test
+(def .public test
   Test
   (<| (_.covering /._)
       (do random.monad
diff --git a/stdlib/source/test/aedifex/dependency.lux b/stdlib/source/test/aedifex/dependency.lux
index 2d4e6b981..93acdb4c6 100644
--- a/stdlib/source/test/aedifex/dependency.lux
+++ b/stdlib/source/test/aedifex/dependency.lux
@@ -15,13 +15,13 @@
  [\\program
   ["[0]" /]])
 
-(def: .public random
+(def .public random
   (Random /.Dependency)
   (all random.and
        @artifact.random
        (random.alphabetic 1)))
 
-(def: .public test
+(def .public test
   Test
   (<| (_.covering /._)
       (_.for [/.Dependency]
diff --git a/stdlib/source/test/aedifex/dependency/deployment.lux b/stdlib/source/test/aedifex/dependency/deployment.lux
index 0c605141a..456897460 100644
--- a/stdlib/source/test/aedifex/dependency/deployment.lux
+++ b/stdlib/source/test/aedifex/dependency/deployment.lux
@@ -49,7 +49,7 @@
      ["[0]" repository (.only)
       ["[0]" remote]]]]]])
 
-(def: good_upload
+(def good_upload
   (@http.Response IO)
   [http/status.created
    [@http.#headers (http.headers (list))
@@ -61,10 +61,10 @@
 (type: Cache
   (Atom (Dictionary URL Binary)))
 
-(def: (http cache)
+(def (http cache)
   (-> Cache (http.Client IO))
   (implementation
-   (def: (request method url headers input)
+   (def (request method url headers input)
      (do io.monad
        [_ (is (IO Any)
               (case [method input]
@@ -75,7 +75,7 @@
                 (in [])))]
        (in {try.#Success ..good_upload})))))
 
-(def: (verify_one expected_deployments address package cache expected_artifact actual_artifact)
+(def (verify_one expected_deployments address package cache expected_artifact actual_artifact)
   (-> Nat URL Package (Dictionary URL Binary) Artifact Artifact Bit)
   (let [url (is (-> URI URL)
                 (|>> (format address)))
@@ -131,7 +131,7 @@
          artifact_metadata_upload!
          project_metadata_upload!)))
 
-(def: bundle
+(def bundle
   (Random [Dependency Artifact Package])
   (do random.monad
     [[profile package] $///package.random
@@ -143,7 +143,7 @@
                            artifact/type.lux_library])]]
     (in [dependency artifact package])))
 
-(def: .public test
+(def .public test
   Test
   (<| (_.covering /._)
       (do [! random.monad]
diff --git a/stdlib/source/test/aedifex/dependency/resolution.lux b/stdlib/source/test/aedifex/dependency/resolution.lux
index 598b7fa24..ae4366042 100644
--- a/stdlib/source/test/aedifex/dependency/resolution.lux
+++ b/stdlib/source/test/aedifex/dependency/resolution.lux
@@ -48,7 +48,7 @@
     ["[1][0]" repository (.only Mock)
      ["[1]/[0]" origin]]]]])
 
-(def: random
+(def random
   (Random /.Resolution)
   (do [! random.monad]
     [artifact $///artifact.random
@@ -58,51 +58,51 @@
                         package
                         /.empty))))
 
-(def: lux_sha-1
+(def lux_sha-1
   Text
   (format ///artifact/extension.lux_library ///artifact/extension.sha-1))
 
-(def: lux_md5
+(def lux_md5
   Text
   (format ///artifact/extension.lux_library ///artifact/extension.md5))
 
-(def: pom_sha-1
+(def pom_sha-1
   Text
   (format ///artifact/extension.pom ///artifact/extension.sha-1))
 
-(def: pom_md5
+(def pom_md5
   Text
   (format ///artifact/extension.pom ///artifact/extension.md5))
 
-(def: sha-1
+(def sha-1
   (-> Binary Binary)
   (|>> ///hash.sha-1
        (at ///hash.sha-1_codec encoded)
        (at utf8.codec encoded)))
 
-(def: md5
+(def md5
   (-> Binary Binary)
   (|>> ///hash.md5
        (at ///hash.md5_codec encoded)
        (at utf8.codec encoded)))
 
-(def: .public nope
+(def .public nope
   (Mock Any)
   (implementation
-   (def: the_description
+   (def the_description
      "[0]")
-   (def: (on_download uri state)
+   (def (on_download uri state)
      {try.#Failure "NOPE"})
-   (def: (on_upload uri binary state)
+   (def (on_upload uri binary state)
      {try.#Failure "NOPE"})))
 
-(def: .public (single artifact package)
+(def .public (single artifact package)
   (-> Artifact Package (Mock Any))
   (let [expected (///artifact.uri (the ///artifact.#version artifact) artifact)]
     (implementation
-     (def: the_description
+     (def the_description
        "[1]")
-     (def: (on_download uri state)
+     (def (on_download uri state)
        (if (text.contains? expected uri)
          (let [library (is Binary
                            (|> package
@@ -135,15 +135,15 @@
                  ... else
                  {try.#Failure "NOPE"}))
          {try.#Failure "NOPE"}))
-     (def: (on_upload uri binary state)
+     (def (on_upload uri binary state)
        {try.#Failure "NOPE"}))))
 
-(def: (bad_sha-1 expected_artifact expected_package dummy_package)
+(def (bad_sha-1 expected_artifact expected_package dummy_package)
   (-> Artifact Package Package (Mock Any))
   (implementation
-   (def: the_description
+   (def the_description
      "[~SHA-1]")
-   (def: (on_download uri state)
+   (def (on_download uri state)
      (if (text.contains? (///artifact.uri (the ///artifact.#version expected_artifact) expected_artifact) uri)
        (cond (text.ends_with? ///artifact/extension.lux_library uri)
              {try.#Success [state (|> expected_package
@@ -188,15 +188,15 @@
              ... else
              {try.#Failure "NOPE"})
        {try.#Failure "NOPE"}))
-   (def: (on_upload uri binary state)
+   (def (on_upload uri binary state)
      {try.#Failure "NOPE"})))
 
-(def: (bad_md5 expected_artifact expected_package dummy_package)
+(def (bad_md5 expected_artifact expected_package dummy_package)
   (-> Artifact Package Package (Mock Any))
   (implementation
-   (def: the_description
+   (def the_description
      "[~MD5]")
-   (def: (on_download uri state)
+   (def (on_download uri state)
      (if (text.contains? (///artifact.uri (the ///artifact.#version expected_artifact) expected_artifact) uri)
        (cond (text.ends_with? ///artifact/extension.lux_library uri)
              {try.#Success [state (|> expected_package
@@ -241,10 +241,10 @@
              ... else
              {try.#Failure "NOPE"})
        {try.#Failure "NOPE"}))
-   (def: (on_upload uri binary state)
+   (def (on_upload uri binary state)
      {try.#Failure "NOPE"})))
 
-(def: one
+(def one
   Test
   (do [! random.monad]
     [expected_artifact $///artifact.random
@@ -289,7 +289,7 @@
                     ))
               ))))
 
-(def: any
+(def any
   Test
   (do [! random.monad]
     [expected_artifact $///artifact.random
@@ -336,7 +336,7 @@
                     false))))
           )))
 
-(def: artifacts
+(def artifacts
   (Random [Artifact Artifact Artifact])
   (do random.monad
     [dependee_artifact $///artifact.random
@@ -349,7 +349,7 @@
                                    $///artifact.random)]
     (in [dependee_artifact depender_artifact ignored_artifact])))
 
-(def: (packages [dependee_artifact depender_artifact ignored_artifact])
+(def (packages [dependee_artifact depender_artifact ignored_artifact])
   (-> [Artifact Artifact Artifact]
       (Random [[Dependency Dependency Dependency]
                [Package Package Package]]))
@@ -397,7 +397,7 @@
     (in [[dependee depender ignored]
          [dependee_package depender_package ignored_package]])))
 
-(def: all
+(def all
   Test
   (do [! random.monad]
     [[dependee_artifact depender_artifact ignored_artifact] ..artifacts
@@ -427,7 +427,7 @@
                        (not (dictionary.key? resolution ignored))))))
           )))
 
-(def: .public test
+(def .public test
   Test
   (<| (_.covering /._)
       (_.for [/.Resolution])
diff --git a/stdlib/source/test/aedifex/dependency/status.lux b/stdlib/source/test/aedifex/dependency/status.lux
index 6b59fa394..ef3d704f6 100644
--- a/stdlib/source/test/aedifex/dependency/status.lux
+++ b/stdlib/source/test/aedifex/dependency/status.lux
@@ -18,7 +18,7 @@
    ["//[1]" ///
     ["[1][0]" hash]]]])
 
-(def: .public random
+(def .public random
   (Random /.Status)
   (all random.or
        (random#in [])
@@ -28,7 +28,7 @@
                    ($///hash.random ///hash.md5))
        ))
 
-(def: .public test
+(def .public test
   Test
   (<| (_.covering /._)
       (_.for [/.Status]
diff --git a/stdlib/source/test/aedifex/hash.lux b/stdlib/source/test/aedifex/hash.lux
index b4ef53c73..28d912a48 100644
--- a/stdlib/source/test/aedifex/hash.lux
+++ b/stdlib/source/test/aedifex/hash.lux
@@ -25,7 +25,7 @@
    [data
     ["_[0]" binary]]]])
 
-(def: .public (random hash)
+(def .public (random hash)
   (All (_ h)
     (-> (-> Binary (/.Hash h))
         (Random (/.Hash h))))
@@ -33,7 +33,7 @@
     [size (at ! each (n.% 100) random.nat)]
     (at ! each hash (_binary.random size))))
 
-(def: .public test
+(def .public test
   Test
   (<| (_.covering /._)
       (_.for [/.Hash /.SHA-1 /.MD5])
diff --git a/stdlib/source/test/aedifex/input.lux b/stdlib/source/test/aedifex/input.lux
index 6932ccf56..47d8bf0c9 100644
--- a/stdlib/source/test/aedifex/input.lux
+++ b/stdlib/source/test/aedifex/input.lux
@@ -31,17 +31,17 @@
     [repository
      [remote (.only Address)]]]]])
 
-(def: (with_default_source sources)
+(def (with_default_source sources)
   (-> (Set //.Source) (Set //.Source))
   (if (set.empty? sources)
     (set.has //.default_source sources)
     sources))
 
-(def: with_default_repository
+(def with_default_repository
   (-> (Set Address) (Set Address))
   (set.has //.default_repository))
 
-(def: .public test
+(def .public test
   Test
   (<| (_.covering /._)
       (do [! random.monad]
diff --git a/stdlib/source/test/aedifex/local.lux b/stdlib/source/test/aedifex/local.lux
index d5f058050..9adef30d6 100644
--- a/stdlib/source/test/aedifex/local.lux
+++ b/stdlib/source/test/aedifex/local.lux
@@ -15,7 +15,7 @@
    ["/[1]" //
     ["[1][0]" artifact]]]])
 
-(def: .public test
+(def .public test
   Test
   (<| (_.covering /._)
       (do [! random.monad]
diff --git a/stdlib/source/test/aedifex/metadata.lux b/stdlib/source/test/aedifex/metadata.lux
index bdac5dfac..f5179d2a9 100644
--- a/stdlib/source/test/aedifex/metadata.lux
+++ b/stdlib/source/test/aedifex/metadata.lux
@@ -16,7 +16,7 @@
  [\\program
   ["[0]" /]])
 
-(def: .public test
+(def .public test
   Test
   (<| (_.covering /._)
       (all _.and
diff --git a/stdlib/source/test/aedifex/metadata/artifact.lux b/stdlib/source/test/aedifex/metadata/artifact.lux
index 041bad539..a43777707 100644
--- a/stdlib/source/test/aedifex/metadata/artifact.lux
+++ b/stdlib/source/test/aedifex/metadata/artifact.lux
@@ -41,7 +41,7 @@
      ["[1][0]" repository
       ["[1]/[0]" local]]]]]])
 
-(def: .public random
+(def .public random
   (Random /.Metadata)
   (all random.and
        (random.alphabetic 5)
@@ -66,7 +66,7 @@
                         time.#milli_second 0])]
                 (in (instant.of_date_time date time))))))))
 
-(def: .public test
+(def .public test
   Test
   (<| (_.covering /._)
       (_.for [/.Metadata])
diff --git a/stdlib/source/test/aedifex/metadata/snapshot.lux b/stdlib/source/test/aedifex/metadata/snapshot.lux
index 7cff9954a..a40ed0553 100644
--- a/stdlib/source/test/aedifex/metadata/snapshot.lux
+++ b/stdlib/source/test/aedifex/metadata/snapshot.lux
@@ -49,7 +49,7 @@
      ["[1][0]" repository
       ["[1]/[0]" local]]]]]])
 
-(def: random_instant
+(def random_instant
   (Random Instant)
   (do [! random.monad]
     [year (at ! each (|>> (n.% 9,000) (n.+ 1,000) .int) random.nat)
@@ -70,7 +70,7 @@
                    time.#milli_second 0])]
            (in (instant.of_date_time date time)))))))
 
-(def: random_versioning
+(def random_versioning
   (Random Versioning)
   (all random.and
        (random#in {///snapshot.#Local})
@@ -78,14 +78,14 @@
        (random.list 5 $///artifact/snapshot/version.random)
        ))
 
-(def: .public random
+(def .public random
   (Random /.Metadata)
   (all random.and
        $///artifact.random
        ..random_versioning
        ))
 
-(def: .public test
+(def .public test
   Test
   (<| (_.covering /._)
       (_.for [/.Metadata])
diff --git a/stdlib/source/test/aedifex/package.lux b/stdlib/source/test/aedifex/package.lux
index 2e669228a..42eded5a5 100644
--- a/stdlib/source/test/aedifex/package.lux
+++ b/stdlib/source/test/aedifex/package.lux
@@ -40,7 +40,7 @@
     [repository
      ["[1][0]" origin]]]]])
 
-(def: .public random
+(def .public random
   (Random [//.Profile /.Package])
   (do [! random.monad]
     [content_size (at ! each (n.% 100) random.nat)
@@ -53,7 +53,7 @@
                                $profile.random)]
     (in [profile (/.local pom content)])))
 
-(def: .public test
+(def .public test
   Test
   (<| (_.covering /._)
       (_.for [/.Package])
diff --git a/stdlib/source/test/aedifex/parser.lux b/stdlib/source/test/aedifex/parser.lux
index 945576470..f887958b2 100644
--- a/stdlib/source/test/aedifex/parser.lux
+++ b/stdlib/source/test/aedifex/parser.lux
@@ -33,27 +33,27 @@
     ["[1][0]" dependency (.only Dependency)]
     ["[1][0]" format]]]])
 
-(def: name
+(def name
   (Random //.Name)
   (random.alphabetic 1))
 
-(def: (list_of random)
+(def (list_of random)
   (All (_ a) (-> (Random a) (Random (List a))))
   (do [! random.monad]
     [size (at ! each (n.% 5) random.nat)]
     (random.list size random)))
 
-(def: (dictionary_of key_hash key_random value_random)
+(def (dictionary_of key_hash key_random value_random)
   (All (_ k v) (-> (Hash k) (Random k) (Random v) (Random (Dictionary k v))))
   (at random.functor each
       (dictionary.of_list key_hash)
       (..list_of (random.and key_random value_random))))
 
-(def: random
+(def random
   (Random Project)
   (..dictionary_of text.hash ..name @profile.random))
 
-(def: with_default_sources
+(def with_default_sources
   (-> //.Profile //.Profile)
   (revised //.#sources
            (is (-> (Set //.Source) (Set //.Source))
@@ -62,17 +62,17 @@
                    (set.of_list text.hash (list //.default_source))
                    sources)))))
 
-(def: with_default_repository
+(def with_default_repository
   (-> //.Profile //.Profile)
   (revised //.#repositories (set.has //.default_repository)))
 
-(def: (with_empty_profile project)
+(def (with_empty_profile project)
   (-> Project Project)
   (if (dictionary.empty? project)
     (//project.project //.default (at //.monoid identity))
     project))
 
-(def: .public test
+(def .public test
   Test
   (<| (_.covering /._)
       (_.covering //format._)
diff --git a/stdlib/source/test/aedifex/pom.lux b/stdlib/source/test/aedifex/pom.lux
index ab19c1c7f..e72eef0ef 100644
--- a/stdlib/source/test/aedifex/pom.lux
+++ b/stdlib/source/test/aedifex/pom.lux
@@ -22,7 +22,7 @@
    ["/[1]" //
     ["[1]" profile]]]])
 
-(def: .public test
+(def .public test
   Test
   (<| (_.covering /._)
       (all _.and
diff --git a/stdlib/source/test/aedifex/profile.lux b/stdlib/source/test/aedifex/profile.lux
index 5a040973e..a71284333 100644
--- a/stdlib/source/test/aedifex/profile.lux
+++ b/stdlib/source/test/aedifex/profile.lux
@@ -39,62 +39,62 @@
     [repository
      [remote (.only Address)]]]]])
 
-(def: distribution
+(def distribution
   (Random /.Distribution)
   (random.or (random#in [])
              (random#in [])))
 
-(def: license
+(def license
   (Random /.License)
   (all random.and
        (random.alphabetic 1)
        (random.alphabetic 1)
        ..distribution))
 
-(def: scm
+(def scm
   (Random /.SCM)
   (random.alphabetic 1))
 
-(def: organization
+(def organization
   (Random /.Organization)
   (all random.and
        (random.alphabetic 1)
        (random.alphabetic 1)))
 
-(def: email
+(def email
   (Random /.Email)
   (random.alphabetic 1))
 
-(def: developer
+(def developer
   (Random /.Developer)
   (all random.and
        (random.alphabetic 1)
        (random.alphabetic 1)
        (random.maybe organization)))
 
-(def: contributor
+(def contributor
   (Random /.Contributor)
   ..developer)
 
-(def: (list_of random)
+(def (list_of random)
   (All (_ a) (-> (Random a) (Random (List a))))
   (do [! random.monad]
     [size (at ! each (n.% 5) random.nat)]
     (random.list size random)))
 
-(def: (set_of hash random)
+(def (set_of hash random)
   (All (_ a) (-> (Hash a) (Random a) (Random (Set a))))
   (at random.functor each
       (set.of_list hash)
       (..list_of random)))
 
-(def: (dictionary_of key_hash key_random value_random)
+(def (dictionary_of key_hash key_random value_random)
   (All (_ k v) (-> (Hash k) (Random k) (Random v) (Random (Dictionary k v))))
   (at random.functor each
       (dictionary.of_list key_hash)
       (..list_of (random.and key_random value_random))))
 
-(def: info
+(def info
   (Random /.Info)
   (all random.and
        (random.maybe (random.alphabetic 1))
@@ -107,23 +107,23 @@
        (..list_of ..contributor)
        ))
 
-(def: name
+(def name
   (Random /.Name)
   (random.alphabetic 1))
 
-(def: repository
+(def repository
   (Random Address)
   (random.alphabetic 1))
 
-(def: source
+(def source
   (Random /.Source)
   (random.alphabetic 1))
 
-(def: target
+(def target
   (Random /.Target)
   (random.alphabetic 1))
 
-(def: .public random
+(def .public random
   (Random /.Profile)
   (all random.and
        (..list_of ..name)
@@ -147,7 +147,7 @@
        (random#in //runtime.default_ruby)
        ))
 
-(def: .public test
+(def .public test
   Test
   (<| (_.covering /._)
       (_.for [/.Distribution /.License /.SCM /.Organization
diff --git a/stdlib/source/test/aedifex/project.lux b/stdlib/source/test/aedifex/project.lux
index d0f658040..e66284a31 100644
--- a/stdlib/source/test/aedifex/project.lux
+++ b/stdlib/source/test/aedifex/project.lux
@@ -24,19 +24,19 @@
    ["/[1]" //
     ["[1]" profile]]]])
 
-(def: profile
+(def profile
   (Random [//.Name //.Profile])
   (|> @profile.random
       (random#each (has //.#parents (list)))
       (random.and (random.alphabetic 1))))
 
-(def: .public random
+(def .public random
   (Random /.Project)
   (do random.monad
     [[name profile] ..profile]
     (in (/.project name profile))))
 
-(def: .public test
+(def .public test
   Test
   (<| (_.covering /._)
       (_.for [/.Project /.project]
diff --git a/stdlib/source/test/aedifex/repository.lux b/stdlib/source/test/aedifex/repository.lux
index 6b4feec76..5ef8a77c8 100644
--- a/stdlib/source/test/aedifex/repository.lux
+++ b/stdlib/source/test/aedifex/repository.lux
@@ -38,7 +38,7 @@
     ["[1][0]" artifact (.only Version Artifact)
      ["[1]/[0]" extension (.only Extension)]]]]])
 
-(def: artifact
+(def artifact
   (-> Version Artifact)
   (|>> ["com.github.luxlang" "test-artifact"]))
 
@@ -53,24 +53,24 @@
 (type: Store
   (Dictionary URI Binary))
 
-(def: .public empty
+(def .public empty
   Store
   (dictionary.empty text.hash))
 
-(def: valid_version
+(def valid_version
   Version
   "1.2.3-YES")
 
-(def: invalid_version
+(def invalid_version
   Version
   "4.5.6-NO")
 
-(def: .public mock
+(def .public mock
   (/.Mock Store)
   (implementation
-   (def: the_description
+   (def the_description
      "@")
-   (def: (on_download uri state)
+   (def (on_download uri state)
      (case (dictionary.value uri state)
        {.#Some content}
        (case (binary.size content)
@@ -79,12 +79,12 @@
        
        {.#None}
        (exception.except ..not_found [uri])))
-   (def: (on_upload uri content state)
+   (def (on_upload uri content state)
      (if (dictionary.key? state uri)
        (exception.except ..cannot_upload [uri])
        {try.#Success (dictionary.has uri content state)}))))
 
-(def: .public test
+(def .public test
   Test
   (<| (_.covering /._)
       (all _.and
diff --git a/stdlib/source/test/aedifex/repository/identity.lux b/stdlib/source/test/aedifex/repository/identity.lux
index b7ab8e23d..5b556db20 100644
--- a/stdlib/source/test/aedifex/repository/identity.lux
+++ b/stdlib/source/test/aedifex/repository/identity.lux
@@ -10,14 +10,14 @@
  [\\program
   ["[0]" /]])
 
-(def: .public random
+(def .public random
   (Random /.Identity)
   (all random.and
        (random.alphabetic 10)
        (random.alphabetic 10)
        ))
 
-(def: .public test
+(def .public test
   Test
   (<| (_.covering /._)
       (_.for [/.User /.Password /.Identity]
diff --git a/stdlib/source/test/aedifex/repository/local.lux b/stdlib/source/test/aedifex/repository/local.lux
index 93bb28f1d..5a6be7777 100644
--- a/stdlib/source/test/aedifex/repository/local.lux
+++ b/stdlib/source/test/aedifex/repository/local.lux
@@ -23,7 +23,7 @@
  [\\program
   ["[0]" /]])
 
-(def: .public test
+(def .public test
   Test
   (<| (_.covering /._)
       (do [! random.monad]
diff --git a/stdlib/source/test/aedifex/repository/origin.lux b/stdlib/source/test/aedifex/repository/origin.lux
index 0f0fe6191..a414c8371 100644
--- a/stdlib/source/test/aedifex/repository/origin.lux
+++ b/stdlib/source/test/aedifex/repository/origin.lux
@@ -10,14 +10,14 @@
  [\\program
   ["[0]" /]])
 
-(def: .public random
+(def .public random
   (Random /.Origin)
   (all random.or
        (random.alphabetic 10)
        (random.alphabetic 10)
        ))
 
-(def: .public test
+(def .public test
   Test
   (<| (_.covering /._)
       (_.for [/.Origin]
diff --git a/stdlib/source/test/aedifex/repository/remote.lux b/stdlib/source/test/aedifex/repository/remote.lux
index 75e9ff35e..1c16ddf09 100644
--- a/stdlib/source/test/aedifex/repository/remote.lux
+++ b/stdlib/source/test/aedifex/repository/remote.lux
@@ -31,16 +31,16 @@
    ["/[1]" //
     ["[1][0]" identity]]]])
 
-(def: (url_body url)
+(def (url_body url)
   (-> URL (@http.Body IO))
   (let [url (at utf8.codec encoded url)]
     (function (_ _)
       (io.io {try.#Success [(binary.size url) url]}))))
 
-(def: (good_http user password)
+(def (good_http user password)
   (-> //identity.User //identity.Password (http.Client IO))
   (implementation
-   (def: (request method url headers input)
+   (def (request method url headers input)
      (with_expansions [<failure> [http/status.bad_request
                                   [@http.#headers (http.headers (list))
                                    @http.#body (..url_body "")]]]
@@ -70,17 +70,17 @@
                <failure>)
              <failure>))))))
 
-(def: bad_http
+(def bad_http
   (http.Client IO)
   (implementation
-   (def: (request method url headers input)
+   (def (request method url headers input)
      (<| io.io
          {try.#Success}
          [http/status.bad_request
           [@http.#headers (http.headers (list))
            @http.#body (..url_body "")]]))))
 
-(def: .public test
+(def .public test
   Test
   (<| (_.covering /._)
       (do [! random.monad]
diff --git a/stdlib/source/test/aedifex/runtime.lux b/stdlib/source/test/aedifex/runtime.lux
index 58d539584..dfe5abfac 100644
--- a/stdlib/source/test/aedifex/runtime.lux
+++ b/stdlib/source/test/aedifex/runtime.lux
@@ -20,7 +20,7 @@
  [\\program
   ["[0]" /]])
 
-(def: .public random
+(def .public random
   (Random /.Runtime)
   (all random.either
        (random#in /.default_java)
@@ -30,7 +30,7 @@
        (random#in /.default_ruby)
        ))
 
-(def: .public test
+(def .public test
   Test
   (<| (_.covering /._)
       (_.for [/.Runtime])