From 9afaa3a3236366d57cb1c3d771b25779ee76269b Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Fri, 31 Dec 2021 00:58:08 -0400
Subject: Fixes for the pure-Lux JVM compiler machinery.

---
 .../compilation/continuation_passing_style.md      |   9 +-
 documentation/bookmark/game/community.md           |   4 +
 documentation/bookmark/game/generation/quest.md    |   5 +
 documentation/bookmark/game/mechanic/boss.md       |   5 +
 documentation/bookmark/game/mechanic/enemy.md      |   4 +
 documentation/bookmark/game/mechanic/jump.md       |   4 +
 documentation/bookmark/game/mechanic/synergy.md    |   4 +
 documentation/bookmark/game/reuse.md               |   4 +
 documentation/bookmark/game/sequel.md              |   4 +
 documentation/bookmark/machine_learning.md         |   1 +
 .../source/luxc/lang/translation/jvm/runtime.lux   |   3 +-
 stdlib/source/library/lux/target/python.lux        |   9 +-
 stdlib/source/library/lux/target/ruby.lux          |  15 +-
 .../language/lux/phase/analysis/module.lux         |  44 +-
 .../language/lux/phase/generation/jvm/case.lux     |   4 +-
 .../lux/phase/generation/jvm/function/abstract.lux |   7 +-
 .../language/lux/phase/generation/jvm/runtime.lux  | 138 ++---
 .../lux/phase/generation/jvm/structure.lux         |  32 +-
 .../language/lux/phase/generation/jvm/type.lux     |   4 +-
 stdlib/source/test/lux.lux                         |  63 +--
 stdlib/source/test/lux/data/collection/list.lux    |  70 +--
 .../source/test/lux/data/collection/sequence.lux   |  82 ++-
 stdlib/source/test/lux/target/python.lux           | 323 +++++++++++
 stdlib/source/test/lux/target/ruby.lux             | 594 +++++++++++++++++++++
 stdlib/source/test/lux/tool.lux                    |   2 +
 .../test/lux/tool/compiler/reference/variable.lux  |  41 ++
 26 files changed, 1248 insertions(+), 227 deletions(-)
 create mode 100644 documentation/bookmark/game/community.md
 create mode 100644 documentation/bookmark/game/generation/quest.md
 create mode 100644 documentation/bookmark/game/mechanic/boss.md
 create mode 100644 documentation/bookmark/game/mechanic/enemy.md
 create mode 100644 documentation/bookmark/game/mechanic/jump.md
 create mode 100644 documentation/bookmark/game/mechanic/synergy.md
 create mode 100644 documentation/bookmark/game/reuse.md
 create mode 100644 documentation/bookmark/game/sequel.md
 create mode 100644 stdlib/source/test/lux/target/python.lux
 create mode 100644 stdlib/source/test/lux/target/ruby.lux
 create mode 100644 stdlib/source/test/lux/tool/compiler/reference/variable.lux

diff --git a/documentation/bookmark/compilation/continuation_passing_style.md b/documentation/bookmark/compilation/continuation_passing_style.md
index 0c7069cb0..d5607e3aa 100644
--- a/documentation/bookmark/compilation/continuation_passing_style.md
+++ b/documentation/bookmark/compilation/continuation_passing_style.md
@@ -1,7 +1,8 @@
 # Reference
 
-1. [How to compile with continuations](https://matt.might.net/articles/cps-conversion/)
-1. [Compiling with Continuations](https://www.amazon.com/Compiling-Continuations-Andrew-W-Appel/dp/052103311X)
-1. [Compiling with Continuations, Continued](https://www.microsoft.com/en-us/research/wp-content/uploads/2007/10/compilingwithcontinuationscontinued.pdf)
-1. [Compiling with Continuations, or without? Whatever.](https://www.cs.purdue.edu/homes/rompf/papers/cong-icfp19.pdf)
+0. [Generators, iterators, control and continuations](http://gallium.inria.fr/blog/generators-iterators-control-and-continuations/)
+0. [How to compile with continuations](https://matt.might.net/articles/cps-conversion/)
+0. [Compiling with Continuations](https://www.amazon.com/Compiling-Continuations-Andrew-W-Appel/dp/052103311X)
+0. [Compiling with Continuations, Continued](https://www.microsoft.com/en-us/research/wp-content/uploads/2007/10/compilingwithcontinuationscontinued.pdf)
+0. [Compiling with Continuations, or without? Whatever.](https://www.cs.purdue.edu/homes/rompf/papers/cong-icfp19.pdf)
 
diff --git a/documentation/bookmark/game/community.md b/documentation/bookmark/game/community.md
new file mode 100644
index 000000000..363de2b86
--- /dev/null
+++ b/documentation/bookmark/game/community.md
@@ -0,0 +1,4 @@
+# Reference
+
+0. [Charm Your Communities](https://www.youtube.com/watch?v=o93BMHdde6Y)
+
diff --git a/documentation/bookmark/game/generation/quest.md b/documentation/bookmark/game/generation/quest.md
new file mode 100644
index 000000000..69402603e
--- /dev/null
+++ b/documentation/bookmark/game/generation/quest.md
@@ -0,0 +1,5 @@
+# Reference
+
+0. [Nathan Savant - One Quest To Rule Them All: Quest Design in Non-Games Media](https://www.youtube.com/watch?v=WTLPXhLjwLU)
+0. [Kristen Yu: Video Game Quest Theory for Improved Procedural Content Generation](https://www.youtube.com/watch?v=WutTZ4FCHA8)
+
diff --git a/documentation/bookmark/game/mechanic/boss.md b/documentation/bookmark/game/mechanic/boss.md
new file mode 100644
index 000000000..25522da6c
--- /dev/null
+++ b/documentation/bookmark/game/mechanic/boss.md
@@ -0,0 +1,5 @@
+# Reference
+
+0. [What Makes A Great First Boss? ~ Design Doc](https://www.youtube.com/watch?v=0NGBo3HUrn0)
+0. [Ally Brinken & Michelle Webb - Who's the Boss (And How and Why)?](https://www.youtube.com/watch?v=6JjEXyfXt3U)
+
diff --git a/documentation/bookmark/game/mechanic/enemy.md b/documentation/bookmark/game/mechanic/enemy.md
new file mode 100644
index 000000000..0c8b2da44
--- /dev/null
+++ b/documentation/bookmark/game/mechanic/enemy.md
@@ -0,0 +1,4 @@
+# Reference
+
+0. [How Do You Design a Cast of Enemies? ~ Design Doc](https://www.youtube.com/watch?v=RvrVicqDhKI)
+
diff --git a/documentation/bookmark/game/mechanic/jump.md b/documentation/bookmark/game/mechanic/jump.md
new file mode 100644
index 000000000..d23c68165
--- /dev/null
+++ b/documentation/bookmark/game/mechanic/jump.md
@@ -0,0 +1,4 @@
+# Reference
+
+0. [Math for Game Programmers: Building a Better Jump](https://www.youtube.com/watch?v=hG9SzQxaCm8)
+
diff --git a/documentation/bookmark/game/mechanic/synergy.md b/documentation/bookmark/game/mechanic/synergy.md
new file mode 100644
index 000000000..b8aefaa91
--- /dev/null
+++ b/documentation/bookmark/game/mechanic/synergy.md
@@ -0,0 +1,4 @@
+# Reference
+
+0. [Alice Lai - All Together Now: Creating Multiplicative Power in Hades](https://www.youtube.com/watch?v=pXib0WTfLbI)
+
diff --git a/documentation/bookmark/game/reuse.md b/documentation/bookmark/game/reuse.md
new file mode 100644
index 000000000..8cb218a40
--- /dev/null
+++ b/documentation/bookmark/game/reuse.md
@@ -0,0 +1,4 @@
+# Reference
+
+0. [Growing Your Code Library with Each New Project](https://www.youtube.com/watch?v=o3X8IvJksGA)
+
diff --git a/documentation/bookmark/game/sequel.md b/documentation/bookmark/game/sequel.md
new file mode 100644
index 000000000..f9cce04ef
--- /dev/null
+++ b/documentation/bookmark/game/sequel.md
@@ -0,0 +1,4 @@
+# Reference
+
+0. [How Do You Make a Great Sequel? ~ Design Doc](https://www.youtube.com/watch?v=tj5P5DdgkE4)
+
diff --git a/documentation/bookmark/machine_learning.md b/documentation/bookmark/machine_learning.md
index 2c05864f7..6d11d7ca0 100644
--- a/documentation/bookmark/machine_learning.md
+++ b/documentation/bookmark/machine_learning.md
@@ -10,6 +10,7 @@
 
 # Reference
 
+1. [Why are ML Compilers so Hard?](https://petewarden.com/2021/12/24/why-are-ml-compilers-so-hard/)
 1. ["Multi-Level Intermediate Representation" Compiler Infrastructure](https://github.com/tensorflow/mlir)
 1. [Sampling can be faster than optimization](https://www.pnas.org/content/116/42/20881)
 1. [Layer rotation: a surprisingly powerful indicator of generalization in deep networks](https://arxiv.org/abs/1806.01603v2)
diff --git a/lux-jvm/source/luxc/lang/translation/jvm/runtime.lux b/lux-jvm/source/luxc/lang/translation/jvm/runtime.lux
index 33cf199ea..518e921cd 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/runtime.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/runtime.lux
@@ -307,7 +307,8 @@
                              )))
          )))
 
-(def: .public try (type.method [(list) (list //.$Function) //.$Variant (list)]))
+(def: .public try
+  (type.method [(list) (list //.$Function) //.$Variant (list)]))
 
 (def: io_methods
   Def
diff --git a/stdlib/source/library/lux/target/python.lux b/stdlib/source/library/lux/target/python.lux
index 79a15c682..6d3746721 100644
--- a/stdlib/source/library/lux/target/python.lux
+++ b/stdlib/source/library/lux/target/python.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux {"-" Location Code Label not or and list if cond int comment exec try}
+  [lux {"-" Location Code Label not or and list if int comment exec try}
    ["@" target]
    ["[0]" ffi]
    [abstract
@@ -454,13 +454,6 @@
                           (:representation on))))
   )
 
-(def: .public (cond clauses else!)
-  (-> (List [(Expression Any) (Statement Any)]) (Statement Any) (Statement Any))
-  (list#mix (.function (_ [test then!] next!)
-              (..if test then! next!))
-            else!
-            (list.reversed clauses)))
-
 (syntax: (arity_inputs [arity <code>.nat])
   (in (case arity
         0 (.list)
diff --git a/stdlib/source/library/lux/target/ruby.lux b/stdlib/source/library/lux/target/ruby.lux
index 3280ac134..b2c9088dc 100644
--- a/stdlib/source/library/lux/target/ruby.lux
+++ b/stdlib/source/library/lux/target/ruby.lux
@@ -1,6 +1,6 @@
 (.using
  [library
-  [lux {"-" Location Code static int if cond function or and not comment local global symbol}
+  [lux {"-" Location Code static int if function or and not comment local global symbol}
    ["@" target]
    [abstract
     [equivalence {"+" Equivalence}]
@@ -202,14 +202,14 @@
         :abstraction))
 
   (def: .public array
-    (-> (List Expression) Literal)
+    (-> (List Expression) Computation)
     (|>> (list#each (|>> :representation))
          (text.interposed ..input_separator)
          (text.enclosed ["[" "]"])
          :abstraction))
 
   (def: .public hash
-    (-> (List [Expression Expression]) Literal)
+    (-> (List [Expression Expression]) Computation)
     (|>> (list#each (.function (_ [k v])
                       (format (:representation k) " => " (:representation v))))
          (text.interposed ..input_separator)
@@ -374,7 +374,7 @@
                 (..nested (:representation body!)))))
 
   (def: .public (lambda name args body!)
-    (-> (Maybe LVar) (List Var) Statement Literal)
+    (-> (Maybe LVar) (List Var) Statement Computation)
     (let [proc (|> (format (|> args
                                (list#each (|>> :representation))
                                (text.interposed ..input_separator)
@@ -456,13 +456,6 @@
   (-> (List Expression) Expression Computation)
   (..do "call" args {.#None} lambda))
 
-(def: .public (cond clauses else!)
-  (-> (List [Expression Statement]) Statement Statement)
-  (list#mix (.function (_ [test then!] next!)
-              (..if test then! next!))
-            else!
-            (list.reversed clauses)))
-
 (syntax: (arity_inputs [arity <code>.nat])
   (in (case arity
         0 (.list)
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/module.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/module.lux
index d960e465d..76cf4f82a 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/module.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/module.lux
@@ -1,26 +1,26 @@
 (.using
-  [library
-   [lux "*"
-    [abstract
-     ["[0]" monad {"+" do}]]
-    [control
-     pipe
-     ["[0]" try]
-     ["[0]" exception {"+" exception:}]]
-    [data
-     ["[0]" text ("[1]#[0]" equivalence)
-      ["%" format {"+" format}]]
-     [collection
-      ["[0]" list ("[1]#[0]" mix functor)]
-      [dictionary
-       ["[0]" plist]]]]
-    ["[0]" meta]]]
-  ["[0]" /// "_"
-   ["[1][0]" extension]
-   [//
-    ["/" analysis {"+" Operation}]
-    [///
-     ["[1]" phase]]]])
+ [library
+  [lux "*"
+   [abstract
+    ["[0]" monad {"+" do}]]
+   [control
+    pipe
+    ["[0]" try]
+    ["[0]" exception {"+" exception:}]]
+   [data
+    ["[0]" text ("[1]#[0]" equivalence)
+     ["%" format {"+" format}]]
+    [collection
+     ["[0]" list ("[1]#[0]" mix functor)]
+     [dictionary
+      ["[0]" plist]]]]
+   ["[0]" meta]]]
+ ["[0]" /// "_"
+  ["[1][0]" extension]
+  [//
+   ["/" analysis {"+" Operation}]
+   [///
+    ["[1]" phase]]]])
 
 (type: .public Tag Text)
 
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/case.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/case.lux
index 0d2774331..d4f994a5d 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/case.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/case.lux
@@ -118,8 +118,8 @@
           ($_ _.composite
               ..peek
               (_.checkcast //type.variant)
-              (//structure.tag lefts <right?>)
-              (//structure.flag <right?>)
+              (//structure.lefts lefts <right?>)
+              (//structure.right? <right?>)
               //runtime.case
               _.dup
               (_.ifnull @fail)
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/abstract.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/abstract.lux
index 2601cda6d..d8bd53835 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/abstract.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/abstract.lux
@@ -13,11 +13,12 @@
     [constant
      ["[0]" arity]]]])
 
-(def: .public artifact_id
-  1)
+... (def: .public artifact_id
+...   1)
 
 (def: .public class
-  (type.class (%.nat artifact_id) (list)))
+  ... (type.class (%.nat artifact_id) (list))
+  (type.class "library.lux.Function" (list)))
 
 (def: .public init
   (Type Method)
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/runtime.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/runtime.lux
index c753851bc..fccfabf64 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/runtime.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/runtime.lux
@@ -90,9 +90,9 @@
 (def: .public (class_name [module id])
   (-> generation.Context Text)
   (format lux_context
-          "/" (%.nat version.version)
-          "/" (%.nat module)
-          "/" (%.nat id)))
+          "." (%.nat version.version)
+          "." (%.nat module)
+          "." (%.nat id)))
 
 (def: artifact_id
   0)
@@ -135,40 +135,40 @@
 (def: .public unit (_.string synthesis.unit))
 
 (def: variant::name "variant")
-(def: variant::type (type.method [(list) (list //type.tag //type.flag //type.value) //type.variant (list)]))
+(def: variant::type (type.method [(list) (list //type.lefts //type.right? //type.value) //type.variant (list)]))
 (def: .public variant (..procedure ..variant::name ..variant::type))
 
-(def: variant_tag _.iconst_0)
-(def: variant_last? _.iconst_1)
+(def: variant_lefts _.iconst_0)
+(def: variant_right? _.iconst_1)
 (def: variant_value _.iconst_2)
 
 (def: variant::method
   (let [new_variant ($_ _.composite
                         _.iconst_3
                         (_.anewarray //type.value))
-        $tag ($_ _.composite
-                 _.iload_0
-                 (//value.wrap type.int))
-        $last? _.aload_1
+        $lefts ($_ _.composite
+                   _.iload_0
+                   (//value.wrap type.int))
+        $right? _.aload_1
         $value _.aload_2]
     (method.method ..modifier ..variant::name
                    ..variant::type
                    (list)
                    {.#Some ($_ _.composite
-                               new_variant                  ... A[3]
-                               (..set! ..variant_tag $tag)  ... A[3]
-                               (..set! ..variant_last? $last?) ... A[3]
-                               (..set! ..variant_value $value) ... A[3]
+                               new_variant                       ... A[3]
+                               (..set! ..variant_lefts $lefts)   ... A[3]
+                               (..set! ..variant_right? $right?) ... A[3]
+                               (..set! ..variant_value $value)   ... A[3]
                                _.areturn)})))
 
-(def: .public left_flag _.aconst_null)
-(def: .public right_flag ..unit)
+(def: .public left_right? _.aconst_null)
+(def: .public right_right? ..unit)
 
 (def: .public left_injection
   (Bytecode Any)
   ($_ _.composite
       _.iconst_0
-      ..left_flag
+      ..left_right?
       _.dup2_x1
       _.pop2
       ..variant))
@@ -176,8 +176,8 @@
 (def: .public right_injection
   (Bytecode Any)
   ($_ _.composite
-      _.iconst_1
-      ..right_flag
+      _.iconst_0
+      ..right_right?
       _.dup2_x1
       _.pop2
       ..variant))
@@ -188,7 +188,7 @@
   (Bytecode Any)
   ($_ _.composite
       _.iconst_0
-      ..left_flag
+      ..left_right?
       ..unit
       ..variant))
 
@@ -288,7 +288,7 @@
                         _.areturn))}))
 
 (def: case::name "case")
-(def: case::type (type.method [(list) (list //type.variant //type.tag //type.flag) //type.value (list)]))
+(def: case::type (type.method [(list) (list //type.variant //type.lefts //type.right?) //type.value (list)]))
 (def: .public case (..procedure ..case::name ..case::type))
 
 (def: case::method
@@ -298,68 +298,72 @@
                   (do _.monad
                     [@loop _.new_label
                      @perfect_match! _.new_label
-                     @tags_match! _.new_label
+                     @lefts_match! _.new_label
                      @maybe_nested _.new_label
                      @mismatch! _.new_label
-                     .let [::tag ($_ _.composite
-                                     (..get ..variant_tag)
-                                     (//value.unwrap type.int))
-                           ::last? (..get ..variant_last?)
+                     .let [$variant _.aload_0
+                           $lefts _.iload_1
+                           $right? _.aload_2
+
+                           ::lefts ($_ _.composite
+                                       (..get ..variant_lefts)
+                                       (//value.unwrap type.int))
+                           ::right? (..get ..variant_right?)
                            ::value (..get ..variant_value)
 
-                           $variant _.aload_0
-                           $tag _.iload_1
-                           $last? _.aload_2
-
                            not_found _.aconst_null
 
-                           update_$tag _.isub
+                           super_nested_lefts ($_ _.composite
+                                                  _.swap
+                                                  _.isub
+                                                  (_.int (i32.i32 (.i64 +1)))
+                                                  _.isub)
+                           super_nested ($_ _.composite
+                                            ... lefts, sumT
+                                            super_nested_lefts ... super_lefts
+                                            $variant ::right? ... super_lefts, super_right
+                                            $variant ::value ... super_lefts, super_right, super_value
+                                            ..variant)
+
                            update_$variant ($_ _.composite
                                                $variant ::value
                                                (_.checkcast //type.variant)
                                                _.astore_0)
-                           recur (: (-> Label (Bytecode Any))
-                                    (function (_ @loop_start)
+                           update_$lefts ($_ _.composite
+                                             _.isub
+                                             (_.int (i32.i32 (.i64 +1)))
+                                             _.isub)
+                           again (: (-> Label (Bytecode Any))
+                                    (function (_ @)
                                       ($_ _.composite
-                                          ... tag, sumT
-                                          update_$variant ... tag, sumT
-                                          update_$tag     ... sub_tag
-                                          (_.goto @loop_start))))
-                           
-                           super_nested_tag ($_ _.composite
-                                                ... tag, sumT
-                                                _.swap ... sumT, tag
-                                                _.isub)
-                           super_nested ($_ _.composite
-                                            ... tag, sumT
-                                            super_nested_tag ... super_tag
-                                            $variant ::last? ... super_tag, super_last
-                                            $variant ::value ... super_tag, super_last, super_value
-                                            ..variant)]]
+                                          ... lefts, sumT
+                                          update_$variant ... lefts, sumT
+                                          update_$lefts ... sub_lefts
+                                          (_.goto @))))]]
                     ($_ _.composite
-                        $tag
+                        $lefts
                         (_.set_label @loop)
-                        $variant ::tag
-                        _.dup2 (_.if_icmpeq @tags_match!)
+                        $variant ::lefts
+                        _.dup2 (_.if_icmpeq @lefts_match!)
                         _.dup2 (_.if_icmpgt @maybe_nested)
-                        $last? (_.ifnull @mismatch!) ... tag, sumT
+                        $right? (_.ifnull @mismatch!) ... lefts, sumT
                         super_nested                 ... super_variant
                         _.areturn
-                        (_.set_label @tags_match!) ... tag, sumT
-                        $last?            ... tag, sumT, wants_last?
-                        $variant ::last? ... tag, sumT, wants_last?, is_last?
-                        (_.if_acmpeq @perfect_match!) ... tag, sumT
-                        (_.set_label @maybe_nested)   ... tag, sumT
-                        $variant ::last?       ... tag, sumT, last?
-                        (_.ifnull @mismatch!)  ... tag, sumT
-                        (recur @loop)
-                        (_.set_label @perfect_match!) ... tag, sumT
+                        (_.set_label @lefts_match!) ... lefts, sumT
+                        $right?            ... lefts, sumT, wants_right?
+                        $variant ::right? ... lefts, sumT, wants_right?, is_right?
+                        (_.if_acmpeq @perfect_match!) ... lefts, sumT
+                        (_.set_label @mismatch!) ... lefts, sumT
                         ... _.pop2
-                        $variant ::value
+                        not_found
                         _.areturn
-                        (_.set_label @mismatch!) ... tag, sumT
+                        (_.set_label @maybe_nested)   ... lefts, sumT
+                        $variant ::right?       ... lefts, sumT, right?
+                        (_.ifnull @mismatch!)  ... lefts, sumT
+                        (again @loop)
+                        (_.set_label @perfect_match!) ... lefts, sumT
                         ... _.pop2
-                        not_found
+                        $variant ::value
                         _.areturn
                         ))}))
 
@@ -599,8 +603,10 @@
                                   (list& <init>::method apply::method+)
                                   (sequence.sequence)))]
     (do ////.monad
-      [_ (generation.execute! [class bytecode])]
-      (generation.save! //function.artifact_id {.#None} [class bytecode]))))
+      [_ (generation.execute! [class bytecode])
+       ... _ (generation.save! //function.artifact_id {.#None} [class bytecode])
+       ]
+      (in []))))
 
 (def: .public generate
   (Operation [Registry Output])
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/structure.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/structure.lux
index 0f0012727..cf9f6b02e 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/structure.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/structure.lux
@@ -55,42 +55,40 @@
              _ (_.anewarray $Object)]
             (monad.all ! membersI))))))
 
-(def: .public (tag lefts right?)
+(def: .public (lefts lefts right?)
   (-> Nat Bit (Bytecode Any))
-  (case (if right?
-          (.++ lefts)
-          lefts)
+  (case lefts
     0 _.iconst_0
     1 _.iconst_1
     2 _.iconst_2
     3 _.iconst_3
     4 _.iconst_4
     5 _.iconst_5
-    tag (case (signed.s1 (.int tag))
+    _ (case (signed.s1 (.int lefts))
+        {try.#Success value}
+        (_.bipush value)
+
+        {try.#Failure _}
+        (case (signed.s2 (.int lefts))
           {try.#Success value}
-          (_.bipush value)
+          (_.sipush value)
 
           {try.#Failure _}
-          (case (signed.s2 (.int tag))
-            {try.#Success value}
-            (_.sipush value)
-
-            {try.#Failure _}
-            (_.int (.i64 tag))))))
+          (_.int (.i64 lefts))))))
 
-(def: .public (flag right?)
+(def: .public (right? right?)
   (-> Bit (Bytecode Any))
   (if right?
-    //runtime.right_flag
-    //runtime.left_flag))
+    //runtime.right_right?
+    //runtime.left_right?))
 
 (def: .public (variant phase archive [lefts right? valueS])
   (Generator (Variant Synthesis))
   (do phase.monad
     [valueI (phase archive valueS)]
     (in (do _.monad
-          [_ (..tag lefts right?)
-           _ (..flag right?)
+          [_ (..lefts lefts right?)
+           _ (..right? right?)
            _ valueI]
           (_.invokestatic //runtime.class "variant"
                           (type.method [(list)
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/type.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/type.lux
index 893d38bbc..a7f05a114 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/type.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/type.lux
@@ -10,8 +10,8 @@
 
 (def: .public value (type.class "java.lang.Object" (list)))
 
-(def: .public tag type.int)
-(def: .public flag ..value)
+(def: .public lefts type.int)
+(def: .public right? ..value)
 (def: .public variant (type.array ..value))
 
 (def: .public offset type.int)
diff --git a/stdlib/source/test/lux.lux b/stdlib/source/test/lux.lux
index 86ed33be3..255d15c71 100644
--- a/stdlib/source/test/lux.lux
+++ b/stdlib/source/test/lux.lux
@@ -64,8 +64,11 @@
             ["[1][0]" target "_"
              (~~ (.for ["{old}" (~~ (.as_is ["[1]/[0]" jvm]))
                         "JVM" (~~ (.as_is ["[1]/[0]" jvm]))
-                        "JavaScript" (~~ (.as_is ["[1]/[0]" js]))]
-                       (~~ (.as_is))))]])))
+                        "JavaScript" (~~ (.as_is ["[1]/[0]" js]))
+                        "Ruby" (~~ (.as_is ["[1]/[0]" ruby]))
+                        "Python" (~~ (.as_is ["[1]/[0]" python]))]
+                       (~~ (.as_is))))]
+            ])))
 
 ... TODO: Get rid of this ASAP
 (template: (!bundle body)
@@ -76,34 +79,34 @@
 
 (def: sub_tests
   Test
-  (with_expansions [... TODO: Update & expand tests for this
-                    <target> (for [@.jvm (~~ (as_is /target/jvm.test))
-                                   @.old (~~ (as_is /target/jvm.test))
-                                   @.js (~~ (as_is /target/js.test))]
-                                  (~~ (as_is)))
-                    <extension> (for [@.old (~~ (as_is))]
-                                     (~~ (as_is /extension.test)))]
-    (`` (_.in_parallel (list /abstract.test
-                             /control.test
-                             /data.test
-                             /debug.test
-                             /documentation.test
-                             /locale.test
-                             /macro.test
-                             /math.test
-                             /meta.test
-                             /program.test
-                             /static.test
-                             /target.test
-                             /test.test
-                             /time.test
-                             /tool.test
-                             /type.test
-                             /world.test
-                             /ffi.test
-                             <target>
-                             <extension>
-                             )))))
+  (`` (`` (_.in_parallel (list /abstract.test
+                               /control.test
+                               /data.test
+                               /debug.test
+                               /documentation.test
+                               /locale.test
+                               /macro.test
+                               /math.test
+                               /meta.test
+                               /program.test
+                               /static.test
+                               /target.test
+                               /test.test
+                               /time.test
+                               /tool.test
+                               /type.test
+                               /world.test
+                               /ffi.test
+                               ... TODO: Update & expand tests for this
+                               (~~ (for [@.jvm (~~ (as_is /target/jvm.test))
+                                         @.old (~~ (as_is /target/jvm.test))
+                                         @.js (~~ (as_is /target/js.test))
+                                         @.ruby (~~ (as_is /target/ruby.test))
+                                         @.python (~~ (as_is /target/python.test))]
+                                        (~~ (as_is))))
+                               (~~ (for [@.old (~~ (as_is))]
+                                        (~~ (as_is /extension.test))))
+                               )))))
 
 (def: for_bit
   Test
diff --git a/stdlib/source/test/lux/data/collection/list.lux b/stdlib/source/test/lux/data/collection/list.lux
index c305ce6a0..06218dbb8 100644
--- a/stdlib/source/test/lux/data/collection/list.lux
+++ b/stdlib/source/test/lux/data/collection/list.lux
@@ -1,36 +1,36 @@
 (.using
-  [library
-   [lux "*"
-    ["_" test {"+" Test}]
-    [abstract
-     [monad {"+" do}]
-     ["[0]" enum]
-     [\\specification
-      ["$[0]" equivalence]
-      ["$[0]" hash]
-      ["$[0]" monoid]
-      ["$[0]" mix]
-      ["$[0]" functor]
-      ["$[0]" apply]
-      ["$[0]" monad]]]
-    [control
-     pipe
-     ["[0]" io]
-     ["[0]" maybe]
-     ["[0]" function]]
-    [data
-     ["[0]" bit]
-     ["[0]" product]
-     ["[0]" text ("[1]#[0]" equivalence)]
-     [collection
-      ["[0]" set]]]
-    [math
-     ["[0]" random {"+" Random}]
-     [number
-      ["n" nat]
-      ["[0]" int]]]]]
-  [\\library
-   ["[0]" / ("[1]#[0]" monad)]])
+ [library
+  [lux "*"
+   ["_" test {"+" Test}]
+   [abstract
+    [monad {"+" do}]
+    ["[0]" enum]
+    [\\specification
+     ["$[0]" equivalence]
+     ["$[0]" hash]
+     ["$[0]" monoid]
+     ["$[0]" mix]
+     ["$[0]" functor]
+     ["$[0]" apply]
+     ["$[0]" monad]]]
+   [control
+    pipe
+    ["[0]" io]
+    ["[0]" maybe]
+    ["[0]" function]]
+   [data
+    ["[0]" bit]
+    ["[0]" product]
+    ["[0]" text ("[1]#[0]" equivalence)]
+    [collection
+     ["[0]" set]]]
+   [math
+    ["[0]" random {"+" Random}]
+    [number
+     ["n" nat]
+     ["[0]" int]]]]]
+ [\\library
+  ["[0]" / ("[1]#[0]" monad)]])
 
 (def: bounded_size
   (Random Nat)
@@ -362,7 +362,7 @@
   Test
   (let [(^open "/#[0]") /.functor
         
-        choose (: (-> Nat (Maybe Text))
+        choice (: (-> Nat (Maybe Text))
                   (function (_ value)
                     (if (n.even? value)
                       {.#Some (# n.decimal encoded value)}
@@ -375,7 +375,7 @@
                               (/.only n.even?)
                               (/#each (# n.decimal encoded))
                               /.head)
-                          (/.one choose sample)]
+                          (/.one choice sample)]
                      [{.#Some expected} {.#Some actual}]
                      (text#= expected actual)
 
@@ -389,7 +389,7 @@
                       (|> sample
                           (/.only n.even?)
                           (/#each (# n.decimal encoded)))
-                      (/.all choose sample)))
+                      (/.all choice sample)))
           (_.cover [/.example]
                    (case (/.example n.even? sample)
                      {.#Some found}
diff --git a/stdlib/source/test/lux/data/collection/sequence.lux b/stdlib/source/test/lux/data/collection/sequence.lux
index 87b67009b..220581bd2 100644
--- a/stdlib/source/test/lux/data/collection/sequence.lux
+++ b/stdlib/source/test/lux/data/collection/sequence.lux
@@ -1,30 +1,31 @@
 (.using
-  [library
-   [lux "*"
-    ["_" test {"+" Test}]
-    [abstract
-     [monad {"+" do}]
-     [\\specification
-      ["$[0]" equivalence]
-      ["$[0]" monoid]
-      ["$[0]" mix]
-      ["$[0]" functor {"+" Injection}]
-      ["$[0]" apply]
-      ["$[0]" monad]]]
-    [control
-     ["[0]" try {"+" Try}]
-     ["[0]" exception]]
-    [data
-     ["[0]" bit ("[1]#[0]" equivalence)]
-     [collection
-      ["[0]" list ("[1]#[0]" mix)]
-      ["[0]" set]]]
-    [math
-     ["[0]" random]
-     [number
-      ["n" nat]]]]]
-  [\\library
-   ["[0]" / ("[1]#[0]" monad)]])
+ [library
+  [lux "*"
+   ["_" test {"+" Test}]
+   [abstract
+    [monad {"+" do}]
+    [\\specification
+     ["$[0]" equivalence]
+     ["$[0]" monoid]
+     ["$[0]" mix]
+     ["$[0]" functor {"+" Injection}]
+     ["$[0]" apply]
+     ["$[0]" monad]]]
+   [control
+    ["[0]" try {"+" Try}]
+    ["[0]" exception]]
+   [data
+    ["[0]" bit ("[1]#[0]" equivalence)]
+    ["[0]" text ("[1]#[0]" equivalence)]
+    [collection
+     ["[0]" list ("[1]#[0]" mix)]
+     ["[0]" set]]]
+   [math
+    ["[0]" random]
+    [number
+     ["n" nat]]]]]
+ [\\library
+  ["[0]" / ("[1]#[0]" monad)]])
 
 (def: signatures
   Test
@@ -183,5 +184,34 @@
                                        (/#= sample))]
                                (and expected_size!
                                     symmetry!))))
+                  (_.cover [/.only]
+                           (let [positives (/.only n.even? sample)
+                                 negatives (/.only (bit.complement n.even?) sample)]
+                             (and (/.every? n.even? positives)
+                                  (not (/.any? n.even? negatives))
+
+                                  (n.= (/.size sample)
+                                       (n.+ (/.size positives)
+                                            (/.size negatives))))))
+                  (_.cover [/.one]
+                           (let [(^open "/#[0]") /.functor
+                                 choice (: (-> Nat (Maybe Text))
+                                           (function (_ value)
+                                             (if (n.even? value)
+                                               {.#Some (# n.decimal encoded value)}
+                                               {.#None})))]
+                             (case [(|> sample
+                                        (/.only n.even?)
+                                        (/#each (# n.decimal encoded))
+                                        (/.item 0))
+                                    (/.one choice sample)]
+                               [{try.#Success expected} {.#Some actual}]
+                               (text#= expected actual)
+
+                               [{try.#Failure _} {.#None}]
+                               true
+
+                               _
+                               false)))
                   ))
             ))))
diff --git a/stdlib/source/test/lux/target/python.lux b/stdlib/source/test/lux/target/python.lux
new file mode 100644
index 000000000..49d74c1b3
--- /dev/null
+++ b/stdlib/source/test/lux/target/python.lux
@@ -0,0 +1,323 @@
+(.using
+ [library
+  [lux "*"
+   ["_" test {"+" Test}]
+   ["[0]" ffi]
+   [abstract
+    [monad {"+" do}]
+    ["[0]" predicate]]
+   [control
+    ["[0]" maybe ("[1]#[0]" functor)]
+    ["[0]" try {"+" Try} ("[1]#[0]" functor)]]
+   [data
+    ["[0]" bit ("[1]#[0]" equivalence)]
+    ["[0]" text {"+" \n} ("[1]#[0]" equivalence)
+     ["%" format {"+" format}]]
+    [collection
+     ["[0]" list ("[1]#[0]" functor)]]]
+   ["[0]" math
+    ["[0]" random {"+" Random} ("[1]#[0]" monad)]
+    [number
+     ["n" nat]
+     ["i" int]
+     ["f" frac]
+     ["[0]" i64]]]]]
+ [\\library
+  ["[0]" /]])
+
+(ffi.import: (eval [Text] "try" "?" Any))
+
+(def: (expression ??? it)
+  (-> (-> Any Bit) (/.Expression Any) Bit)
+  ... (case (|> it /.code ..eval)
+  ...   {try.#Success it}
+  ...   (|> it
+  ...       (maybe#each ???)
+  ...       (maybe.else false))
+  
+  ...   {try.#Failure error}
+  ...   (exec
+  ...     ("lux io log" "try.#Failure")
+  ...     ("lux io log" error)
+  ...     ("lux io log" (|> it /.code))
+  ...     false))
+  (|> it
+      /.code
+      ..eval
+      (try#each (|>> (maybe#each ???)
+                     (maybe.else false)))
+      (try.else false))
+  )
+
+(def: test|literal
+  Test
+  (do [! random.monad]
+    [bool random.bit
+     float random.frac
+     int random.int
+     string (random.ascii/upper 5)]
+    ($_ _.and
+        (_.cover [/.none]
+                 (|> /.none
+                     /.code
+                     ..eval
+                     (try#each (function (_ it)
+                                 (case it
+                                   {.#None} true
+                                   {.#Some _} true)))
+                     (try.else false)))
+        (_.cover [/.bool]
+                 (expression (|>> (:as Bit) (bit#= bool))
+                             (/.bool bool)))
+        (_.cover [/.int]
+                 (expression (|>> (:as Int) (i.= int))
+                             (/.int int)))
+        ... (_.cover [/.long]
+        ...          (expression (|>> (:as Int) (i.= int))
+        ...                      (/.long int)))
+        (_.cover [/.float]
+                 (expression (|>> (:as Frac) (f.= float))
+                             (/.float float)))
+        (_.cover [/.string]
+                 (expression (|>> (:as Text) (text#= string))
+                             (/.string string)))
+        (_.cover [/.unicode]
+                 (expression (|>> (:as Text) (text#= string))
+                             (/.unicode string)))
+        )))
+
+(def: test|bool
+  Test
+  (do [! random.monad]
+    [left random.bit
+     right random.bit]
+    (`` ($_ _.and
+            (~~ (template [</> <lux>]
+                  [(_.cover [</>]
+                            (let [expected (<lux> left right)]
+                              (expression (|>> (:as Bit) (bit#= expected))
+                                          (</> (/.bool left) (/.bool right)))))]
+
+                  [/.or .or]
+                  [/.and .and]
+                  ))
+            (_.cover [/.not]
+                     (expression (|>> (:as Bit) (bit#= (not left)))
+                                 (/.not (/.bool left))))
+            ))))
+
+(def: test|float
+  Test
+  (do [! random.monad]
+    [parameter (random.only (|>> (f.= +0.0) not)
+                            random.safe_frac)
+     subject random.safe_frac]
+    (`` ($_ _.and
+            (~~ (template [</> <lux> <pre>]
+                  [(_.cover [</>]
+                            (let [expected (<lux> (<pre> parameter) (<pre> subject))]
+                              (expression (|>> (:as Frac) (f.= expected))
+                                          (</> (/.float (<pre> parameter)) (/.float (<pre> subject))))))]
+
+                  [/.+ f.+ |>]
+                  [/.- f.- |>]
+                  [/.* f.* |>]
+                  [/./ f./ |>]
+                  [/.% f.mod |>]
+                  [/.** math.pow f.abs]
+                  ))
+            (~~ (template [</> <lux>]
+                  [(_.cover [</>]
+                            (let [expected (<lux> parameter subject)]
+                              (expression (|>> (:as Bit) (bit#= expected))
+                                          (</> (/.float parameter) (/.float subject)))))]
+
+                  [/.<  f.<]
+                  [/.<= f.<=]
+                  [/.>  f.>]
+                  [/.>= f.>=]
+                  [/.=  f.=]
+                  ))
+            ))))
+
+(def: int/16
+  (-> Int Int)
+  (i64.and (-- (i64.left_shifted 15 1))))
+
+(def: test|int
+  Test
+  (do [! random.monad]
+    [left random.int
+     right random.int
+
+     i16 (# ! each ..int/16 random.int)
+     shift (# ! each (n.% 16) random.nat)]
+    (`` ($_ _.and
+            (~~ (template [</> <lux>]
+                  [(_.cover [</>]
+                            (let [expected (<lux> left right)]
+                              (expression (|>> (:as Frac) f.int (i.= expected))
+                                          (</> (/.int left) (/.int right)))))]
+
+                  [/.bit_or i64.or]
+                  [/.bit_xor i64.xor]
+                  [/.bit_and i64.and]
+                  ))
+            (_.cover [/.opposite]
+                     (expression (|>> (:as Int) (i.= (i.* -1 left)))
+                                 (/.opposite (/.int left))))
+            (_.cover [/.bit_shl]
+                     (let [expected (i64.left_shifted shift i16)]
+                       (expression (|>> (:as Frac) f.int (i.= expected))
+                                   (/.bit_shl (/.int (.int shift))
+                                              (/.int i16)))))
+            (_.cover [/.bit_shr]
+                     (let [expected (i.right_shifted shift i16)]
+                       (expression (|>> (:as Frac) f.int (i.= expected))
+                                   (/.bit_shr (/.int (.int shift))
+                                              (/.int i16)))))
+            ))))
+
+(def: test|array
+  Test
+  (do [! random.monad]
+    [size (# ! each (|>> (n.% 10) ++) random.nat)
+     index (# ! each (n.% size) random.nat)
+     items (random.list size random.safe_frac)
+     .let [expected (|> items
+                        (list.item index)
+                        (maybe.else f.not_a_number))]
+     from (# ! each (n.% size) random.nat)
+     plus (# ! each (n.% (n.- from size)) random.nat)
+     .let [slice_from|size (n.- from size)
+           to (/.int (.int (n.+ plus from)))
+           from (/.int (.int from))]]
+    ($_ _.and
+        (_.cover [/.list /.item]
+                 (expression (|>> (:as Frac) (f.= expected))
+                             (/.item (/.int (.int index))
+                                     (/.list (list#each /.float items)))))
+        (_.cover [/.tuple /.item]
+                 (expression (|>> (:as Frac) (f.= expected))
+                             (/.item (/.int (.int index))
+                                     (/.tuple (list#each /.float items)))))
+        (_.cover [/.slice /.len/1]
+                 (expression (|>> (:as Int) (i.= (.int plus)))
+                             (|> (/.list (list#each /.float items))
+                                 (/.slice from to)
+                                 /.len/1)))
+        (_.cover [/.slice_from]
+                 (expression (|>> (:as Int) (i.= (.int slice_from|size)))
+                             (|> (/.list (list#each /.float items))
+                                 (/.slice_from from)
+                                 /.len/1)))
+        )))
+
+(def: test|dict
+  Test
+  (do [! random.monad]
+    [expected random.safe_frac
+     field (random.ascii/upper 5)
+     dummy (random.only (|>> (text#= field) not)
+                        (random.ascii/upper 5))
+     .let [field (/.string field)
+           dummy (/.string dummy)]]
+    ($_ _.and
+        (_.cover [/.dict]
+                 (expression (|>> (:as Frac) (f.= expected))
+                             (/.item field (/.dict (list [field (/.float expected)])))))
+        )))
+
+(def: test|computation
+  Test
+  (do [! random.monad]
+    [test random.bit
+     then random.safe_frac
+     else random.safe_frac
+
+     bool random.bit
+     float random.frac
+     string (random.ascii/upper 5)
+
+     comment (random.ascii/upper 10)]
+    ($_ _.and
+        ..test|bool
+        ..test|float
+        ..test|int
+        ..test|array
+        ..test|dict
+        (_.cover [/.?]
+                 (let [expected (if test then else)]
+                   (expression (|>> (:as Frac) (f.= expected))
+                               (/.? (/.bool test)
+                                    (/.float then)
+                                    (/.float else)))))
+        (_.cover [/.comment]
+                 (expression (|>> (:as Frac) (f.= then))
+                             (/.comment comment
+                               (/.float then))))
+        )))
+
+(def: test|function
+  Test
+  (do [! random.monad]
+    [float/0 random.safe_frac
+     float/1 random.safe_frac
+     float/2 random.safe_frac
+     $arg/0 (# ! each /.var (random.ascii/lower 10))
+     $arg/1 (# ! each /.var (random.ascii/lower 11))
+     $arg/2 (# ! each /.var (random.ascii/lower 12))]
+    ($_ _.and
+        (_.cover [/.lambda]
+                 (expression (|>> (:as Frac) (f.= float/0))
+                             (/.apply/* (/.lambda (list)
+                                                  (/.float float/0))
+                                        (list))))
+        (_.cover [/.apply/1]
+                 (expression (|>> (:as Frac) (f.= float/0))
+                             (/.apply/1 (/.lambda (list $arg/0)
+                                                  $arg/0)
+                                        (/.float float/0))))
+        (_.cover [/.apply/2]
+                 (expression (|>> (:as Frac) (f.= ($_ f.+ float/0 float/1)))
+                             (/.apply/2 (/.lambda (list $arg/0 $arg/1)
+                                                  ($_ /.+ $arg/0 $arg/1))
+                                        (/.float float/0)
+                                        (/.float float/1))))
+        (_.cover [/.apply/3]
+                 (expression (|>> (:as Frac) (f.= ($_ f.+ float/0 float/1 float/2)))
+                             (/.apply/3 (/.lambda (list $arg/0 $arg/1 $arg/2)
+                                                  ($_ /.+ $arg/0 $arg/1 $arg/2))
+                                        (/.float float/0)
+                                        (/.float float/1)
+                                        (/.float float/2))))
+        (_.cover [/.apply/*]
+                 (expression (|>> (:as Frac) (f.= ($_ f.+ float/0 float/1 float/2)))
+                             (/.apply/* (/.lambda (list $arg/0 $arg/1 $arg/2)
+                                                  ($_ /.+ $arg/0 $arg/1 $arg/2))
+                                        (list (/.float float/0) (/.float float/1) (/.float float/2)))))
+        )))
+
+(def: test|expression
+  Test
+  (do [! random.monad]
+    [dummy random.safe_frac
+     expected random.safe_frac]
+    (`` ($_ _.and
+            (_.for [/.Literal]
+                   ..test|literal)
+            (_.for [/.Computation]
+                   ..test|computation)
+            ..test|function
+            ))))
+
+(def: .public test
+  Test
+  (do [! random.monad]
+    []
+    (<| (_.covering /._)
+        (_.for [/.Code /.code])
+        ($_ _.and
+            (_.for [/.Expression]
+                   ..test|expression)
+            ))))
diff --git a/stdlib/source/test/lux/target/ruby.lux b/stdlib/source/test/lux/target/ruby.lux
new file mode 100644
index 000000000..80d4a161f
--- /dev/null
+++ b/stdlib/source/test/lux/target/ruby.lux
@@ -0,0 +1,594 @@
+(.using
+ [library
+  [lux "*"
+   ["_" test {"+" Test}]
+   ["[0]" ffi]
+   [abstract
+    [monad {"+" do}]
+    ["[0]" predicate]]
+   [control
+    ["[0]" maybe ("[1]#[0]" functor)]
+    ["[0]" try {"+" Try} ("[1]#[0]" functor)]]
+   [data
+    ["[0]" bit ("[1]#[0]" equivalence)]
+    ["[0]" text ("[1]#[0]" equivalence)]
+    [collection
+     ["[0]" list ("[1]#[0]" functor)]]]
+   ["[0]" math
+    ["[0]" random {"+" Random} ("[1]#[0]" monad)]
+    [number
+     ["n" nat]
+     ["i" int]
+     ["f" frac]
+     ["[0]" i64]]]]]
+ [\\library
+  ["[0]" /]])
+
+(ffi.import: (eval [Text] "try" "?" Any))
+
+(def: (expression ??? it)
+  (-> (-> Any Bit) /.Expression Bit)
+  (|> it
+      /.code
+      ..eval
+      (try#each (|>> (maybe#each ???)
+                     (maybe.else false)))
+      (try.else false)))
+
+(def: test|literal
+  Test
+  (do [! random.monad]
+    [bool random.bit
+     float random.frac
+     int random.int
+     string (random.ascii/upper 5)]
+    ($_ _.and
+        (_.cover [/.nil]
+                 (|> /.nil
+                     /.code
+                     ..eval
+                     (try#each (function (_ it)
+                                 (case it
+                                   {.#None} true
+                                   {.#Some _} true)))
+                     (try.else false)))
+        (_.cover [/.bool]
+                 (expression (|>> (:as Bit) (bit#= bool))
+                             (/.bool bool)))
+        (_.cover [/.int]
+                 (expression (|>> (:as Int) (i.= int))
+                             (/.int int)))
+        (_.cover [/.float]
+                 (expression (|>> (:as Frac) (f.= float))
+                             (/.float float)))
+        (_.cover [/.string]
+                 (expression (|>> (:as Text) (text#= string))
+                             (/.string string)))
+        (_.cover [/.symbol]
+                 (expression (|>> (:as Text) (text#= string))
+                             (/.do "id2name" (list) {.#None} (/.symbol string))))
+        )))
+
+(def: test|bool
+  Test
+  (do [! random.monad]
+    [left random.bit
+     right random.bit]
+    (`` ($_ _.and
+            (~~ (template [</> <lux>]
+                  [(_.cover [</>]
+                            (let [expected (<lux> left right)]
+                              (expression (|>> (:as Bit) (bit#= expected))
+                                          (</> (/.bool left) (/.bool right)))))]
+
+                  [/.or .or]
+                  [/.and .and]
+                  ))
+            (_.cover [/.not]
+                     (expression (|>> (:as Bit) (bit#= (not left)))
+                                 (/.not (/.bool left))))
+            ))))
+
+(def: test|float
+  Test
+  (do [! random.monad]
+    [parameter (random.only (|>> (f.= +0.0) not)
+                            random.safe_frac)
+     subject random.safe_frac]
+    (`` ($_ _.and
+            (~~ (template [</> <lux> <pre>]
+                  [(_.cover [</>]
+                            (let [expected (<lux> (<pre> parameter) (<pre> subject))]
+                              (expression (|>> (:as Frac) (f.= expected))
+                                          (</> (/.float (<pre> parameter)) (/.float (<pre> subject))))))]
+
+                  [/.+ f.+ |>]
+                  [/.- f.- |>]
+                  [/.* f.* |>]
+                  [/./ f./ |>]
+                  [/.% f.mod |>]
+                  [/.pow math.pow f.abs]
+                  ))
+            (~~ (template [</> <lux>]
+                  [(_.cover [</>]
+                            (let [expected (<lux> parameter subject)]
+                              (expression (|>> (:as Bit) (bit#= expected))
+                                          (</> (/.float parameter) (/.float subject)))))]
+
+                  [/.<  f.<]
+                  [/.<= f.<=]
+                  [/.>  f.>]
+                  [/.>= f.>=]
+                  [/.=  f.=]
+                  ))
+            ))))
+
+(def: int/16
+  (-> Int Int)
+  (i64.and (-- (i64.left_shifted 15 1))))
+
+(def: test|int
+  Test
+  (do [! random.monad]
+    [left random.int
+     right random.int
+
+     i16 (# ! each ..int/16 random.int)
+     shift (# ! each (n.% 16) random.nat)]
+    (`` ($_ _.and
+            (~~ (template [</> <lux>]
+                  [(_.cover [</>]
+                            (let [expected (<lux> left right)]
+                              (expression (|>> (:as Frac) f.int (i.= expected))
+                                          (</> (/.int left) (/.int right)))))]
+
+                  [/.bit_or i64.or]
+                  [/.bit_xor i64.xor]
+                  [/.bit_and i64.and]
+                  ))
+            (_.cover [/.bit_not]
+                     (expression (|>> (:as Int) (i.= (i64.not left)))
+                                 (/.bit_not (/.int left))))
+            (_.cover [/.opposite]
+                     (expression (|>> (:as Int) (i.= (i.* -1 left)))
+                                 (/.opposite (/.int left))))
+            (_.cover [/.bit_shl]
+                     (let [expected (i64.left_shifted shift i16)]
+                       (expression (|>> (:as Frac) f.int (i.= expected))
+                                   (/.bit_shl (/.int (.int shift))
+                                              (/.int i16)))))
+            (_.cover [/.bit_shr]
+                     (let [expected (i.right_shifted shift i16)]
+                       (expression (|>> (:as Frac) f.int (i.= expected))
+                                   (/.bit_shr (/.int (.int shift))
+                                              (/.int i16)))))
+            ))))
+
+(def: test|array
+  Test
+  (do [! random.monad]
+    [size (# ! each (|>> (n.% 10) ++) random.nat)
+     index (# ! each (n.% size) random.nat)
+     items (random.list size random.safe_frac)
+     .let [expected (|> items
+                        (list.item index)
+                        (maybe.else f.not_a_number))]
+     from (# ! each (n.% size) random.nat)
+     plus (# ! each (n.% (n.- from size)) random.nat)
+     .let [to (/.int (.int (n.+ plus from)))
+           from (/.int (.int from))]]
+    ($_ _.and
+        (_.cover [/.array /.item]
+                 (and (expression (|>> (:as Frac) (f.= expected))
+                                  (/.item (/.int (.int index))
+                                          (/.array (list#each /.float items))))
+                      (expression (|>> (:as Bit))
+                                  (|> (/.array (list#each /.float items))
+                                      (/.item (/.int (.int size)))
+                                      (/.= /.nil)))))
+        (_.cover [/.array_range]
+                 (expression (|>> (:as Int) (i.= (.int (++ plus))))
+                             (|> (/.array (list#each /.float items))
+                                 (/.array_range from to)
+                                 (/.the "length"))))
+        )))
+
+(def: test|hash
+  Test
+  (do [! random.monad]
+    [expected random.safe_frac
+     field (random.ascii/upper 5)
+     dummy (random.only (|>> (text#= field) not)
+                        (random.ascii/upper 5))
+     .let [field (/.string field)
+           dummy (/.string dummy)]]
+    ($_ _.and
+        (_.cover [/.hash]
+                 (and (expression (|>> (:as Frac) (f.= expected))
+                                  (/.item field (/.hash (list [field (/.float expected)]))))
+                      (expression (|>> (:as Bit))
+                                  (|> (/.hash (list [field (/.float expected)]))
+                                      (/.item dummy)
+                                      (/.= /.nil)))))
+        )))
+
+... (def: test|object
+...   Test
+...   (do [! random.monad]
+...     [expected random.safe_frac
+...      field (random.ascii/upper 5)
+...      dummy (random.only (|>> (text#= field) not)
+...                         (random.ascii/upper 5))
+
+...      size (# ! each (|>> (n.% 10) ++) random.nat)
+...      index (# ! each (n.% size) random.nat)
+...      items (random.list size random.safe_frac)]
+...     ($_ _.and
+...         (_.cover [/.object /.the]
+...                  (expression (|>> (:as Frac) (f.= expected))
+...                              (/.the field (/.object (list [field (/.float expected)])))))
+...         (let [expected (|> items
+...                            (list.item index)
+...                            (maybe.else f.not_a_number))]
+...           (_.cover [/.do]
+...                    (expression (|>> (:as Frac) f.int (i.= (.int index)))
+...                                (|> (/.array (list#each /.float items))
+...                                    (/.do "lastIndexOf" (list (/.float expected)))))))
+...         (_.cover [/.undefined]
+...                  (expression (|>> (:as Bit))
+...                              (|> (/.object (list [field (/.float expected)]))
+...                                  (/.the dummy)
+...                                  (/.= /.undefined))))
+...         )))
+
+(def: test|computation
+  Test
+  (do [! random.monad]
+    [test random.bit
+     then random.safe_frac
+     else random.safe_frac
+
+     bool random.bit
+     float random.frac
+     string (random.ascii/upper 5)
+
+     comment (random.ascii/upper 10)]
+    ($_ _.and
+        ..test|bool
+        ..test|float
+        ..test|int
+        ..test|array
+        ..test|hash
+        ... ..test|object
+        (_.cover [/.?]
+                 (let [expected (if test then else)]
+                   (expression (|>> (:as Frac) (f.= expected))
+                               (/.? (/.bool test)
+                                    (/.float then)
+                                    (/.float else)))))
+        (_.cover [/.comment]
+                 (expression (|>> (:as Frac) (f.= then))
+                             (/.comment comment
+                               (/.float then))))
+        )))
+
+(def: test|expression
+  Test
+  (do [! random.monad]
+    [dummy random.safe_frac
+     expected random.safe_frac]
+    (`` ($_ _.and
+            (_.for [/.Literal]
+                   ..test|literal)
+            (_.for [/.Computation]
+                   ..test|computation)
+            ))))
+
+(def: test/location
+  Test
+  (do [! random.monad]
+    [float/0 random.safe_frac
+     $foreign (# ! each /.local (random.ascii/lower 10))
+     field (# ! each /.string (random.ascii/upper 10))]
+    ($_ _.and
+        (<| (_.for [/.Var])
+            ($_ _.and
+                (_.cover [/.LVar /.local /.set]
+                         (expression (|>> (:as Frac) (f.= (f.+ float/0 float/0)))
+                                     (|> ($_ /.then
+                                             (/.set (list $foreign) (/.+ $foreign $foreign))
+                                             (/.return $foreign))
+                                         (/.lambda {.#None} (list $foreign))
+                                         (/.apply_lambda/* (list (/.float float/0))))))
+                ))
+        (_.cover [/.Access]
+                 (and (expression (|>> (:as Frac) (f.= (f.+ float/0 float/0)))
+                                  (let [@ (/.item (/.int +0) $foreign)]
+                                    (|> ($_ /.then
+                                            (/.set (list $foreign) (/.array (list $foreign)))
+                                            (/.set (list @) (/.+ @ @))
+                                            (/.return @))
+                                        (/.lambda {.#None} (list $foreign))
+                                        (/.apply_lambda/* (list (/.float float/0))))))
+                      (expression (|>> (:as Frac) (f.= (f.+ float/0 float/0)))
+                                  (let [@ (/.item field $foreign)]
+                                    (|> ($_ /.then
+                                            (/.set (list $foreign) (/.hash (list [field $foreign])))
+                                            (/.set (list @) (/.+ @ @))
+                                            (/.return @))
+                                        (/.lambda {.#None} (list $foreign))
+                                        (/.apply_lambda/* (list (/.float float/0))))))
+                      ))
+        )))
+
+(def: test|label
+  Test
+  (do [! random.monad]
+    [input (# ! each ..int/16 random.int)
+
+     full_inner_iterations (# ! each (|>> (n.% 20) ++) random.nat)
+     expected_inner_iterations (# ! each (n.% full_inner_iterations) random.nat)
+
+     full_outer_iterations (# ! each (|>> (n.% 10) ++) random.nat)
+     expected_outer_iterations (# ! each (n.% full_outer_iterations) random.nat)
+
+     .let [$input (/.local "input")
+           $output (/.local "output")
+           $inner_index (/.local "inner_index")
+           $outer_index (/.local "outer_index")]]
+    ($_ _.and
+        (_.cover [/.break]
+                 (let [expected (i.* (.int expected_inner_iterations) input)]
+                   (expression (|>> (:as Frac) f.int (i.= expected))
+                               (|> ($_ /.then
+                                       (/.set (list $inner_index) (/.int +0))
+                                       (/.set (list $output) (/.int +0))
+                                       (/.while (/.< (/.int (.int full_inner_iterations)) $inner_index)
+                                                ($_ /.then
+                                                    (/.when (/.= (/.int (.int expected_inner_iterations)) $inner_index)
+                                                            /.break)
+                                                    (/.set (list $output) (/.+ $input $output))
+                                                    (/.set (list $inner_index) (/.+ (/.int +1) $inner_index))
+                                                    ))
+                                       (/.return $output))
+                                   (/.lambda {.#None} (list $input))
+                                   (/.apply_lambda/* (list (/.int input)))))))
+        (_.cover [/.next]
+                 (let [expected (i.* (.int (n.- expected_inner_iterations full_inner_iterations)) input)]
+                   (expression (|>> (:as Frac) f.int (i.= expected))
+                               (|> ($_ /.then
+                                       (/.set (list $inner_index) (/.int +0))
+                                       (/.set (list $output) (/.int +0))
+                                       (/.while (/.< (/.int (.int full_inner_iterations)) $inner_index)
+                                                ($_ /.then
+                                                    (/.set (list $inner_index) (/.+ (/.int +1) $inner_index))
+                                                    (/.when (/.<= (/.int (.int expected_inner_iterations)) $inner_index)
+                                                            /.next)
+                                                    (/.set (list $output) (/.+ $input $output))
+                                                    ))
+                                       (/.return $output))
+                                   (/.lambda {.#None} (list $input))
+                                   (/.apply_lambda/* (list (/.int input)))))))
+        )))
+
+(def: test|loop
+  Test
+  (do [! random.monad]
+    [input random.int
+     iterations (# ! each (n.% 10) random.nat)
+     .let [$input (/.local "input")
+           $output (/.local "output")
+           $index (/.local "index")
+           expected (i.* (.int iterations) input)]]
+    ($_ _.and
+        (_.cover [/.while]
+                 (expression (|>> (:as Int) (i.= expected))
+                             (|> ($_ /.then
+                                     (/.set (list $index) (/.int +0))
+                                     (/.set (list $output) (/.int +0))
+                                     (/.while (/.< (/.int (.int iterations)) $index)
+                                              ($_ /.then
+                                                  (/.set (list $output) (/.+ $input $output))
+                                                  (/.set (list $index) (/.+ (/.int +1) $index))
+                                                  ))
+                                     (/.return $output))
+                                 (/.lambda {.#None} (list $input))
+                                 (/.apply_lambda/* (list (/.int input))))))
+        (_.cover [/.for_in]
+                 (expression (|>> (:as Int) (i.= expected))
+                             (|> ($_ /.then
+                                     (/.set (list $output) (/.int +0))
+                                     (/.for_in $index (/.array (list.repeated iterations (/.int input)))
+                                               (/.set (list $output) (/.+ $index $output)))
+                                     (/.return $output))
+                                 (/.lambda {.#None} (list $input))
+                                 (/.apply_lambda/* (list (/.int input))))))
+        ..test|label
+        )))
+
+(def: test|exception
+  Test
+  (do [! random.monad]
+    [expected random.safe_frac
+     dummy (random.only (|>> (f.= expected) not)
+                        random.safe_frac)
+     $ex (# ! each /.local (random.ascii/lower 10))]
+    ($_ _.and
+        (_.cover [/.begin]
+                 (expression (|>> (:as Frac) (f.= expected))
+                             (|> (/.begin (/.return (/.float expected))
+                                          (list [(list) $ex (/.return (/.float dummy))]))
+                                 (/.lambda {.#None} (list))
+                                 (/.apply_lambda/* (list)))))
+        (_.cover [/.Rescue /.throw/1]
+                 (expression (|>> (:as Frac) (f.= expected))
+                             (|> (/.begin ($_ /.then
+                                              (/.throw/1 (/.string ""))
+                                              (/.return (/.float dummy)))
+                                          (list [(list) $ex (/.return (/.float expected))]))
+                                 (/.lambda {.#None} (list))
+                                 (/.apply_lambda/* (list)))))
+        )))
+
+(def: test|function
+  Test
+  (do [! random.monad]
+    [iterations (# ! each (n.% 10) random.nat)
+     $self (# ! each /.local (random.ascii/lower 1))
+     field (random.ascii/lower 3)
+     $class (# ! each /.local (random.ascii/upper 4))
+
+     float/0 random.safe_frac
+     float/1 random.safe_frac
+     float/2 random.safe_frac
+     $arg/0 (# ! each /.local (random.ascii/lower 10))
+     $arg/1 (# ! each /.local (random.ascii/lower 11))
+     $arg/2 (# ! each /.local (random.ascii/lower 12))]
+    ($_ _.and
+        (_.cover [/.lambda /.return]
+                 (and (expression (|>> (:as Frac) (f.= float/0))
+                                  (|> (/.return (/.float float/0))
+                                      (/.lambda {.#None} (list))
+                                      (/.apply_lambda/* (list))))
+                      (expression (|>> (:as Frac) f.nat (n.= iterations))
+                                  (|> (/.lambda {.#Some $self} (list $arg/0)
+                                                (/.return (/.? (/.< (/.int (.int iterations)) $arg/0)
+                                                               (/.apply_lambda/* (list (/.+ (/.int +1) $arg/0)) $self)
+                                                               $arg/0)))
+                                      (/.apply_lambda/* (list (/.int +0)))))))
+        (_.cover [/.apply_lambda/*]
+                 (expression (|>> (:as Frac) (f.= ($_ f.+ float/0 float/1 float/2)))
+                             (|> (/.return ($_ /.+ $arg/0 $arg/1 $arg/2))
+                                 (/.lambda {.#None} (list $arg/0 $arg/1 $arg/2))
+                                 (/.apply_lambda/* (list (/.float float/0) (/.float float/1) (/.float float/2))))))
+        (_.cover [/.function]
+                 (expression (|>> (:as Frac) f.nat (n.= iterations))
+                             (|> ($_ /.then
+                                     (/.function $self (list $arg/0)
+                                       (/.return (/.? (/.< (/.int (.int iterations)) $arg/0)
+                                                      (/.apply/1 $self (/.+ (/.int +1) $arg/0))
+                                                      $arg/0)))
+                                     (/.return (/.apply/1 $self (/.int +0))))
+                                 (/.lambda {.#None} (list))
+                                 (/.apply_lambda/* (list)))))
+        (_.cover [/.apply/1]
+                 (expression (|>> (:as Frac) (f.= float/0))
+                             (|> ($_ /.then
+                                     (/.function $self (list $arg/0)
+                                       (/.return $arg/0))
+                                     (/.return (/.apply/1 $self (/.float float/0))))
+                                 (/.lambda {.#None} (list))
+                                 (/.apply_lambda/* (list)))))
+        (_.cover [/.apply/2]
+                 (expression (|>> (:as Frac) (f.= ($_ f.+ float/0 float/1)))
+                             (|> ($_ /.then
+                                     (/.function $self (list $arg/0 $arg/1)
+                                       (/.return ($_ /.+ $arg/0 $arg/1)))
+                                     (/.return (/.apply/2 $self (/.float float/0) (/.float float/1))))
+                                 (/.lambda {.#None} (list))
+                                 (/.apply_lambda/* (list)))))
+        (_.cover [/.apply/3]
+                 (expression (|>> (:as Frac) (f.= ($_ f.+ float/0 float/1 float/2)))
+                             (|> ($_ /.then
+                                     (/.function $self (list $arg/0 $arg/1 $arg/2)
+                                       (/.return ($_ /.+ $arg/0 $arg/1 $arg/2)))
+                                     (/.return (/.apply/3 $self (/.float float/0) (/.float float/1) (/.float float/2))))
+                                 (/.lambda {.#None} (list))
+                                 (/.apply_lambda/* (list)))))
+        (_.cover [/.apply/*]
+                 (expression (|>> (:as Frac) (f.= ($_ f.+ float/0 float/1 float/2)))
+                             (|> ($_ /.then
+                                     (/.function $self (list $arg/0 $arg/1 $arg/2)
+                                       (/.return ($_ /.+ $arg/0 $arg/1 $arg/2)))
+                                     (/.return (/.apply/* (list (/.float float/0) (/.float float/1) (/.float float/2)) {.#None} $self)))
+                                 (/.lambda {.#None} (list))
+                                 (/.apply_lambda/* (list)))))
+        ... (_.cover [/.new]
+        ...          (let [$this (/.local "this")]
+        ...            (expression (|>> (:as Frac) (f.= float/0))
+        ...                        (/.apply/1 (/.closure (list $arg/0)
+        ...                                              ($_ /.then
+        ...                                                  (/.function $class (list)
+        ...                                                               (/.set (/.the field $this) $arg/0))
+        ...                                                  (/.return (/.the field (/.new $class (list))))))
+        ...                                   (/.float float/0)))))
+        )))
+
+(def: test|branching
+  Test
+  (do [! random.monad]
+    [float/0 random.safe_frac
+     float/1 random.safe_frac
+     float/2 random.safe_frac
+     arg/0 (random.ascii/lower 10)
+     arg/1 (random.only (|>> (text#= arg/0) not)
+                        (random.ascii/lower 10))
+     arg/2 (random.only (predicate.and (|>> (text#= arg/0) not)
+                                       (|>> (text#= arg/1) not))
+                        (random.ascii/lower 10))
+     .let [$arg/0 (/.local arg/0)
+           $arg/1 (/.local arg/1)
+           $arg/2 (/.local arg/2)]
+     ??? random.bit]
+    ($_ _.and
+        (_.cover [/.if]
+                 (expression (|>> (:as Frac) (f.= (if ??? float/0 float/1)))
+                             (|> (/.if (/.bool ???)
+                                   (/.return (/.float float/0))
+                                   (/.return (/.float float/1)))
+                                 (/.lambda {.#None} (list))
+                                 (/.apply_lambda/* (list)))))
+        (_.cover [/.when]
+                 (expression (|>> (:as Frac) (f.= (if ??? float/0 float/1)))
+                             (|> ($_ /.then
+                                     (/.when (/.bool ???)
+                                             (/.return (/.float float/0)))
+                                     (/.return (/.float float/1)))
+                                 (/.lambda {.#None} (list))
+                                 (/.apply_lambda/* (list)))))
+        )))
+
+(def: test|statement
+  Test
+  (do [! random.monad]
+    [float/0 random.safe_frac
+     float/1 random.safe_frac
+     float/2 random.safe_frac
+     $arg/0 (# ! each /.local (random.ascii/lower 10))
+     $arg/1 (# ! each /.local (random.ascii/lower 11))
+     $arg/2 (# ! each /.local (random.ascii/lower 12))]
+    ($_ _.and
+        (_.cover [/.statement]
+                 (expression (|>> (:as Frac) (f.= float/0))
+                             (|> ($_ /.then
+                                     (/.statement (/.+ $arg/0 $arg/0))
+                                     (/.return $arg/0))
+                                 (/.lambda {.#None} (list $arg/0))
+                                 (/.apply_lambda/* (list (/.float float/0))))))
+        (_.cover [/.then]
+                 (expression (|>> (:as Frac) (f.= float/0))
+                             (|> ($_ /.then
+                                     (/.return $arg/0)
+                                     (/.return $arg/1))
+                                 (/.lambda {.#None} (list $arg/0 $arg/1))
+                                 (/.apply_lambda/* (list (/.float float/0) (/.float float/1))))))
+        ..test|exception
+        ..test|function
+        ..test|branching
+        ..test|loop
+        (_.for [/.Location]
+               ..test/location)
+        )))
+
+(def: .public test
+  Test
+  (do [! random.monad]
+    []
+    (<| (_.covering /._)
+        (_.for [/.Code /.code])
+        ($_ _.and
+            (_.for [/.Expression]
+                   ..test|expression)
+            (_.for [/.Statement]
+                   ..test|statement)
+            ))))
diff --git a/stdlib/source/test/lux/tool.lux b/stdlib/source/test/lux/tool.lux
index 5a7509b99..37e45bcee 100644
--- a/stdlib/source/test/lux/tool.lux
+++ b/stdlib/source/test/lux/tool.lux
@@ -5,6 +5,7 @@
   ["[0]" / "_"
    [compiler
     ["[1][0]" arity]
+    ["[1][0]" reference/variable]
     ... [language
     ...  [lux
     ...   ["[1][0]" syntax]
@@ -17,6 +18,7 @@
   Test
   ($_ _.and
       /arity.test
+      /reference/variable.test
       ... /syntax.test
       ... /analysis.test
       ... /synthesis.test
diff --git a/stdlib/source/test/lux/tool/compiler/reference/variable.lux b/stdlib/source/test/lux/tool/compiler/reference/variable.lux
new file mode 100644
index 000000000..980a280f0
--- /dev/null
+++ b/stdlib/source/test/lux/tool/compiler/reference/variable.lux
@@ -0,0 +1,41 @@
+(.using
+ [library
+  [lux "*"
+   ["_" test {"+" Test}]
+   [abstract
+    [monad {"+" do}]
+    [\\specification
+     ["$[0]" equivalence]
+     ["$[0]" hash]]]
+   [data
+    ["[0]" text ("[1]#[0]" equivalence)]]
+   [math
+    ["[0]" random {"+" Random}]]]]
+ [\\library
+  ["[0]" /]])
+
+(def: .public random
+  (Random /.Variable)
+  ($_ random.or
+      random.nat
+      random.nat
+      ))
+
+(def: .public test
+  Test
+  (<| (_.covering /._)
+      (_.for [/.Variable])
+      (do [! random.monad]
+        [register random.nat]
+        ($_ _.and
+            (_.for [/.equivalence]
+                   ($equivalence.spec /.equivalence ..random))
+            (_.for [/.hash]
+                   ($hash.spec /.hash ..random))
+            (_.cover [/.self /.self?]
+                     (/.self? (/.self)))
+            (_.for [/.Register]
+                   (_.cover [/.format]
+                            (not (text#= (/.format {/.#Local register})
+                                         (/.format {/.#Foreign register})))))
+            ))))
-- 
cgit v1.2.3