Got the tests to compile again for Python.

5 files changed, 345 insertions, 332 deletions

diff --git a/stdlib/source/test/lux/meta/extension.lux b/stdlib/source/test/lux/meta/extension.lux
index 1302a74fc..4391469e0 100644
--- a/stdlib/source/test/lux/meta/extension.lux
+++ b/stdlib/source/test/lux/meta/extension.lux
@@ -67,13 +67,6 @@
      (these)
      
      (these
-      (for @.python
-           ... TODO: Remove this hack once Jython is no longer being used as the Python interpreter.
-           (analysis ("dummy dum dum" phase archive [])
-             (undefined))
-
-           (these))
-      
       ... Analysis
       (def my_analysis
         Analysis
@@ -101,7 +94,7 @@
       (def my_translation|translation
         Translation
         (translation (_ phase archive [pass_through <synthesis>.any])
-                     (phase archive pass_through)))
+          (phase archive pass_through)))
 
       (def my_translation|synthesis
         Synthesis
@@ -127,15 +120,15 @@
       (def dummy_translation|translation
         Translation
         (translation (_ phase archive [])
-                     (let [[_ self] (symbol ..dummy_translation)]
-                       (at phase.monad in
-                           (for @.jvm (jvm.string self)
-                                @.js (js.string self)
-                                @.python (python.unicode self)
-                                @.lua (lua.string self)
-                                @.ruby (ruby.string self)
-                                @.php (php.string self)
-                                @.scheme (scheme.string self))))))
+          (let [[_ self] (symbol ..dummy_translation)]
+            (at phase.monad in
+                (for @.jvm (jvm.string self)
+                     @.js (js.string self)
+                     @.python (python.unicode self)
+                     @.lua (lua.string self)
+                     @.ruby (ruby.string self)
+                     @.php (php.string self)
+                     @.scheme (scheme.string self))))))
 
       (def dummy_translation|synthesis
         Synthesis
diff --git a/stdlib/source/test/lux/meta/type/primitive.lux b/stdlib/source/test/lux/meta/type/primitive.lux
index 37284d46e..c0bf30297 100644
--- a/stdlib/source/test/lux/meta/type/primitive.lux
+++ b/stdlib/source/test/lux/meta/type/primitive.lux
@@ -8,7 +8,7 @@
     ["[0]" exception]]
    [data
     ["[0]" text (.use "[1]#[0]" equivalence)]]
-   ["[0]" math (.only)
+   [math
     ["[0]" random]
     [number
      ["n" nat]]]
diff --git a/stdlib/source/test/lux/world/net/mime.lux b/stdlib/source/test/lux/world/net/mime.lux
index c1116ad5a..3b36e7ecd 100644
--- a/stdlib/source/test/lux/world/net/mime.lux
+++ b/stdlib/source/test/lux/world/net/mime.lux
@@ -22,89 +22,131 @@
  [\\library
   ["[0]" /]])
 
-(with_expansions [<options> (these [/.aac]
-                                   [/.abiword]
-                                   [/.avi]
-                                   [/.amazon_kindle_ebook]
-                                   [/.binary]
-                                   [/.bitmap]
-                                   [/.bzip]
-                                   [/.bzip2]
-                                   [/.c_shell]
-                                   [/.css]
-                                   [/.csv]
-                                   [/.microsoft_word]
-                                   [/.microsoft_word_openxml]
-                                   [/.ms_embedded_opentype_fonts]
-                                   [/.epub]
-                                   [/.ecmascript]
-                                   [/.gif]
-                                   [/.html]
-                                   [/.icon]
-                                   [/.icalendar]
-                                   [/.jar]
-                                   [/.jpeg]
-                                   [/.javascript]
-                                   [/.json]
-                                   [/.midi]
-                                   [/.mpeg]
-                                   [/.apple_installer_package]
-                                   [/.opendocument_presentation]
-                                   [/.opendocument_spreadsheet]
-                                   [/.opendocument_text]
-                                   [/.ogg_audio]
-                                   [/.ogg_video]
-                                   [/.ogg]
-                                   [/.opentype_font]
-                                   [/.png]
-                                   [/.pdf]
-                                   [/.microsoft_powerpoint]
-                                   [/.microsoft_powerpoint_openxml]
-                                   [/.rar]
-                                   [/.rtf]
-                                   [/.bourne_shell]
-                                   [/.svg]
-                                   [/.flash]
-                                   [/.tar]
-                                   [/.tiff]
-                                   [/.typescript]
-                                   [/.truetype_font]
-                                   [/.microsoft_visio]
-                                   [/.wav]
-                                   [/.webm_audio]
-                                   [/.webm_video]
-                                   [/.webp]
-                                   [/.woff]
-                                   [/.woff2]
-                                   [/.xhtml]
-                                   [/.microsoft_excel]
-                                   [/.microsoft_excel_openxml]
-                                   [/.xml]
-                                   [/.xul]
-                                   [/.zip]
+(with_expansions [<randoms> (with_template [<name> <options>]
+                              [(def <name>
+                                 (Random /.MIME)
+                                 (`` (all random.either
+                                          (,, (with_template [<type>]
+                                                [(random#in <type>)]
+                                                
+                                                <options>))
+                                          )))]
 
-                                   [/.audio_3gpp]
-                                   [/.video_3gpp]
-                                   [/.audio_3gpp2]
-                                   [/.video_3gpp2]
-                                   [/.compressed_7z]
+                              [random/0 <options/0>]
+                              [random/1 <options/1>]
+                              [random/2 <options/2>]
+                              [random/3 <options/3>]
+                              )
+                  <coverages> (with_template [<options>]
+                                [(`` (_.coverage [(,, (with_template [<type>]
+                                                        [<type>]
+                                                        
+                                                        <options>
+                                                        ))]
+                                       (let [uniques (set.of_list /.hash ..options)]
+                                         (n.= (list.size ..options)
+                                              (set.size uniques)))))]
 
-                                   [/.form]
-                                   [/.multi_part_form]
+                                [<options/0>]
+                                [<options/1>]
+                                [<options/2>]
+                                [<options/3>]
+                                )
+                  <all_options> (with_template [<options>]
+                                  [(is (List /.MIME)
+                                       (let [options (is (-> Any (List /.MIME))
+                                                         (function (_ _)
+                                                           (list <options>)))]
+                                         (options [])))]
+
+                                  [<options/0>]
+                                  [<options/1>]
+                                  [<options/2>]
+                                  [<options/3>]
+                                  )
+                  <options/0> (these [/.aac]
+                                     [/.abiword]
+                                     [/.avi]
+                                     [/.amazon_kindle_ebook]
+                                     [/.binary]
+                                     [/.bitmap]
+                                     [/.bzip]
+                                     [/.bzip2]
+                                     [/.c_shell]
+                                     [/.css]
+                                     [/.csv]
+                                     [/.microsoft_word]
+                                     [/.microsoft_word_openxml]
+                                     [/.ms_embedded_opentype_fonts]
+                                     [/.epub]
+                                     [/.ecmascript]
+                                     [/.gif]
+                                     [/.html]
+                                     [/.icon]
+                                     [/.icalendar]
+                                     [/.jar]
+                                     [/.jpeg]
+                                     [/.javascript]
+                                     [/.json]
+                                     [/.midi]
+                                     [/.mpeg])
+                  <options/1> (these [/.apple_installer_package]
+                                     [/.opendocument_presentation]
+                                     [/.opendocument_spreadsheet]
+                                     [/.opendocument_text]
+                                     [/.ogg_audio]
+                                     [/.ogg_video]
+                                     [/.ogg]
+                                     [/.opentype_font]
+                                     [/.png]
+                                     [/.pdf]
+                                     [/.microsoft_powerpoint]
+                                     [/.microsoft_powerpoint_openxml]
+                                     [/.rar]
+                                     [/.rtf]
+                                     [/.bourne_shell]
+                                     [/.svg]
+                                     [/.flash])
+                  <options/2> (these [/.tar]
+                                     [/.tiff]
+                                     [/.typescript]
+                                     [/.truetype_font]
+                                     [/.microsoft_visio]
+                                     [/.wav]
+                                     [/.webm_audio]
+                                     [/.webm_video]
+                                     [/.webp]
+                                     [/.woff]
+                                     [/.woff2]
+                                     [/.xhtml]
+                                     [/.microsoft_excel]
+                                     [/.microsoft_excel_openxml]
+                                     [/.xml]
+                                     [/.xul]
+                                     [/.zip])
+                  <options/3> (these [/.audio_3gpp]
+                                     [/.video_3gpp]
+                                     [/.audio_3gpp2]
+                                     [/.video_3gpp2]
+                                     [/.compressed_7z]
+
+                                     [/.form]
+                                     [/.multi_part_form]
+
+                                     [/.utf_8])]
+  <randoms>
 
-                                   [/.utf_8])
-                  <types> (with_template [<type>]
-                            [<type>]
-                            
-                            <options>)]
   (def .public random
     (Random /.MIME)
-    (`` (all random.either
-             (,, (with_template [<type>]
-                   [(random#in <type>)]
-                   
-                   <options>))
-             )))
+    (all random.either
+         ..random/0
+         ..random/1
+         ..random/2
+         ))
+
+  (def options
+    (List /.MIME)
+    (list.together (list <all_options>)))
   
   (def .public test
     Test
@@ -124,11 +166,7 @@
                    /.name
                    /.mime
                    (at /.equivalence = expected)))
-             (_.coverage [<types>]
-               (let [options (list <types>)
-                     uniques (set.of_list /.hash options)]
-                 (n.= (list.size options)
-                      (set.size uniques))))
+             <coverages>
              (_.coverage [/.text]
                (|> (/.text encoding)
                    /.name
diff --git a/stdlib/source/test/lux/world/net/uri/port.lux b/stdlib/source/test/lux/world/net/uri/port.lux
index 73ee68337..ea56944b0 100644
--- a/stdlib/source/test/lux/world/net/uri/port.lux
+++ b/stdlib/source/test/lux/world/net/uri/port.lux
@@ -16,93 +16,124 @@
  [\\library
   ["[0]" /]])
 
-(with_expansions [<options> (these [/.echo_protocol]
-                                   [/.discard_protocol]
-                                   [/.daytime_protocol]
-                                   [/.quote_of_the_day]
-                                   [/.message_send_protocol]
-                                   [/.character_generator_protocol]
-                                   [/.file_transfer_protocol_data_transfer]
-                                   [/.file_transfer_protocol_control]
-                                   [/.telnet]
-                                   [/.simple_mail_transfer_protocol]
-                                   [/.time_protocol]
-                                   [/.host_name_server_protocol]
-                                   [/.whois]
-                                   [/.domain_name_system]
-                                   [/.gopher]
-                                   [/.finger]
-                                   [/.hypertext_transfer_protocol]
-                                   [/.kerberos]
-
-                                   [/.digital_imaging_and_communications_in_medicine]
-                                   [/.remote_user_telnet_service]
-                                   [/.post_office_protocol_2]
-                                   [/.post_office_protocol_3]
-                                   [/.open_network_computing_remote_procedure_call]
-                                   [/.simple_file_transfer_protocol]
-                                   [/.network_news_transfer_protocol]
-                                   [/.network_time_protocol]
-                                   [/.internet_message_access_protocol]
-                                   [/.simple_gateway_monitoring_protocol]
-                                   [/.structured_query_language]
-                                   [/.simple_network_management_protocol]
-                                   [/.simple_network_management_protocol_trap]
-                                   [/.secure_neighbor_discovery]
-                                   [/.x_display_manager_control_protocol]
-                                   [/.border_gateway_protocol]
-                                   [/.internet_relay_chat]
-                                   [/.snmp_unix_multiplexer]
-
-                                   [/.border_gateway_multicast_protocol]
-
-                                   [/.precision_time_protocol_event_messages]
-                                   [/.precision_time_protocol_general_messages]
-                                   [/.lightweight_directory_access_protocol]
-
-                                   [/.uninterruptible_power_supply]
-                                   [/.service_location_protocol]
-                                   [/.hypertext_transfer_protocol_secure]
-                                   [/.simple_network_paging_protocol]
-                                   [/.kerberos_change/set_password]
-
-                                   [/.remote_procedure_call]
-                                   [/.real_time_streaming_protocol]
-                                   [/.dynamic_host_configuration_protocol/6_client]
-                                   [/.dynamic_host_configuration_protocol/6_server]
-                                   [/.network_news_transfer_protocol_secure]
-
-                                   [/.internet_printing_protocol]
-                                   [/.lightweight_directory_access_protocol_secure]
-                                   [/.multicast_source_discovery_protocol]
-                                   [/.label_distribution_protocol]
-                                   [/.application_configuration_access_protocol]
-                                   [/.optimized_link_state_routing_protocol]
-
-                                   [/.extensible_provisioning_protocol]
-                                   [/.link_management_protocol]
-                                   [/.secure_internet_live_conferencing_protocol]
-                                   [/.kerberos_administration]
-
-                                   [/.certificate_management_protocol]
-                                   [/.network_configuration_protocol/ssh]
-                                   [/.network_configuration_protocol/beep]
-                                   [/.network_configuration_protocol/soap/https]
-                                   [/.network_configuration_protocol/soap/beep]
-
-                                   [/.file_transfer_protocol_secure_data_transfer]
-                                   [/.file_transfer_protocol_secure_control]
-                                   [/.telnet/tls]
-                                   [/.internet_message_access_protocol_secure]
-                                   [/.post_office_protocol_3_secure])]
+(with_expansions [<all_options> (with_template [<>]
+                                  [(is (List /.Port)
+                                       (let [it (is (-> Any (List /.Port))
+                                                    (function (_ _)
+                                                      (list <>)))]
+                                         (it [])))]
+
+                                  [<options/0>]
+                                  [<options/1>]
+                                  [<options/2>]
+                                  [<options/3>]
+                                  )
+                  <coverages> (with_template [<options>]
+                                [(_.coverage [(,, (with_template [<port>]
+                                                    [<port>]
+
+                                                    <options>
+                                                    ))]
+                                   (let [uniques (set.of_list nat.hash ..options)]
+                                     (nat.= (list.size ..options)
+                                            (set.size uniques))))]
+
+                                [<options/0>]
+                                [<options/1>]
+                                [<options/2>]
+                                [<options/3>]
+                                )
+                  <options/0> (these [/.echo_protocol]
+                                     [/.discard_protocol]
+                                     [/.daytime_protocol]
+                                     [/.quote_of_the_day]
+                                     [/.message_send_protocol]
+                                     [/.character_generator_protocol]
+                                     [/.file_transfer_protocol_data_transfer]
+                                     [/.file_transfer_protocol_control]
+                                     [/.telnet]
+                                     [/.simple_mail_transfer_protocol]
+                                     [/.time_protocol]
+                                     [/.host_name_server_protocol]
+                                     [/.whois]
+                                     [/.domain_name_system]
+                                     [/.gopher]
+                                     [/.finger]
+                                     [/.hypertext_transfer_protocol]
+                                     [/.kerberos])
+                  <options/1> (these [/.digital_imaging_and_communications_in_medicine]
+                                     [/.remote_user_telnet_service]
+                                     [/.post_office_protocol_2]
+                                     [/.post_office_protocol_3]
+                                     [/.open_network_computing_remote_procedure_call]
+                                     [/.simple_file_transfer_protocol]
+                                     [/.network_news_transfer_protocol]
+                                     [/.network_time_protocol]
+                                     [/.internet_message_access_protocol]
+                                     [/.simple_gateway_monitoring_protocol]
+                                     [/.structured_query_language]
+                                     [/.simple_network_management_protocol]
+                                     [/.simple_network_management_protocol_trap]
+                                     [/.secure_neighbor_discovery]
+                                     [/.x_display_manager_control_protocol]
+                                     [/.border_gateway_protocol]
+                                     [/.internet_relay_chat]
+                                     [/.snmp_unix_multiplexer])
+                  <options/2> (these [/.border_gateway_multicast_protocol]
+
+                                     [/.precision_time_protocol_event_messages]
+                                     [/.precision_time_protocol_general_messages]
+                                     [/.lightweight_directory_access_protocol]
+
+                                     [/.uninterruptible_power_supply]
+                                     [/.service_location_protocol]
+                                     [/.hypertext_transfer_protocol_secure]
+                                     [/.simple_network_paging_protocol]
+                                     [/.kerberos_change/set_password]
+
+                                     [/.remote_procedure_call]
+                                     [/.real_time_streaming_protocol]
+                                     [/.dynamic_host_configuration_protocol/6_client]
+                                     [/.dynamic_host_configuration_protocol/6_server]
+                                     [/.network_news_transfer_protocol_secure])
+                  <options/3> (these [/.internet_printing_protocol]
+                                     [/.lightweight_directory_access_protocol_secure]
+                                     [/.multicast_source_discovery_protocol]
+                                     [/.label_distribution_protocol]
+                                     [/.application_configuration_access_protocol]
+                                     [/.optimized_link_state_routing_protocol]
+
+                                     [/.extensible_provisioning_protocol]
+                                     [/.link_management_protocol]
+                                     [/.secure_internet_live_conferencing_protocol]
+                                     [/.kerberos_administration]
+
+                                     [/.certificate_management_protocol]
+                                     [/.network_configuration_protocol/ssh]
+                                     [/.network_configuration_protocol/beep]
+                                     [/.network_configuration_protocol/soap/https]
+                                     [/.network_configuration_protocol/soap/beep]
+
+                                     [/.file_transfer_protocol_secure_data_transfer]
+                                     [/.file_transfer_protocol_secure_control]
+                                     [/.telnet/tls]
+                                     [/.internet_message_access_protocol_secure]
+                                     [/.post_office_protocol_3_secure])]
   (def .public random
     (Random /.Port)
     (`` (all random.either
              (,, (with_template [<port>]
                    [(random#in <port>)]
 
-                   <options>
+                   <options/0>
+                   <options/1>
+                   <options/2>
+                   <options/3>
                    )))))
+
+  (def options
+    (List /.Port)
+    (list.together (list <all_options>)))
   
   (def .public test
     Test
@@ -111,15 +142,7 @@
           [])
         (_.for [/.Port])
         (`` (all _.and
-                 (_.coverage [(,, (with_template [<port>]
-                                    [<port>]
-
-                                    <options>
-                                    ))]
-                   (let [options (list <options>)
-                         uniques (set.of_list nat.hash options)]
-                     (nat.= (list.size options)
-                            (set.size uniques))))
+                 <coverages>
                  (,, (with_template [<long> <short>]
                        [(_.coverage [<short>]
                           (same? <long> <short>))]
diff --git a/stdlib/source/test/lux/world/net/uri/scheme.lux b/stdlib/source/test/lux/world/net/uri/scheme.lux
index 868f2cddf..4a651646c 100644
--- a/stdlib/source/test/lux/world/net/uri/scheme.lux
+++ b/stdlib/source/test/lux/world/net/uri/scheme.lux
@@ -19,145 +19,104 @@
  [\\library
   ["[0]" /]])
 
-(def .public random
-  (Random /.Scheme)
-  (all random.either
-       (random#in /.about)
-       (random#in /.acap)
-       (random#in /.user_account)
-       (random#in /.anonymous_customer_reference)
-       (random#in /.attachment)
-
-       (random#in /.bitcoin)
-       (random#in /.blob)
-
-       (random#in /.calendar_access_protocol)
-
-       (random#in /.data)
-       (random#in /.dns)
-       (random#in /.dntp)
-       (random#in /.digital_object_identifier)
-       (random#in /.drm)
-
-       (random#in /.feed)
-       (random#in /.file)
-       (random#in /.finger)
-       (random#in /.fish)
-       (random#in /.fm)
-       (random#in /.ftp)
-
-       (random#in /.geo)
-       (random#in /.git)
-       
-       (random#in /.http)
-       (random#in /.https)
-       
-       (random#in /.imap)
-       (random#in /.ipp)
-       (random#in /.ipps)
-       (random#in /.irc)
-       (random#in /.irc6)
-       (random#in /.ircs)
-       
-       (random#in /.jar)
-       
-       (random#in /.ldap)
-       (random#in /.ldaps)
-       
-       (random#in /.magnet)
-       (random#in /.mail_to)
-       (random#in /.apache_maven)
-       
-       (random#in /.pop)
-       
-       (random#in /.sip)
-       (random#in /.sips)
-       (random#in /.sms)
-       (random#in /.snmp)
-       (random#in /.ssh)
-       (random#in /.stun)
-       (random#in /.stuns)
-       
-       (random#in /.telephone_number)
-       (random#in /.turn)
-       (random#in /.turns)
-       
-       (random#in /.xmpp)
-       ))
-
-(def .public test
-  Test
-  (<| (_.covering /._)
-      (do [! random.monad]
-        [expected ..random])
-      (_.for [/.Scheme])
-      (`` (all _.and
-               (_.for [/.equivalence]
-                      ($equivalence.spec /.equivalence ..random))
-               (_.for [/.hash]
-                      ($hash.spec /.hash ..random))
-
-               (_.coverage [/.name /.scheme]
-                 (|> expected
-                     /.name
-                     /.scheme
-                     (at /.equivalence = expected)))
-               (with_expansions [<schemes> (these /.about /.acap /.user_account /.anonymous_customer_reference /.attachment
-                                                  /.bitcoin /.blob
-                                                  /.calendar_access_protocol
-                                                  /.data /.dns /.dntp /.digital_object_identifier /.drm
-                                                  /.feed /.file /.finger /.fish /.fm /.ftp
-                                                  /.geo /.git
-                                                  /.http /.https
-                                                  /.imap /.ipp /.ipps /.irc /.irc6 /.ircs
-                                                  /.jar
-                                                  /.ldap /.ldaps
-                                                  /.magnet /.mail_to /.apache_maven
-                                                  /.pop
-                                                  /.sip /.sips /.sms /.snmp /.ssh /.stun /.stuns
-                                                  /.telephone_number /.turn /.turns
-                                                  /.xmpp)]
-                 (_.coverage [<schemes>]
-                   (let [options (list <schemes>)
-                         uniques (set.of_list /.hash options)]
-                     (n.= (list.size options)
-                          (set.size uniques)))))
-               (,, (with_template [<original> <alias>]
-                     [(_.coverage [<alias>]
-                        (at /.equivalence = <original> <alias>))]
-
-                     [/.acap /.application_configuration_access_protocol]
-
-                     [/.dns /.domain_name_system]
-                     [/.dntp /.direct_network_transfer_protocol]
-
-                     [/.ftp /.file_transfer_protocol]
-
-                     [/.http /.hypertext_transfer_protocol]
-                     [/.https /.hypertext_transfer_protocol_secure]
-
-                     [/.imap /.internet_message_access_protocol]
-                     [/.ipp /.internet_printing_protocol]
-                     [/.ipps /.internet_printing_protocol_secure]
-                     [/.irc /.internet_relay_chat]
-                     [/.ircs /.internet_relay_chat_secure]
-
-                     [/.ldap /.lightweight_directory_access_protocol]
-                     [/.ldaps /.lightweight_directory_access_protocol_secure]
-
-                     [/.pop /.post_office_protocol]
-
-                     [/.sip /.session_initiation_protocol]
-                     [/.sips /.session_initiation_protocol_secure]
-                     [/.sms /.short_message_service]
-                     [/.snmp /.simple_network_management_protocol]
-                     [/.ssh /.secure_shell_protocol]
-
-                     [/.stun /.session_traversal_utilities_for_nat]
-                     [/.stuns /.session_traversal_utilities_for_nat_secure]
-
-                     [/.turn /.traversal_using_relays_around_nat]
-                     [/.turns /.traversal_using_relays_around_nat_secure]
-
-                     [/.xmpp /.extensible_messaging_and_presence_protocol]))
-               ))))
+(with_expansions [<schemes/0> (these [/.about] [/.acap] [/.user_account] [/.anonymous_customer_reference] [/.attachment]
+                                     [/.bitcoin] [/.blob]
+                                     [/.calendar_access_protocol]
+                                     [/.data] [/.dns] [/.dntp] [/.digital_object_identifier] [/.drm]
+                                     [/.feed] [/.file] [/.finger] [/.fish] [/.fm] [/.ftp]
+                                     [/.geo] [/.git]
+                                     [/.http] [/.https])
+                  <schemes/1> (these [/.imap] [/.ipp] [/.ipps] [/.irc] [/.irc6] [/.ircs]
+                                     [/.jar]
+                                     [/.ldap] [/.ldaps]
+                                     [/.magnet] [/.mail_to] [/.apache_maven]
+                                     [/.pop]
+                                     [/.sip] [/.sips] [/.sms] [/.snmp] [/.ssh] [/.stun] [/.stuns]
+                                     [/.telephone_number] [/.turn] [/.turns]
+                                     [/.xmpp])]
+  (def .public random
+    (Random /.Scheme)
+    (`` (all random.either
+             (,, (with_template [<scheme>]
+                   [(random#in <scheme>)]
+
+                   <schemes/0>
+                   <schemes/1>
+                   ))
+             )))
+
+  (def options
+    (List /.Scheme)
+    (list <schemes/0>
+          <schemes/1>))
+
+  (def .public test
+    Test
+    (<| (_.covering /._)
+        (do [! random.monad]
+          [expected ..random])
+        (_.for [/.Scheme])
+        (`` (all _.and
+                 (_.for [/.equivalence]
+                        ($equivalence.spec /.equivalence ..random))
+                 (_.for [/.hash]
+                        ($hash.spec /.hash ..random))
+
+                 (_.coverage [/.name /.scheme]
+                   (|> expected
+                       /.name
+                       /.scheme
+                       (at /.equivalence = expected)))
+                 (_.coverage [(,, (with_template [<scheme>]
+                                    [<scheme>]
+
+                                    <schemes/0>))]
+                   (let [uniques (set.of_list /.hash ..options)]
+                     (n.= (list.size ..options)
+                          (set.size uniques))))
+                 (_.coverage [(,, (with_template [<scheme>]
+                                    [<scheme>]
+
+                                    <schemes/1>))]
+                   (let [uniques (set.of_list /.hash ..options)]
+                     (n.= (list.size ..options)
+                          (set.size uniques))))
+                 (,, (with_template [<original> <alias>]
+                       [(_.coverage [<alias>]
+                          (at /.equivalence = <original> <alias>))]
+
+                       [/.acap /.application_configuration_access_protocol]
+
+                       [/.dns /.domain_name_system]
+                       [/.dntp /.direct_network_transfer_protocol]
+
+                       [/.ftp /.file_transfer_protocol]
+
+                       [/.http /.hypertext_transfer_protocol]
+                       [/.https /.hypertext_transfer_protocol_secure]
+
+                       [/.imap /.internet_message_access_protocol]
+                       [/.ipp /.internet_printing_protocol]
+                       [/.ipps /.internet_printing_protocol_secure]
+                       [/.irc /.internet_relay_chat]
+                       [/.ircs /.internet_relay_chat_secure]
+
+                       [/.ldap /.lightweight_directory_access_protocol]
+                       [/.ldaps /.lightweight_directory_access_protocol_secure]
+
+                       [/.pop /.post_office_protocol]
+
+                       [/.sip /.session_initiation_protocol]
+                       [/.sips /.session_initiation_protocol_secure]
+                       [/.sms /.short_message_service]
+                       [/.snmp /.simple_network_management_protocol]
+                       [/.ssh /.secure_shell_protocol]
+
+                       [/.stun /.session_traversal_utilities_for_nat]
+                       [/.stuns /.session_traversal_utilities_for_nat_secure]
+
+                       [/.turn /.traversal_using_relays_around_nat]
+                       [/.turns /.traversal_using_relays_around_nat_secure]
+
+                       [/.xmpp /.extensible_messaging_and_presence_protocol]))
+                 )))))