Began work on C++ back-end.

21 files changed, 66 insertions, 57 deletions

diff --git a/stdlib/source/test/lux/world/finance/market/price.lux b/stdlib/source/test/lux/world/finance/market/price.lux
index d5b8232b5..28c0db1f5 100644
--- a/stdlib/source/test/lux/world/finance/market/price.lux
+++ b/stdlib/source/test/lux/world/finance/market/price.lux
@@ -3,8 +3,8 @@
   [lux (.except)
    [abstract
     [monad (.only do)]
-    [\\specification
-     ["[0]S" equivalence]]
+    ["[0]" equivalence
+     ["[1]T" \\test]]
     ["[0]" order
      ["[1]T" \\test]]]
    [control
@@ -43,7 +43,7 @@
       (_.for [/.Price /.Action])
       (all _.and
            (_.for [/.equivalence /.=]
-                  (equivalenceS.spec /.equivalence (..random currency.usd)))
+                  (equivalenceT.spec /.equivalence (..random currency.usd)))
            (_.for [/.order /.<]
                   (orderT.spec /.order (..random currency.usd)))
            
diff --git a/stdlib/source/test/lux/world/finance/money.lux b/stdlib/source/test/lux/world/finance/money.lux
index dd5108cac..872414dbf 100644
--- a/stdlib/source/test/lux/world/finance/money.lux
+++ b/stdlib/source/test/lux/world/finance/money.lux
@@ -3,8 +3,8 @@
   [lux (.except)
    [abstract
     [monad (.only do)]
-    [\\specification
-     ["[0]S" equivalence]]
+    ["[0]" equivalence
+     ["[1]T" \\test]]
     ["[0]" order
      ["[1]T" \\test]]]
    [control
@@ -46,7 +46,7 @@
       (_.for [/.Money])
       (all _.and
            (_.for [/.equivalence /.=]
-                  (equivalenceS.spec /.equivalence (..random currency.usd 1000,00)))
+                  (equivalenceT.spec /.equivalence (..random currency.usd 1000,00)))
            (_.for [/.order /.<]
                   (orderT.spec /.order (..random currency.usd 1000,00)))
            
diff --git a/stdlib/source/test/lux/world/finance/money/currency.lux b/stdlib/source/test/lux/world/finance/money/currency.lux
index eeb59e9fc..8bc474b4e 100644
--- a/stdlib/source/test/lux/world/finance/money/currency.lux
+++ b/stdlib/source/test/lux/world/finance/money/currency.lux
@@ -3,8 +3,8 @@
   [lux (.except)
    [abstract
     [monad (.only do)]
-    [\\specification
-     ["[0]S" equivalence]]]
+    ["[0]" equivalence
+     ["[1]T" \\test]]]
    [data
     ["[0]" text]
     [collection
@@ -217,7 +217,7 @@
         (_.for [/.Currency])
         (all _.and
              (_.for [/.equivalence]
-                    (equivalenceS.spec /.equivalence ..random))
+                    (equivalenceT.spec /.equivalence ..random))
              
              (with_expansions [<shorts> (with_template [<short> <type> <long>]
                                           [<short>]
diff --git a/stdlib/source/test/lux/world/finance/trade/session.lux b/stdlib/source/test/lux/world/finance/trade/session.lux
index 6c8be3332..1356e040b 100644
--- a/stdlib/source/test/lux/world/finance/trade/session.lux
+++ b/stdlib/source/test/lux/world/finance/trade/session.lux
@@ -3,8 +3,8 @@
   [lux (.except)
    [abstract
     [monad (.only do)]
-    [\\specification
-     ["[0]S" equivalence]]]
+    ["[0]" equivalence
+     ["[1]T" \\test]]]
    [data
     ["[0]" bit (.use "[1]#[0]" equivalence)]
     ["[0]" text (.use "[1]#[0]" equivalence)]
@@ -60,7 +60,7 @@
               /.#open /.#high /.#low /.#close /.#volume])
       (all _.and
            (_.for [/.equivalence]
-                  (equivalenceS.spec /.equivalence (..random currency.usd 1000,00)))
+                  (equivalenceT.spec /.equivalence (..random currency.usd 1000,00)))
            
            (_.coverage [/.composite]
              (let [both (/.composite before after)]
diff --git a/stdlib/source/test/lux/world/locale.lux b/stdlib/source/test/lux/world/locale.lux
index 57ae892a0..92510dd26 100644
--- a/stdlib/source/test/lux/world/locale.lux
+++ b/stdlib/source/test/lux/world/locale.lux
@@ -4,8 +4,9 @@
    [abstract
     [monad (.only do)]
     [\\specification
-     ["$[0]" equivalence]
-     ["$[0]" hash]]]
+     ["$[0]" hash]]
+    ["[0]" equivalence
+     ["[1]T" \\test]]]
    [math
     ["[0]" random (.only Random) (.use "[1]#[0]" monad)]]
    [data
@@ -52,7 +53,7 @@
       (_.for [/.Locale])
       (all _.and
            (_.for [/.equivalence]
-                  ($equivalence.spec /.equivalence ..random_locale))
+                  (equivalenceT.spec /.equivalence ..random_locale))
            (_.for [/.hash]
                   (do [! random.monad]
                     [fixed_language ..random_language
diff --git a/stdlib/source/test/lux/world/net/http/cookie.lux b/stdlib/source/test/lux/world/net/http/cookie.lux
index 057da292b..ac1f9629a 100644
--- a/stdlib/source/test/lux/world/net/http/cookie.lux
+++ b/stdlib/source/test/lux/world/net/http/cookie.lux
@@ -3,8 +3,8 @@
   [lux (.except)
    [abstract
     ["[0]" monad (.only do)]
-    [\\specification
-     ["[0]S" equivalence]]]
+    ["[0]" equivalence
+     ["[1]T" \\test]]]
    [control
     ["|" pipe]
     ["[0]" try (.use "[1]#[0]" functor)]]
@@ -53,7 +53,7 @@
       (_.for [/.Cookie /.#name /.#in /.#out])
       (all _.and
            (_.for [/.equivalence]
-                  (equivalenceS.spec /.equivalence (..random (list [cookie (random.lower_cased 1)]))))
+                  (equivalenceT.spec /.equivalence (..random (list [cookie (random.lower_cased 1)]))))
            (_.for [/.Jar]
                   (all _.and
                        (_.coverage [/.empty]
diff --git a/stdlib/source/test/lux/world/net/http/version.lux b/stdlib/source/test/lux/world/net/http/version.lux
index 0aa682b1a..5891f3768 100644
--- a/stdlib/source/test/lux/world/net/http/version.lux
+++ b/stdlib/source/test/lux/world/net/http/version.lux
@@ -4,8 +4,9 @@
    [abstract
     [monad (.only do)]
     [\\specification
-     ["$[0]" equivalence]
-     ["$[0]" hash]]]
+     ["$[0]" hash]]
+    ["[0]" equivalence
+     ["[1]T" \\test]]]
    [data
     [collection
      ["[0]" list]
@@ -36,7 +37,7 @@
       (_.for [/.Version])
       (all _.and
            (_.for [/.equivalence]
-                  ($equivalence.spec /.equivalence ..random))
+                  (equivalenceT.spec /.equivalence ..random))
            (_.for [/.hash]
                   ($hash.spec /.hash ..random))
 
diff --git a/stdlib/source/test/lux/world/net/mime.lux b/stdlib/source/test/lux/world/net/mime.lux
index 30b34affc..18f6521c1 100644
--- a/stdlib/source/test/lux/world/net/mime.lux
+++ b/stdlib/source/test/lux/world/net/mime.lux
@@ -3,8 +3,9 @@
   [lux (.except)
    [abstract
     [monad (.only do)]
+    ["[0]" equivalence
+     ["[1]T" \\test]]
     [\\specification
-     ["[0]S" equivalence]
      ["[0]S" hash]]]
    [data
     ["[0]" text (.only)
@@ -157,7 +158,7 @@
         (_.for [/.MIME])
         (all _.and
              (_.for [/.equivalence]
-                    (equivalenceS.spec /.equivalence ..random))
+                    (equivalenceT.spec /.equivalence ..random))
              (_.for [/.hash]
                     (hashS.spec /.hash ..random))
 
diff --git a/stdlib/source/test/lux/world/net/uri/query.lux b/stdlib/source/test/lux/world/net/uri/query.lux
index 4ac981426..dd48316e2 100644
--- a/stdlib/source/test/lux/world/net/uri/query.lux
+++ b/stdlib/source/test/lux/world/net/uri/query.lux
@@ -3,8 +3,8 @@
   [lux (.except)
    [abstract
     [monad (.only do)]
-    [\\specification
-     ["[0]S" equivalence]]
+    ["[0]" equivalence
+     ["[1]T" \\test]]
     ["[0]" codec
      ["[1]T" \\test]]]
    [data
@@ -35,7 +35,7 @@
       (_.for [/.Query])
       (all _.and
            (_.for [/.equivalence]
-                  (equivalenceS.spec /.equivalence (..random 2)))
+                  (equivalenceT.spec /.equivalence (..random 2)))
            (_.for [/.codec]
                   (codecT.spec /.equivalence /.codec (..random 3)))
 
diff --git a/stdlib/source/test/lux/world/net/uri/scheme.lux b/stdlib/source/test/lux/world/net/uri/scheme.lux
index 66d51ea0d..200b0fce5 100644
--- a/stdlib/source/test/lux/world/net/uri/scheme.lux
+++ b/stdlib/source/test/lux/world/net/uri/scheme.lux
@@ -4,8 +4,9 @@
    [abstract
     [monad (.only do)]
     [\\specification
-     ["$[0]" equivalence]
-     ["$[0]" hash]]]
+     ["$[0]" hash]]
+    ["[0]" equivalence
+     ["[1]T" \\test]]]
    [data
     [collection
      ["[0]" list]
@@ -58,7 +59,7 @@
         (_.for [/.Scheme])
         (`` (all _.and
                  (_.for [/.equivalence]
-                        ($equivalence.spec /.equivalence ..random))
+                        (equivalenceT.spec /.equivalence ..random))
                  (_.for [/.hash]
                         ($hash.spec /.hash ..random))
 
diff --git a/stdlib/source/test/lux/world/output/video/resolution.lux b/stdlib/source/test/lux/world/output/video/resolution.lux
index 4123a0b7d..c05173d2a 100644
--- a/stdlib/source/test/lux/world/output/video/resolution.lux
+++ b/stdlib/source/test/lux/world/output/video/resolution.lux
@@ -4,8 +4,9 @@
    [abstract
     [monad (.only do)]
     [\\specification
-     ["$[0]" equivalence]
-     ["$[0]" hash]]]
+     ["$[0]" hash]]
+    ["[0]" equivalence
+     ["[1]T" \\test]]]
    [control
     ["[0]" maybe]]
    [data
@@ -57,7 +58,7 @@
         (_.for [/.Resolution])
         (`` (all _.and
                  (_.for [/.equivalence]
-                        ($equivalence.spec /.equivalence ..random))
+                        (equivalenceT.spec /.equivalence ..random))
                  (_.for [/.hash]
                         ($hash.spec /.hash ..random))
 
diff --git a/stdlib/source/test/lux/world/shell.lux b/stdlib/source/test/lux/world/shell.lux
index 03dff9dba..12788d7b2 100644
--- a/stdlib/source/test/lux/world/shell.lux
+++ b/stdlib/source/test/lux/world/shell.lux
@@ -86,7 +86,10 @@
   Test
   (<| (_.covering /._)
       (all _.and
-           (_.for [/.async /.mock /.Mock]
+           (_.for [/.Mock /.mock
+                   /.on_read /.on_fail /.on_write /.on_destroy /.on_await
+
+                   /.async]
                   ($/.spec (/.async (/.mock (|>> ..mock {try.#Success})
                                             false))))
            (_.coverage [/.error]
diff --git a/stdlib/source/test/lux/world/time.lux b/stdlib/source/test/lux/world/time.lux
index bc049bc44..44f9bee82 100644
--- a/stdlib/source/test/lux/world/time.lux
+++ b/stdlib/source/test/lux/world/time.lux
@@ -3,12 +3,12 @@
   [lux (.except)
    [abstract
     [monad (.only do)]
-    [\\specification
-     ["$[0]" equivalence]]
     ["[0]" enum
      ["[1]T" \\test]]
     ["[0]" codec
      ["[1]T" \\test]]
+    ["[0]" equivalence
+     ["[1]T" \\test]]
     ["[0]" order
      ["[1]T" \\test]]]
    [control
@@ -42,7 +42,7 @@
   Test
   (all _.and
        (_.for [/.equivalence]
-              ($equivalence.spec /.equivalence random.time))
+              (equivalenceT.spec /.equivalence random.time))
        (_.for [/.order]
               (orderT.spec /.order random.time))
        (_.for [/.enum]
diff --git a/stdlib/source/test/lux/world/time/date.lux b/stdlib/source/test/lux/world/time/date.lux
index 306b3e252..4e9fa5c0a 100644
--- a/stdlib/source/test/lux/world/time/date.lux
+++ b/stdlib/source/test/lux/world/time/date.lux
@@ -3,12 +3,12 @@
   [lux (.except)
    [abstract
     [monad (.only do)]
-    [\\specification
-     ["$[0]" equivalence]]
     ["[0]" enum
      ["[1]T" \\test]]
     ["[0]" codec
      ["[1]T" \\test]]
+    ["[0]" equivalence
+     ["[1]T" \\test]]
     ["[0]" order
      ["[1]T" \\test]]]
    [control
@@ -34,7 +34,7 @@
       (_.for [/.Date])
       (all _.and
            (_.for [/.equivalence]
-                  ($equivalence.spec /.equivalence random.date))
+                  (equivalenceT.spec /.equivalence random.date))
            (_.for [/.order]
                   (orderT.spec /.order random.date))
            (_.for [/.enum]
diff --git a/stdlib/source/test/lux/world/time/day.lux b/stdlib/source/test/lux/world/time/day.lux
index d0ac6f1d6..be1812d92 100644
--- a/stdlib/source/test/lux/world/time/day.lux
+++ b/stdlib/source/test/lux/world/time/day.lux
@@ -4,12 +4,13 @@
    [abstract
     [monad (.only do)]
     [\\specification
-     ["$[0]" equivalence]
      ["$[0]" hash]]
     ["[0]" enum
      ["[1]T" \\test]]
     ["[0]" codec
      ["[1]T" \\test]]
+    ["[0]" equivalence
+     ["[1]T" \\test]]
     ["[0]" order
      ["[1]T" \\test]]]
    [control
@@ -51,7 +52,7 @@
                               random.nat)])
       (`` (all _.and
                (_.for [/.equivalence]
-                      ($equivalence.spec /.equivalence ..random))
+                      (equivalenceT.spec /.equivalence ..random))
                (_.for [/.hash]
                       ($hash.spec /.hash ..random))
                (_.for [/.order]
diff --git a/stdlib/source/test/lux/world/time/duration.lux b/stdlib/source/test/lux/world/time/duration.lux
index 7900331b8..e38755dc0 100644
--- a/stdlib/source/test/lux/world/time/duration.lux
+++ b/stdlib/source/test/lux/world/time/duration.lux
@@ -3,12 +3,12 @@
   [lux (.except)
    [abstract
     [monad (.only do)]
-    [\\specification
-     ["$[0]" equivalence]]
     ["[0]" enum
      ["[1]T" \\test]]
     ["[0]" codec
      ["[1]T" \\test]]
+    ["[0]" equivalence
+     ["[1]T" \\test]]
     ["[0]" order
      ["[1]T" \\test]]
     ["[0]" monoid
@@ -31,7 +31,7 @@
       (_.for [/.Duration])
       (all _.and
            (_.for [/.equivalence]
-                  ($equivalence.spec /.equivalence random.duration))
+                  (equivalenceT.spec /.equivalence random.duration))
            (_.for [/.order]
                   (orderT.spec /.order random.duration))
            (_.for [/.enum]
diff --git a/stdlib/source/test/lux/world/time/instant.lux b/stdlib/source/test/lux/world/time/instant.lux
index 03abc29c7..889cfa612 100644
--- a/stdlib/source/test/lux/world/time/instant.lux
+++ b/stdlib/source/test/lux/world/time/instant.lux
@@ -4,12 +4,13 @@
    [abstract
     [monad (.only do)]
     [\\specification
-     ["$[0]" equivalence]
      ["$[0]" hash]]
     ["[0]" enum
      ["[1]T" \\test]]
     ["[0]" codec
      ["[1]T" \\test]]
+    ["[0]" equivalence
+     ["[1]T" \\test]]
     ["[0]" order
      ["[1]T" \\test]]]
    [control
@@ -37,7 +38,7 @@
       (_.for [/.Instant])
       (all _.and
            (_.for [/.equivalence]
-                  ($equivalence.spec /.equivalence random.instant))
+                  (equivalenceT.spec /.equivalence random.instant))
            (_.for [/.hash]
                   ($hash.spec /.hash random.instant))
            (_.for [/.order]
diff --git a/stdlib/source/test/lux/world/time/month.lux b/stdlib/source/test/lux/world/time/month.lux
index 9d1f05ab6..29cb2d725 100644
--- a/stdlib/source/test/lux/world/time/month.lux
+++ b/stdlib/source/test/lux/world/time/month.lux
@@ -4,12 +4,13 @@
    [abstract
     [monad (.only do)]
     [\\specification
-     ["$[0]" equivalence]
      ["$[0]" hash]]
     ["[0]" enum
      ["[1]T" \\test]]
     ["[0]" codec
      ["[1]T" \\test]]
+    ["[0]" equivalence
+     ["[1]T" \\test]]
     ["[0]" order
      ["[1]T" \\test]]]
    [control
@@ -45,7 +46,7 @@
       (_.for [/.Month])
       (`` (all _.and
                (_.for [/.equivalence]
-                      ($equivalence.spec /.equivalence ..random))
+                      (equivalenceT.spec /.equivalence ..random))
                (_.for [/.hash]
                       ($hash.spec /.hash ..random))
                (_.for [/.order]
diff --git a/stdlib/source/test/lux/world/time/series.lux b/stdlib/source/test/lux/world/time/series.lux
index a43c1b682..26ca412de 100644
--- a/stdlib/source/test/lux/world/time/series.lux
+++ b/stdlib/source/test/lux/world/time/series.lux
@@ -7,8 +7,8 @@
      ["[1]T" \\test (.only Injection)]]
     ["[0]" mix
      ["[1]T" \\test]]
-    [\\specification
-     ["[0]S" equivalence]]]
+    ["[0]" equivalence
+     ["[1]T" \\test]]]
    [control
     ["|" pipe]
     ["[0]" try (.use "[1]#[0]" functor)]
@@ -77,7 +77,7 @@
               /.#start /.#interval /.#data])
       (`` (all _.and
                (_.for [/.equivalence]
-                      (equivalenceS.spec (/.equivalence n.equivalence) (..random expected_size random.nat)))
+                      (equivalenceT.spec (/.equivalence n.equivalence) (..random expected_size random.nat)))
                (_.for [/.mix]
                       (mixT.spec (..injection expected_start expected_interval) /.equivalence /.mix))
                (_.for [/.functor]
diff --git a/stdlib/source/test/lux/world/time/solar.lux b/stdlib/source/test/lux/world/time/solar.lux
index 5ffe2f1bd..069470205 100644
--- a/stdlib/source/test/lux/world/time/solar.lux
+++ b/stdlib/source/test/lux/world/time/solar.lux
@@ -2,9 +2,7 @@
  [library
   [lux (.except)
    [abstract
-    [monad (.only do)]
-    [\\specification
-     ["$[0]" equivalence]]]
+    [monad (.only do)]]
    [control
     ["[0]" try]
     ["[0]" exception]
diff --git a/stdlib/source/test/lux/world/time/year.lux b/stdlib/source/test/lux/world/time/year.lux
index fc8504e80..c3ad7a790 100644
--- a/stdlib/source/test/lux/world/time/year.lux
+++ b/stdlib/source/test/lux/world/time/year.lux
@@ -3,10 +3,10 @@
   [lux (.except)
    [abstract
     [monad (.only do)]
-    [\\specification
-     ["$[0]" equivalence]]
     ["[0]" codec
      ["[1]T" \\test]]
+    ["[0]" equivalence
+     ["[1]T" \\test]]
     ["[0]" order
      ["[1]T" \\test]]]
    [control
@@ -40,7 +40,7 @@
       (_.for [/.Year])
       (all _.and
            (_.for [/.equivalence]
-                  ($equivalence.spec /.equivalence ..random))
+                  (equivalenceT.spec /.equivalence ..random))
            (_.for [/.order]
                   (orderT.spec /.order ..random))
            (_.for [/.codec /.parser]