Re-named "as_is" to "these" to avoid confusion with the new type-annotation macro names.

53 files changed, 191 insertions, 191 deletions

diff --git a/stdlib/source/library/lux.lux b/stdlib/source/library/lux.lux
index 7cc43774e..67f2dc4d3 100644
--- a/stdlib/source/library/lux.lux
+++ b/stdlib/source/library/lux.lux
@@ -4804,7 +4804,7 @@
   [rev ..Rev]
   )
 
-(macro: .public (as_is tokens compiler)
+(macro: .public (these tokens compiler)
   {#Right [compiler tokens]})
 
 (macro: .public (char tokens compiler)
@@ -4880,7 +4880,7 @@
     (failure (..wrong_syntax_error (symbol ..for)))))
 
 ... TODO: Delete "scope_type_vars" (including the #scope_type_vars Lux state) and "parameter" ASAP.
-(for "{old}" (as_is (def: (scope_type_vars state)
+(for "{old}" (these (def: (scope_type_vars state)
                       (Meta (List Nat))
                       (case state
                         [..#info info ..#source    source ..#current_module _   ..#modules modules
@@ -4903,7 +4903,7 @@
 
                         _
                         (failure (..wrong_syntax_error (symbol ..$))))))
-     (as_is (def: .public parameter "")))
+     (these (def: .public parameter "")))
 
 (macro: .public (using _imports)
   (do meta_monad
diff --git a/stdlib/source/library/lux/control/concurrency/actor.lux b/stdlib/source/library/lux/control/concurrency/actor.lux
index 715b2b98f..16a789547 100644
--- a/stdlib/source/library/lux/control/concurrency/actor.lux
+++ b/stdlib/source/library/lux/control/concurrency/actor.lux
@@ -39,9 +39,9 @@
 (exception: .public dead)
 
 (with_expansions
-  [<Mail> (as_is (-> s (Actor s) (Async (Try s))))
-   <Obituary> (as_is [Text s (List <Mail>)])
-   <Mailbox> (as_is (Rec Mailbox
+  [<Mail> (these (-> s (Actor s) (Async (Try s))))
+   <Obituary> (these [Text s (List <Mail>)])
+   <Mailbox> (these (Rec Mailbox
                       [(Async [<Mail> Mailbox])
                        (Resolver [<Mail> Mailbox])]))]
 
diff --git a/stdlib/source/library/lux/control/concurrency/atom.lux b/stdlib/source/library/lux/control/concurrency/atom.lux
index 1fe0d8262..8fd8e86bf 100644
--- a/stdlib/source/library/lux/control/concurrency/atom.lux
+++ b/stdlib/source/library/lux/control/concurrency/atom.lux
@@ -15,14 +15,14 @@
    [type
     [abstract {"-" pattern}]]]])
 
-(with_expansions [<jvm> (as_is (ffi.import: (java/util/concurrent/atomic/AtomicReference a)
+(with_expansions [<jvm> (these (ffi.import: (java/util/concurrent/atomic/AtomicReference a)
                                  "[1]::[0]"
                                  (new [a])
                                  (get [] "io" a)
                                  (compareAndSet [a a] boolean)))]
   (for @.old <jvm>
        @.jvm <jvm>
-       (as_is)))
+       (these)))
 
 (with_expansions [<new> (for @.js "js array new"
                              @.python "python array new"
@@ -30,14 +30,14 @@
                              @.ruby "ruby array new"
                              @.php "php array new"
                              @.scheme "scheme array new"
-                             (as_is))
+                             (these))
                   <write> (for @.js "js array write"
                                @.python "python array write"
                                @.lua "lua array write"
                                @.ruby "ruby array write"
                                @.php "php array write"
                                @.scheme "scheme array write"
-                               (as_is))
+                               (these))
                   
                   <read> (for @.js "js array read"
                               @.python "python array read"
@@ -45,7 +45,7 @@
                               @.ruby "ruby array read"
                               @.php "php array read"
                               @.scheme "scheme array read"
-                              (as_is))]
+                              (these))]
   (abstract: .public (Atom a)
     (with_expansions [<jvm> (java/util/concurrent/atomic/AtomicReference a)]
       (for @.old <jvm>
diff --git a/stdlib/source/library/lux/control/concurrency/semaphore.lux b/stdlib/source/library/lux/control/concurrency/semaphore.lux
index 504e5472b..1e177aa5e 100644
--- a/stdlib/source/library/lux/control/concurrency/semaphore.lux
+++ b/stdlib/source/library/lux/control/concurrency/semaphore.lux
@@ -51,7 +51,7 @@
                             (async.async []))]
       (exec
         (io.run!
-         (with_expansions [<had_open_position?> (as_is (the #open_positions) (i.> -1))]
+         (with_expansions [<had_open_position?> (these (the #open_positions) (i.> -1))]
            (do io.monad
              [[_ state'] (atom.update! (|>> (revised #open_positions --)
                                             (pipe.if [<had_open_position?>]
diff --git a/stdlib/source/library/lux/control/concurrency/thread.lux b/stdlib/source/library/lux/control/concurrency/thread.lux
index 6c2a36ebc..a885b63a9 100644
--- a/stdlib/source/library/lux/control/concurrency/thread.lux
+++ b/stdlib/source/library/lux/control/concurrency/thread.lux
@@ -24,7 +24,7 @@
  [//
   ["[0]" atom {"+" Atom}]])
 
-(with_expansions [<jvm> (as_is (ffi.import: java/lang/Object
+(with_expansions [<jvm> (these (ffi.import: java/lang/Object
                                  "[1]::[0]")
                                
                                (ffi.import: java/lang/Long
@@ -53,11 +53,11 @@
                                  "[1]::[0]"
                                  (new [int])
                                  (schedule [java/lang/Runnable long java/util/concurrent/TimeUnit] "io" (java/util/concurrent/ScheduledFuture java/lang/Object))))]
-  (for @.old (as_is <jvm>)
-       @.jvm (as_is <jvm>)
+  (for @.old (these <jvm>)
+       @.jvm (these <jvm>)
 
        @.js
-       (as_is (ffi.import: (setTimeout [ffi.Function ffi.Number] "io" Any)))
+       (these (ffi.import: (setTimeout [ffi.Function ffi.Number] "io" Any)))
 
        @.python
        (ffi.import: threading/Timer
@@ -88,7 +88,7 @@
          ... Default
          <default>)))
 
-(with_expansions [<jvm> (as_is (def: runner
+(with_expansions [<jvm> (these (def: runner
                                  java/util/concurrent/ScheduledThreadPoolExecutor
                                  (|> ..parallelism
                                      .int
@@ -96,11 +96,11 @@
                                      java/util/concurrent/ScheduledThreadPoolExecutor::new)))]
   (for @.old <jvm>
        @.jvm <jvm>
-       @.js (as_is)
-       @.python (as_is)
+       @.js (these)
+       @.python (these)
        
        ... Default
-       (as_is (def: started?
+       (these (def: started?
                 (Atom Bit)
                 (atom.atom false))
               (def: runner
@@ -122,7 +122,7 @@
 
 (def: .public (schedule! milli_seconds action)
   (-> Nat (IO Any) (IO Any))
-  (with_expansions [<jvm> (as_is (let [runnable (ffi.object [] [java/lang/Runnable]
+  (with_expansions [<jvm> (these (let [runnable (ffi.object [] [java/lang/Runnable]
                                                   []
                                                   (java/lang/Runnable [] (run self []) void
                                                                       (..execute! action)))]
@@ -153,13 +153,13 @@
                             ..runner)]
            (in [])))))
 
-(for @.old (as_is)
-     @.jvm (as_is)
-     @.js (as_is)
-     @.python (as_is)
+(for @.old (these)
+     @.jvm (these)
+     @.js (these)
+     @.python (these)
      
      ... Default
-     (as_is (exception: .public cannot_continue_running_threads)
+     (these (exception: .public cannot_continue_running_threads)
 
             ... https://en.wikipedia.org/wiki/Event_loop
             ... Starts the event-loop.
diff --git a/stdlib/source/library/lux/control/parser/analysis.lux b/stdlib/source/library/lux/control/parser/analysis.lux
index b6794db76..078fedb7e 100644
--- a/stdlib/source/library/lux/control/parser/analysis.lux
+++ b/stdlib/source/library/lux/control/parser/analysis.lux
@@ -89,7 +89,7 @@
                             _       false)]}))
 
 (template [<query> <assertion> <tag> <type> <eq>]
-  [(`` (as_is (def: .public <query>
+  [(`` (these (def: .public <query>
                 (Parser <type>)
                 (function (_ input)
                   (case input
diff --git a/stdlib/source/library/lux/control/parser/code.lux b/stdlib/source/library/lux/control/parser/code.lux
index 6b76cd137..554ad21e9 100644
--- a/stdlib/source/library/lux/control/parser/code.lux
+++ b/stdlib/source/library/lux/control/parser/code.lux
@@ -58,7 +58,7 @@
       {try.#Success [tokens next]})))
 
 (template [<query> <check> <type> <tag> <eq> <desc>]
-  [(with_expansions [<failure> (as_is {try.#Failure ($_ text#composite "Cannot parse " <desc> (remaining_inputs tokens))})]
+  [(with_expansions [<failure> (these {try.#Failure ($_ text#composite "Cannot parse " <desc> (remaining_inputs tokens))})]
      (def: .public <query>
        (Parser <type>)
        (function (_ tokens)
@@ -103,7 +103,7 @@
       _
       {try.#Failure "There are no tokens to parse!"})))
 
-(with_expansions [<failure> (as_is {try.#Failure ($_ text#composite "Cannot parse local symbol" (remaining_inputs tokens))})]
+(with_expansions [<failure> (these {try.#Failure ($_ text#composite "Cannot parse local symbol" (remaining_inputs tokens))})]
   (def: .public local
     (Parser Text)
     (function (_ tokens)
@@ -126,7 +126,7 @@
         _
         <failure>))))
 
-(with_expansions [<failure> (as_is {try.#Failure ($_ text#composite "Cannot parse local symbol" (remaining_inputs tokens))})]
+(with_expansions [<failure> (these {try.#Failure ($_ text#composite "Cannot parse local symbol" (remaining_inputs tokens))})]
   (def: .public global
     (Parser Symbol)
     (function (_ tokens)
diff --git a/stdlib/source/library/lux/data/collection/dictionary/ordered.lux b/stdlib/source/library/lux/data/collection/dictionary/ordered.lux
index d7e8d99d1..217c07d1e 100644
--- a/stdlib/source/library/lux/data/collection/dictionary/ordered.lux
+++ b/stdlib/source/library/lux/data/collection/dictionary/ordered.lux
@@ -162,7 +162,7 @@
     
     {#Black}
     (with_expansions
-      [<default_behavior> (as_is (black (the #key center)
+      [<default_behavior> (these (black (the #key center)
                                         (the #value center)
                                         {.#Some addition}
                                         (the #right center)))]
@@ -211,7 +211,7 @@
     
     {#Black}
     (with_expansions
-      [<default_behavior> (as_is (black (the #key center)
+      [<default_behavior> (these (black (the #key center)
                                         (the #value center)
                                         (the #left center)
                                         {.#Some addition}))]
diff --git a/stdlib/source/library/lux/data/format/tar.lux b/stdlib/source/library/lux/data/format/tar.lux
index 422d11814..2387b162f 100644
--- a/stdlib/source/library/lux/data/format/tar.lux
+++ b/stdlib/source/library/lux/data/format/tar.lux
@@ -403,7 +403,7 @@
     (|>> representation
          format.bits/8))
 
-  (with_expansions [<options> (as_is [0 old_normal]
+  (with_expansions [<options> (these [0 old_normal]
                                      [(char "0") normal]
                                      [(char "1") link]
                                      [(char "2") symbolic_link]
@@ -463,7 +463,7 @@
     (exception.report
      "Value" (%.nat value)))
 
-  (with_expansions [<options> (as_is ["0000" none]
+  (with_expansions [<options> (these ["0000" none]
                                      
                                      ["0001" execute_by_other]
                                      ["0002" write_by_other]
diff --git a/stdlib/source/library/lux/data/text.lux b/stdlib/source/library/lux/data/text.lux
index 9380fce55..5ac09a8e5 100644
--- a/stdlib/source/library/lux/data/text.lux
+++ b/stdlib/source/library/lux/data/text.lux
@@ -184,7 +184,7 @@
         [[pre post] (..split_by pattern template)]
         (in ($_ "lux text concat" pre replacement post)))))
 
-(for @.js (as_is (macro: (defined? tokens lux)
+(for @.js (these (macro: (defined? tokens lux)
                    (case tokens
                      (pattern (list it))
                      {.#Right [lux (list (` (.case ("js type-of" ("js constant" (~ it)))
@@ -207,7 +207,7 @@
 
                      _
                      {.#Left ""})))
-     (as_is))
+     (these))
 
 (def: .public (replaced pattern replacement template)
   (-> Text Text Text Text)
diff --git a/stdlib/source/library/lux/data/text/buffer.lux b/stdlib/source/library/lux/data/text/buffer.lux
index eb1cecf59..341c9a688 100644
--- a/stdlib/source/library/lux/data/text/buffer.lux
+++ b/stdlib/source/library/lux/data/text/buffer.lux
@@ -19,7 +19,7 @@
     [abstract {"-" pattern}]]]]
  ["[0]" //])
 
-(with_expansions [<jvm> (as_is (import: java/lang/CharSequence
+(with_expansions [<jvm> (these (import: java/lang/CharSequence
                                  "[1]::[0]")
 
                                (import: java/lang/Appendable
@@ -35,18 +35,18 @@
                                  "[1]::[0]"
                                  (new [int])
                                  (toString [] java/lang/String)))]
-  (`` (for @.old (as_is <jvm>)
-           @.jvm (as_is <jvm>)
-           @.js (as_is (import: (JS_Array a)
+  (`` (for @.old (these <jvm>)
+           @.jvm (these <jvm>)
+           @.js (these (import: (JS_Array a)
                          "[1]::[0]"
                          (push [a] a)
                          (join [Text] Text)))
-           @.lua (as_is (import: (table/concat [(array.Array Text) Text] Text))
+           @.lua (these (import: (table/concat [(array.Array Text) Text] Text))
                         ...https://www.lua.org/manual/5.3/manual.html#pdf-table.concat
                         (import: (table/insert [(array.Array Text) Text] "?" Nothing))
                         ... https://www.lua.org/manual/5.3/manual.html#pdf-table.insert
                         )
-           (as_is))))
+           (these))))
 
 (`` (abstract: .public Buffer
       (for @.old [Nat (-> java/lang/StringBuilder java/lang/StringBuilder)]
diff --git a/stdlib/source/library/lux/data/text/encoding/utf8.lux b/stdlib/source/library/lux/data/text/encoding/utf8.lux
index e618307b4..21bbe8e81 100644
--- a/stdlib/source/library/lux/data/text/encoding/utf8.lux
+++ b/stdlib/source/library/lux/data/text/encoding/utf8.lux
@@ -11,15 +11,15 @@
     ["[0]" binary {"+" Binary}]]]]
  ["[0]" //])
 
-(with_expansions [<jvm> (as_is (ffi.import: java/lang/String
+(with_expansions [<jvm> (these (ffi.import: java/lang/String
                                  "[1]::[0]"
                                  (new [[byte] java/lang/String])
                                  (getBytes [java/lang/String] [byte])))]
-  (for @.old (as_is <jvm>)
-       @.jvm (as_is <jvm>)
+  (for @.old (these <jvm>)
+       @.jvm (these <jvm>)
 
        @.js
-       (as_is (ffi.import: Uint8Array
+       (these (ffi.import: Uint8Array
                 "[1]::[0]")
 
               ... On Node
@@ -41,7 +41,7 @@
                 (decode [Uint8Array] ffi.String)))
 
        @.ruby
-       (as_is (ffi.import: String
+       (these (ffi.import: String
                 "[1]::[0]"
                 (encode [Text] String)
                 (force_encoding [Text] Text)
@@ -52,16 +52,16 @@
                 (pack [Text] String)))
 
        @.php
-       (as_is (ffi.import: Almost_Binary)
+       (these (ffi.import: Almost_Binary)
               (ffi.import: (unpack [ffi.String ffi.String] Almost_Binary))
               (ffi.import: (array_values [Almost_Binary] Binary))
               (def: php_byte_array_format "C*"))
 
        @.scheme
        ... https://srfi.schemers.org/srfi-140/srfi-140.html
-       (as_is (ffi.import: (string->utf8 [Text] Binary))
+       (these (ffi.import: (string->utf8 [Text] Binary))
               (ffi.import: (utf8->string [Binary] Text)))
-       (as_is)))
+       (these)))
 
 (def: (encoded value)
   (-> Text Binary)
diff --git a/stdlib/source/library/lux/debug.lux b/stdlib/source/library/lux/debug.lux
index 79a8b16e1..6e8b498e6 100644
--- a/stdlib/source/library/lux/debug.lux
+++ b/stdlib/source/library/lux/debug.lux
@@ -42,7 +42,7 @@
     [month {"+" Month}]
     [day {"+" Day}]]]])
 
-(with_expansions [<jvm> (as_is (import: java/lang/String
+(with_expansions [<jvm> (these (import: java/lang/String
                                  "[1]::[0]")
 
                                (import: (java/lang/Class a)
@@ -68,11 +68,11 @@
                                  (intValue [] int)
                                  (longValue [] long)
                                  (doubleValue [] double)))]
-  (for @.old (as_is <jvm>)
-       @.jvm (as_is <jvm>)
+  (for @.old (these <jvm>)
+       @.jvm (these <jvm>)
 
        @.js
-       (as_is (import: JSON
+       (these (import: JSON
                 "[1]::[0]"
                 ("static" stringify [.Any] ffi.String))
               (import: Array
@@ -80,14 +80,14 @@
                 ("static" isArray [.Any] ffi.Boolean)))
 
        @.python
-       (as_is (type: PyType
+       (these (type: PyType
                 (Primitive "python_type"))
               
               (import: (type [.Any] PyType))
               (import: (str [.Any] ffi.String)))
 
        @.lua
-       (as_is (import: (type [.Any] ffi.String))
+       (these (import: (type [.Any] ffi.String))
               (import: (tostring [.Any] ffi.String))
 
               (import: math
@@ -95,7 +95,7 @@
                 ("static" type [.Any] "?" ffi.String)))
 
        @.ruby
-       (as_is (import: Class
+       (these (import: Class
                 "[1]::[0]")
 
               (import: Object
@@ -104,11 +104,11 @@
                 (to_s [] ffi.String)))
 
        @.php
-       (as_is (import: (gettype [.Any] ffi.String))
+       (these (import: (gettype [.Any] ffi.String))
               (import: (strval [.Any] ffi.String)))
 
        @.scheme
-       (as_is (import: (boolean? [.Any] Bit))
+       (these (import: (boolean? [.Any] Bit))
               (import: (integer? [.Any] Bit))
               (import: (real? [.Any] Bit))
               (import: (string? [.Any] Bit))
@@ -130,12 +130,12 @@
                   (if ("lua object nil?" member)
                     {.#End}
                     {.#Item member (again (++ idx))})))))
-     (as_is))
+     (these))
 
 (def: (tuple_inspection inspection)
   (-> Inspector Inspector)
-  (with_expansions [<adaption> (for @.lua (~~ (as_is ..tuple_array))
-                                    (~~ (as_is)))]
+  (with_expansions [<adaption> (for @.lua (~~ (these ..tuple_array))
+                                    (~~ (these)))]
     (`` (|>> (as (array.Array Any))
              <adaption>
              (array.list {.#None})
diff --git a/stdlib/source/library/lux/ffi.jvm.lux b/stdlib/source/library/lux/ffi.jvm.lux
index 67932ee7c..6b0c04c63 100644
--- a/stdlib/source/library/lux/ffi.jvm.lux
+++ b/stdlib/source/library/lux/ffi.jvm.lux
@@ -1698,7 +1698,7 @@
   (exception.report
    "Lux Type" (%.type type)))
 
-(with_expansions [<failure> (as_is (meta.failure (exception.error ..cannot_convert_to_jvm_type [type])))]
+(with_expansions [<failure> (these (meta.failure (exception.error ..cannot_convert_to_jvm_type [type])))]
   (def: (lux_type->jvm_type context type)
     (-> Type_Context .Type (Meta (Type Value)))
     (if (type#= .Any type)
diff --git a/stdlib/source/library/lux/ffi.lux b/stdlib/source/library/lux/ffi.lux
index 8a9c74362..da6bd2b3b 100644
--- a/stdlib/source/library/lux/ffi.lux
+++ b/stdlib/source/library/lux/ffi.lux
@@ -33,7 +33,7 @@
                                @.ruby "ruby apply")
                   <new> (for @.js "js object new"
                              @.python "python apply"
-                             (as_is))
+                             (these))
                   <do> (for @.js "js object do"
                             @.python "python object do"
                             @.lua "lua object do"
@@ -42,25 +42,25 @@
                              @.python "python object get"
                              @.lua "lua object get"
                              @.ruby "ruby object get"
-                             (as_is))
+                             (these))
                   <import> (for @.python "python import"
                                 @.lua "lua import"
                                 @.ruby "ruby import"
-                                (as_is))
+                                (these))
                   <function> (for @.js "js function"
                                   @.python "python function"
                                   @.lua "lua function"
-                                  (as_is))]
+                                  (these))]
   (abstract: .public (Object brand) Any)
 
-  (with_expansions [<un_common> (for @.js (as_is [Symbol]
+  (with_expansions [<un_common> (for @.js (these [Symbol]
                                                  [Null]
                                                  [Undefined])
-                                     @.python (as_is [None]
+                                     @.python (these [None]
                                                      [Dict])
-                                     @.lua (as_is [Nil]
+                                     @.lua (these [Nil]
                                                   [Table])
-                                     @.ruby (as_is [Nil]))
+                                     @.ruby (these [Nil]))
                     <un_common> <un_common>]
     (template [<name>]
       [(with_expansions [<brand> (template.symbol [<name> "'"])]
@@ -74,12 +74,12 @@
       <un_common>
       ))
 
-  (with_expansions [<un_common> (for @.js (as_is [Number  Frac])
-                                     @.python (as_is [Integer Int]
+  (with_expansions [<un_common> (for @.js (these [Number  Frac])
+                                     @.python (these [Integer Int]
                                                      [Float   Frac])
-                                     @.lua (as_is [Integer Int]
+                                     @.lua (these [Integer Int]
                                                   [Float   Frac])
-                                     @.ruby (as_is [Integer Int]
+                                     @.ruby (these [Integer Int]
                                                    [Float   Frac]))
                     <un_common> <un_common>]
     (template [<name> <type>]
@@ -231,8 +231,8 @@
 
   (`` (`` (type: Sub
             (Variant
-             (~~ (for @.lua (~~ (as_is))
-                      @.ruby (~~ (as_is))
+             (~~ (for @.lua (~~ (these))
+                      @.ruby (~~ (these))
                       {#Constructor Constructor}))
              {#Field Field}
              {#Method Method}))))
@@ -240,8 +240,8 @@
   (`` (`` (def: sub
             (Parser Sub)
             ($_ <>.or
-                (~~ (for @.lua (~~ (as_is))
-                         @.ruby (~~ (as_is))
+                (~~ (for @.lua (~~ (these))
+                         @.ruby (~~ (these))
                          ..constructor))
                 ..field
                 ..method
@@ -271,7 +271,7 @@
            (|>> <host_?>))
 
          (template.with_locals [g!it]
-           (as_is (def: g!it' (' g!it))
+           (these (def: g!it' (' g!it))
                   (def: (host_optional it)
                     (-> Optional Code)
                     (.if (.the #optional? it)
@@ -402,7 +402,7 @@
   (def: host_path
     (text.replaced .module_separator ..class_separator))
 
-  (for @.js (as_is)
+  (for @.js (these)
        (def: (imported class)
          (-> Text Code)
          (case (text.all_split_by .module_separator class)
@@ -431,8 +431,8 @@
               (~ (<| (lux_optional :output:)
                      (` (<constant> (~ (code.text (..host_path (the #name it))))))))))))))
   
-  (for @.lua (as_is)
-       @.ruby (as_is)
+  (for @.lua (these)
+       @.ruby (these)
        (def: (constructor_definition [class_name class_parameters] alias namespace it)
          (-> Declaration Alias Namespace Constructor Code)
          (let [g!it (|> it
@@ -588,9 +588,9 @@
                                                 [(~+ g!class_variables)]))))
                      (list#each (.function (_ member)
                                   (`` (`` (case member
-                                            (~~ (for @.lua (~~ (as_is))
-                                                     @.ruby (~~ (as_is))
-                                                     (~~ (as_is {#Constructor it}
+                                            (~~ (for @.lua (~~ (these))
+                                                     @.ruby (~~ (these))
+                                                     (~~ (these {#Constructor it}
                                                                 (..constructor_definition class alias namespace it)))))
                                             
                                             {#Field it}
@@ -601,7 +601,7 @@
                                 (the #members it)))))
         )))
 
-  (for @.ruby (as_is)
+  (for @.ruby (these)
        (syntax: .public (function [[self inputs] (<code>.form
                                                   ($_ <>.and
                                                       <code>.local
@@ -617,7 +617,7 @@
                            (.function ((~ (code.local self)) [(~+ (list#each product.left inputs))])
                              (~ term))))))))
 
-  (for @.js (as_is (template: .public (type_of object)
+  (for @.js (these (template: .public (type_of object)
                      [("js type-of" object)])
 
                    (syntax: .public (global [type <code>.any
@@ -671,5 +671,5 @@
                                           (text#= "[object process]")))
                          (maybe.else false)))
                    )
-       (as_is))
+       (these))
   )
diff --git a/stdlib/source/library/lux/macro/template.lux b/stdlib/source/library/lux/macro/template.lux
index 778a5fe44..f324e2efb 100644
--- a/stdlib/source/library/lux/macro/template.lux
+++ b/stdlib/source/library/lux/macro/template.lux
@@ -42,7 +42,7 @@
                   (monad.all !))]
     (in (list (` (.with_expansions [(~+ (|> (list.zipped/2 locals g!locals)
                                             (list#each (function (_ [name symbol])
-                                                         (list (code.local name) (as_is symbol))))
+                                                         (list (code.local name) symbol)))
                                             list#conjoint))]
                    (~ body)))))))
 
diff --git a/stdlib/source/library/lux/math.lux b/stdlib/source/library/lux/math.lux
index 028ed346b..c9cbed213 100644
--- a/stdlib/source/library/lux/math.lux
+++ b/stdlib/source/library/lux/math.lux
@@ -62,17 +62,17 @@
                     last
                     prevs)))))
 
-(for @.old (as_is)
+(for @.old (these)
      (with_expansions [<@> (static.text (let [[@ _] (symbol .._)] @))
                        <ratio/0> [ratio.#numerator 0 ratio.#denominator 1]
                        <ratio/1> [ratio.#numerator 1 ratio.#denominator 1]
                        <complex/0> [complex.#real +0.0 complex.#imaginary +0.0]
                        <complex/1> [complex.#real +1.0 complex.#imaginary +0.0]]
-       (as_is (template [<name> <scenarios>']
+       (these (template [<name> <scenarios>']
                 [(with_expansions [<extension> (static.seed)
                                    <extension> (template.text [<@> " " <extension>])
                                    <scenarios> (template.spliced <scenarios>')]
-                   (as_is (analysis: (<extension> self phase archive [operands (<>.some <code>.any)])
+                   (these (analysis: (<extension> self phase archive [operands (<>.some <code>.any)])
                             (<| type.with_var
                                 (function (_ [$it :it:]))
                                 (do [! phase.monad]
@@ -141,7 +141,7 @@
                 [(with_expansions [<extension> (static.seed)
                                    <extension> (template.text [<@> " " <extension>])
                                    <scenarios> (template.spliced <scenarios>')]
-                   (as_is (analysis: (<extension> self phase archive [left <code>.any
+                   (these (analysis: (<extension> self phase archive [left <code>.any
                                                                       right <code>.any])
                             (<| type.with_var
                                 (function (_ [$it :it:]))
@@ -196,7 +196,7 @@
                 [(with_expansions [<extension> (static.seed)
                                    <extension> (template.text [<@> " " <extension>])
                                    <scenarios> (template.spliced <scenarios>')]
-                   (as_is (analysis: (<extension> self phase archive [left <code>.any
+                   (these (analysis: (<extension> self phase archive [left <code>.any
                                                                       right <code>.any])
                             (<| type.with_var
                                 (function (_ [$it :it:]))
diff --git a/stdlib/source/library/lux/math/number/frac.lux b/stdlib/source/library/lux/math/number/frac.lux
index 6d81a958b..aff22f26d 100644
--- a/stdlib/source/library/lux/math/number/frac.lux
+++ b/stdlib/source/library/lux/math/number/frac.lux
@@ -35,7 +35,7 @@
   )
 
 (for @.old
-     (as_is (template [<name> <method>]
+     (these (template [<name> <method>]
               [(def: .public (<name> it)
                  (-> Frac Frac)
                  (<method> it))]
@@ -62,7 +62,7 @@
               ("jvm invokestatic:java.lang.Math:pow:double,double" subject param)))
 
      @.jvm
-     (as_is (template: (!double value)
+     (these (template: (!double value)
               [(|> value
                    (as (Primitive "java.lang.Double"))
                    "jvm object cast")])
@@ -106,7 +106,7 @@
                   !frac)))
 
      @.js
-     (as_is (template [<name> <method>]
+     (these (template [<name> <method>]
               [(def: .public <name>
                  (-> Frac Frac)
                  (|>> []
@@ -136,7 +136,7 @@
               (as Frac ("js apply" ("js constant" "Math.pow") [subject param]))))
 
      @.python
-     (as_is (template [<name> <method>]
+     (these (template [<name> <method>]
               [(def: .public <name>
                  (-> Frac Frac)
                  (|>> []
@@ -175,7 +175,7 @@
                     (..pow ("lux f64 /" +3.0 +1.0))))))
 
      @.lua
-     (as_is (template [<name> <method>]
+     (these (template [<name> <method>]
               [(def: .public <name>
                  (-> Frac Frac)
                  (|>> []
@@ -214,7 +214,7 @@
                     (..pow ("lux f64 /" +3.0 +1.0))))))
 
      @.ruby
-     (as_is (template [<name> <method>]
+     (these (template [<name> <method>]
               [(def: .public <name>
                  (-> Frac Frac)
                  (|>> []
@@ -252,7 +252,7 @@
               (as Frac ("ruby object do" "**" subject [param]))))
 
      @.php
-     (as_is (template [<name> <method>]
+     (these (template [<name> <method>]
               [(def: .public <name>
                  (-> Frac Frac)
                  (|>> ("php apply" ("php constant" <method>))
@@ -284,7 +284,7 @@
               (..pow ("lux f64 /" +3.0 +1.0))))
 
      @.scheme
-     (as_is (template [<name> <method>]
+     (these (template [<name> <method>]
               [(def: .public <name>
                  (-> Frac Frac)
                  (|>> ("scheme apply" ("scheme constant" <method>))
diff --git a/stdlib/source/library/lux/math/number/rev.lux b/stdlib/source/library/lux/math/number/rev.lux
index 9a6e9c826..31aa1799b 100644
--- a/stdlib/source/library/lux/math/number/rev.lux
+++ b/stdlib/source/library/lux/math/number/rev.lux
@@ -223,7 +223,7 @@
   ("lux text clip" 1 (-- ("lux text size" input)) input))
 
 (template [<struct> <codec> <char_bit_size> <error>]
-  [(with_expansions [<failure> (as_is {try.#Failure ("lux text concat" <error> repr)})]
+  [(with_expansions [<failure> (these {try.#Failure ("lux text concat" <error> repr)})]
      (implementation: .public <struct>
        (Codec Text Rev)
        
diff --git a/stdlib/source/library/lux/target/jvm/attribute.lux b/stdlib/source/library/lux/target/jvm/attribute.lux
index 50d73af68..6fd6eba84 100644
--- a/stdlib/source/library/lux/target/jvm/attribute.lux
+++ b/stdlib/source/library/lux/target/jvm/attribute.lux
@@ -55,7 +55,7 @@
       [($_ n.+ nameS lengthS infoS)
        (|>> nameT lengthT infoT)])))
 
-(with_expansions [<Code> (as_is (/code.Code Attribute))]
+(with_expansions [<Code> (these (/code.Code Attribute))]
   (type: .public Attribute
     (Rec Attribute
       (Variant
diff --git a/stdlib/source/library/lux/target/jvm/bytecode.lux b/stdlib/source/library/lux/target/jvm/bytecode.lux
index a58bce01c..59dbcc697 100644
--- a/stdlib/source/library/lux/target/jvm/bytecode.lux
+++ b/stdlib/source/library/lux/target/jvm/bytecode.lux
@@ -176,7 +176,7 @@
                      [..relative#identity
                       (the /environment.#stack environment)]]})))
 
-(with_expansions [<success> (as_is (try|in [[pool
+(with_expansions [<success> (these (try|in [[pool
                                              environment
                                              (revised #known
                                                       (dictionary.has label [actual {.#Some @here}])
diff --git a/stdlib/source/library/lux/target/jvm/constant.lux b/stdlib/source/library/lux/target/jvm/constant.lux
index 1afa70f79..edd68d05b 100644
--- a/stdlib/source/library/lux/target/jvm/constant.lux
+++ b/stdlib/source/library/lux/target/jvm/constant.lux
@@ -225,7 +225,7 @@
 
 (def: .public writer
   (Writer Constant)
-  (with_expansions [<constants> (as_is [#UTF8             /tag.utf8             ..utf8_writer]
+  (with_expansions [<constants> (these [#UTF8             /tag.utf8             ..utf8_writer]
                                        [#Integer          /tag.integer          ..integer_writer]
                                        [#Float            /tag.float            ..float_writer]
                                        [#Long             /tag.long             ..long_writer]
diff --git a/stdlib/source/library/lux/target/jvm/constant/pool.lux b/stdlib/source/library/lux/target/jvm/constant/pool.lux
index e2fcfd655..11df35740 100644
--- a/stdlib/source/library/lux/target/jvm/constant/pool.lux
+++ b/stdlib/source/library/lux/target/jvm/constant/pool.lux
@@ -91,7 +91,7 @@
 (template: (!add <state> <tag> <equivalence> <value>)
   [(let [[current pool] <state>
          <value>' <value>]
-     (with_expansions [<try_again> (as_is (again (.++ idx)))]
+     (with_expansions [<try_again> (these (again (.++ idx)))]
        (loop [idx 0]
          (case (sequence.item idx pool)
            {try.#Success entry}
diff --git a/stdlib/source/library/lux/target/jvm/loader.lux b/stdlib/source/library/lux/target/jvm/loader.lux
index bff3cb325..443f07227 100644
--- a/stdlib/source/library/lux/target/jvm/loader.lux
+++ b/stdlib/source/library/lux/target/jvm/loader.lux
@@ -64,7 +64,7 @@
   (loadClass [java/lang/String]
              "io" "try" (java/lang/Class java/lang/Object)))
 
-(with_expansions [<elemT> (as_is (java/lang/Class java/lang/Object))]
+(with_expansions [<elemT> (these (java/lang/Class java/lang/Object))]
   (def: java/lang/ClassLoader::defineClass
     java/lang/reflect/Method
     (let [signature (|> (ffi.array <elemT> 4)
diff --git a/stdlib/source/library/lux/target/jvm/reflection.lux b/stdlib/source/library/lux/target/jvm/reflection.lux
index bc587e90c..94ca109a2 100644
--- a/stdlib/source/library/lux/target/jvm/reflection.lux
+++ b/stdlib/source/library/lux/target/jvm/reflection.lux
@@ -253,7 +253,7 @@
 
 (def: .public (return reflection)
   (-> java/lang/reflect/Type (Try (/.Type Return)))
-  (with_expansions [<else> (as_is (..type reflection))]
+  (with_expansions [<else> (these (..type reflection))]
     (case (ffi.check java/lang/Class reflection)
       {.#Some class}
       (let [class_name (|> reflection
diff --git a/stdlib/source/library/lux/target/python.lux b/stdlib/source/library/lux/target/python.lux
index 277e2c947..1210e2ad1 100644
--- a/stdlib/source/library/lux/target/python.lux
+++ b/stdlib/source/library/lux/target/python.lux
@@ -34,13 +34,13 @@
   (-> Text Text)
   (text.enclosed ["(" ")"]))
 
-(for @.old (as_is (ffi.import: java/lang/CharSequence
+(for @.old (these (ffi.import: java/lang/CharSequence
                     "[1]::[0]")
                   
                   (ffi.import: java/lang/String
                     "[1]::[0]"
                     (replace [java/lang/CharSequence java/lang/CharSequence] java/lang/String)))
-     (as_is))
+     (these))
 
 ... Added the carriage return for better Windows compatibility.
 (def: \n+
diff --git a/stdlib/source/library/lux/time/day.lux b/stdlib/source/library/lux/time/day.lux
index eb9439295..935d1937d 100644
--- a/stdlib/source/library/lux/time/day.lux
+++ b/stdlib/source/library/lux/time/day.lux
@@ -135,7 +135,7 @@
         {#Friday}
         {#Saturday}))
 
-(with_expansions [<pairs> (as_is [01 #Sunday]
+(with_expansions [<pairs> (these [01 #Sunday]
                                  [02 #Monday]
                                  [03 #Tuesday]
                                  [04 #Wednesday]
diff --git a/stdlib/source/library/lux/time/month.lux b/stdlib/source/library/lux/time/month.lux
index a9ac9c6bd..3d97636a5 100644
--- a/stdlib/source/library/lux/time/month.lux
+++ b/stdlib/source/library/lux/time/month.lux
@@ -58,7 +58,7 @@
       _
       false)))
 
-(with_expansions [<pairs> (as_is [01 #January]
+(with_expansions [<pairs> (these [01 #January]
                                  [02 #February]
                                  [03 #March]
                                  [04 #April]
diff --git a/stdlib/source/library/lux/tool/compiler/default/platform.lux b/stdlib/source/library/lux/tool/compiler/default/platform.lux
index 0a69b7995..4f62b38da 100644
--- a/stdlib/source/library/lux/tool/compiler/default/platform.lux
+++ b/stdlib/source/library/lux/tool/compiler/default/platform.lux
@@ -72,8 +72,8 @@
      ["[1]" context]
      ["ioW" archive]]]]])
 
-(with_expansions [<type_vars> (as_is anchor expression directive)
-                  <Operation> (as_is ///generation.Operation <type_vars>)]
+(with_expansions [<type_vars> (these anchor expression directive)
+                  <Operation> (these ///generation.Operation <type_vars>)]
   (type: .public (Platform <type_vars>)
     (Record
      [#&file_system (file.System Async)
@@ -92,9 +92,9 @@
     (as (Monad Action)
         (try.with async.monad)))
 
-  (with_expansions [<Platform> (as_is (Platform <type_vars>))
-                    <State+> (as_is (///directive.State+ <type_vars>))
-                    <Bundle> (as_is (///generation.Bundle <type_vars>))]
+  (with_expansions [<Platform> (these (Platform <type_vars>))
+                    <State+> (these (///directive.State+ <type_vars>))
+                    <Bundle> (these (///generation.Bundle <type_vars>))]
 
     (def: (writer //)
       (All (_ a)
@@ -795,7 +795,7 @@
                   [_ (cache/archive.cache! (the #&file_system platform) context archive)]
                   (async#in {try.#Failure error})))))))
 
-      (for @.old (as_is (def: Fake_State
+      (for @.old (these (def: Fake_State
                           Type
                           {.#Primitive (%.nat (static.random_nat)) (list)})
 
@@ -806,7 +806,7 @@
                         (def: Fake_Object
                           Type
                           {.#Primitive (%.nat (static.random_nat)) (list)}))
-           (as_is))
+           (these))
 
       (def: (serial_compiler import context platform compilation_sources compiler)
         (All (_ <type_vars>)
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/coverage.lux b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/coverage.lux
index 0484b5941..f7170c8ce 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/coverage.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/coverage.lux
@@ -41,7 +41,7 @@
 ... not being handled by any pattern).
 (template.let [(Variant' @)
                [[(Maybe Nat) (Dictionary Nat @)]]]
-  (as_is (type: .public Coverage
+  (these (type: .public Coverage
            (Rec @
              (.Variant
               {#Exhaustive}
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/directive.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/directive.lux
index eb3cfa9ba..ea6adec7a 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/directive.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/directive.lux
@@ -74,7 +74,7 @@
           {try.#Failure error}
           {try.#Failure error})))))
 
-(with_expansions [<lux_def_module> (as_is [|form_location| {.#Form (list& [|text_location| {.#Text "lux def module"}] annotations)}])]
+(with_expansions [<lux_def_module> (these [|form_location| {.#Form (list& [|text_location| {.#Text "lux def module"}] annotations)}])]
   (def: .public (phase wrapper expander)
     (-> //.Wrapper Expander Phase)
     (let [analysis (//analysis.phase expander)]
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension.lux
index fb3699ba8..42528ba33 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension.lux
@@ -39,7 +39,7 @@
   (|>> list.hash
        (product.hash text.hash)))
 
-(with_expansions [<Bundle> (as_is (Dictionary Name (Handler s i o)))]
+(with_expansions [<Bundle> (these (Dictionary Name (Handler s i o)))]
   (type: .public (Handler s i o)
     (-> Name
         (//.Phase [<Bundle> s] i o)
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/lux.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/lux.lux
index a85e87d85..31bc84be0 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/lux.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/lux.lux
@@ -81,7 +81,7 @@
   (simple (list subjectT param0T param1T) outputT))
 
 ... TODO: Get rid of this ASAP
-(as_is
+(these
  (exception: .public (char_text_must_be_size_1 [text Text])
    (exception.report
     "Text" (%.text text)))
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/runtime.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/runtime.lux
index 8579b8865..f98ce4c6f 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/runtime.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/runtime.lux
@@ -165,7 +165,7 @@
 (def: last_index
   (|>> _.length/1 [(_.int +1)] _.-/2))
 
-(with_expansions [<recur> (as_is ($_ _.then
+(with_expansions [<recur> (these ($_ _.then
                                      (_.; (_.set lefts (_.-/2 [last_index_right lefts])))
                                      (_.; (_.set tuple (_.nth last_index_right tuple)))))]
   (template: (!recur <side>)
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/runtime.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/runtime.lux
index 761a1c668..af22a192b 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/runtime.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/runtime.lux
@@ -140,7 +140,7 @@
   (_.at (..last_index tuple)
         tuple))
 
-(with_expansions [<recur> (as_is ($_ _.then
+(with_expansions [<recur> (these ($_ _.then
                                      (_.set lefts (_.- last_index_right lefts))
                                      (_.set tuple (_.at last_index_right tuple))))]
   (runtime: (tuple//left lefts tuple)
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/runtime.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/runtime.lux
index 99378b28c..dfce813ed 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/runtime.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/runtime.lux
@@ -166,7 +166,7 @@
 (def: last_index
   (|>> _.length (_.- (_.int +1))))
 
-(with_expansions [<recur> (as_is ($_ _.then
+(with_expansions [<recur> (these ($_ _.then
                                      (_.set (list lefts) (_.- last_index_right lefts))
                                      (_.set (list tuple) (..item last_index_right tuple))))]
   (runtime: (tuple//left lefts tuple)
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/runtime.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/runtime.lux
index 25bbcfe47..165bbd55d 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/runtime.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/runtime.lux
@@ -178,7 +178,7 @@
 (def: normal_last_index
   (|>> _.count/1 (_.- (_.int +1))))
 
-(with_expansions [<recur> (as_is ($_ _.then
+(with_expansions [<recur> (these ($_ _.then
                                      (_.set! lefts (_.- last_index_right lefts))
                                      (_.set! tuple (_.item last_index_right tuple))))]
   (runtime: (tuple//make size values)
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/runtime.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/runtime.lux
index a9e12aede..adddebae3 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/runtime.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/runtime.lux
@@ -207,7 +207,7 @@
 (def: last_index
   (|>> _.len/1 (_.- (_.int +1))))
 
-(with_expansions [<recur> (as_is ($_ _.then
+(with_expansions [<recur> (these ($_ _.then
                                      (_.set (list lefts) (_.- last_index_right lefts))
                                      (_.set (list tuple) (_.item last_index_right tuple))))]
   (runtime: (tuple::left lefts tuple)
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/runtime.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/runtime.lux
index 94005f819..086c1ff0c 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/runtime.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/runtime.lux
@@ -157,7 +157,7 @@
 (def: last_index
   (|>> ..tuple_size (_.- (_.int +1))))
 
-(with_expansions [<recur> (as_is ($_ _.then
+(with_expansions [<recur> (these ($_ _.then
                                      (_.set (list lefts) (_.- last_index_right lefts))
                                      (_.set (list tuple) (_.item last_index_right tuple))))]
   (runtime: (tuple//left lefts tuple)
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/case.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/case.lux
index d21a2a13e..9515ea518 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/case.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/case.lux
@@ -124,7 +124,7 @@
 
 (def: (weave new old)
   (-> Path Path Path)
-  (with_expansions [<default> (as_is {/.#Alt old new})]
+  (with_expansions [<default> (these {/.#Alt old new})]
     (case [new old]
       [_
        {/.#Alt old_left old_right}]
@@ -203,10 +203,10 @@
   (-> (///complex.Tuple Pattern) Register (List Member))
   (loop [lefts 0
          patterns patterns]
-    (with_expansions [<failure> (as_is (list))
-                      <continue> (as_is (again (++ lefts)
+    (with_expansions [<failure> (these (list))
+                      <continue> (these (again (++ lefts)
                                                tail))
-                      <member> (as_is (let [right? (list.empty? tail)]
+                      <member> (these (let [right? (list.empty? tail)]
                                         [/member.#lefts (if right?
                                                           (-- lefts)
                                                           lefts)
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/function.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/function.lux
index 87abcaff0..e478001a6 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/function.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/function.lux
@@ -56,7 +56,7 @@
       (do [! phase.monad]
         [funcS (phase archive funcA)
          argsS (monad.each ! (phase archive) argsA)]
-        (with_expansions [<apply> (as_is (/.function/apply [funcS argsS]))]
+        (with_expansions [<apply> (these (/.function/apply [funcS argsS]))]
           (case funcS
             (pattern (/.function/abstraction functionS))
             (if (n.= (the /.#arity functionS)
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/loop.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/loop.lux
index 2121e37b9..e8917d6a8 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/loop.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/loop.lux
@@ -170,7 +170,7 @@
       (pattern (/.function/apply [abstraction arguments]))
       (do [! maybe.monad]
         [arguments' (monad.each ! (again false) arguments)]
-        (with_expansions [<application> (as_is (do !
+        (with_expansions [<application> (these (do !
                                                  [abstraction' (again false abstraction)]
                                                  (in (/.function/apply [abstraction' arguments']))))]
           (case abstraction
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/variable.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/variable.lux
index 5429a8f0c..366984646 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/variable.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/variable.lux
@@ -331,7 +331,7 @@
 
 (def: (optimization' [redundancy synthesis])
   (Optimization Synthesis)
-  (with_expansions [<no_op> (as_is {try.#Success [redundancy
+  (with_expansions [<no_op> (these {try.#Success [redundancy
                                                   synthesis]})]
     (case synthesis
       {/.#Simple _}
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/syntax.lux b/stdlib/source/library/lux/tool/compiler/language/lux/syntax.lux
index dbe91632a..18ad84ac7 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/syntax.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/syntax.lux
@@ -273,7 +273,7 @@
     _
     (!failure ..text_parser where offset source_code)))
 
-(with_expansions [<digits> (as_is "0" "1" "2" "3" "4" "5" "6" "7" "8" "9")
+(with_expansions [<digits> (these "0" "1" "2" "3" "4" "5" "6" "7" "8" "9")
                   <non_symbol_chars> (template [<char>]
                                        [(~~ (static <char>))]
 
@@ -340,8 +340,8 @@
   Offset
   0)
 
-(with_expansions [<int_output> (as_is (!number_output source_code start end int.decimal .#Int))
-                  <frac_output> (as_is (!number_output source_code start end frac.decimal .#Frac))
+(with_expansions [<int_output> (these (!number_output source_code start end int.decimal .#Int))
+                  <frac_output> (these (!number_output source_code start end frac.decimal .#Frac))
                   <failure> (!failure ..frac_parser where offset source_code)
                   <frac_separator> (static ..frac_separator)
                   <signs> (template [<sign>]
@@ -445,7 +445,7 @@
   [(!letE [source' symbol] (..short_symbol_parser source_code//size @current_module @source)
           {.#Right [source' [@where {@tag symbol}]]})])
 
-(with_expansions [<simple> (as_is {.#Right [source' ["" simple]]})]
+(with_expansions [<simple> (these {.#Right [source' ["" simple]]})]
   (`` (def: (full_symbol_parser aliases start source)
         (-> Aliases Offset (Parser Symbol))
         (<| (!letE [source' simple] (let [[where offset source_code] source]
@@ -473,10 +473,10 @@
 ...   [expression ...]
 ...   [form "(" [#* expression] ")"])
 
-(with_expansions [<consume_1> (as_is where (!++ offset/0) source_code)
-                  <move_1> (as_is [(!forward 1 where) (!++ offset/0) source_code])
-                  <move_2> (as_is [(!forward 1 where) (!++/2 offset/0) source_code])
-                  <again> (as_is (parse current_module aliases source_code//size))]
+(with_expansions [<consume_1> (these where (!++ offset/0) source_code)
+                  <move_1> (these [(!forward 1 where) (!++ offset/0) source_code])
+                  <move_2> (these [(!forward 1 where) (!++/2 offset/0) source_code])
+                  <again> (these (parse current_module aliases source_code//size))]
 
   (template: (!close closer)
     [{.#Left [<move_1> closer]}])
diff --git a/stdlib/source/library/lux/tool/compiler/meta/io/archive.lux b/stdlib/source/library/lux/tool/compiler/meta/io/archive.lux
index 05f766d5d..3bc8ed418 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/io/archive.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/io/archive.lux
@@ -285,7 +285,7 @@
   (-> (List Custom) (file.System Async) Context Import (List //.Context)
       [descriptor.Module module.ID]
       (Async (Try Cache)))
-  (with_expansions [<cache> (as_is module_name @module module registry)]
+  (with_expansions [<cache> (these module_name @module module registry)]
     (do [! (try.with async.monad)]
       [data (is (Async (Try Binary))
                 (cache/module.cache fs context @module))
diff --git a/stdlib/source/library/lux/tool/interpreter.lux b/stdlib/source/library/lux/tool/interpreter.lux
index 7fc7687be..580dc9d4e 100644
--- a/stdlib/source/library/lux/tool/interpreter.lux
+++ b/stdlib/source/library/lux/tool/interpreter.lux
@@ -87,7 +87,7 @@
      _ (# Console<!> write ..welcome_message)]
     (in state)))
 
-(with_expansions [<Interpretation> (as_is (Operation anchor expression directive [Type Any]))]
+(with_expansions [<Interpretation> (these (Operation anchor expression directive [Type Any]))]
   
   (def: (interpret_directive code)
     (All (_ anchor expression directive)
@@ -169,7 +169,7 @@
     #state (State+ anchor expression directive)
     #source Source]))
 
-(with_expansions [<Context> (as_is (Context anchor expression directive))]
+(with_expansions [<Context> (these (Context anchor expression directive))]
   (def: (read_eval_print context)
     (All (_ anchor expression directive)
       (-> <Context> (Try [<Context> Text])))
diff --git a/stdlib/source/library/lux/type.lux b/stdlib/source/library/lux/type.lux
index 629947eb0..c3c537701 100644
--- a/stdlib/source/library/lux/type.lux
+++ b/stdlib/source/library/lux/type.lux
@@ -502,6 +502,6 @@
                        bodyT <code>.any])
   (in (list (` (..with_expansions [(~+ (|> bindings
                                            (list#each (.function (_ [localT valueT])
-                                                        (list localT (` (..as_is (~ valueT))))))
+                                                        (list localT (` (.these (~ valueT))))))
                                            list#conjoint))]
                  (~ bodyT))))))
diff --git a/stdlib/source/library/lux/world/console.lux b/stdlib/source/library/lux/world/console.lux
index 74700b18b..00346ef03 100644
--- a/stdlib/source/library/lux/world/console.lux
+++ b/stdlib/source/library/lux/world/console.lux
@@ -42,7 +42,7 @@
 
 (exception: .public cannot_close)
 
-(with_expansions [<jvm> (as_is (import: java/lang/String
+(with_expansions [<jvm> (these (import: java/lang/String
                                  "[1]::[0]")
 
                                (import: java/io/Console
@@ -94,9 +94,9 @@
                                             
                                             (def: close
                                               (|>> (exception.except ..cannot_close) in)))))))))]
-  (for @.old (as_is <jvm>)
-       @.jvm (as_is <jvm>)
-       @.js (as_is (ffi.import: Buffer
+  (for @.old (these <jvm>)
+       @.jvm (these <jvm>)
+       @.js (these (ffi.import: Buffer
                      "[1]::[0]"
                      (toString [] ffi.String))
 
@@ -162,7 +162,7 @@
                                 (def: close
                                   (|>> (exception.except ..cannot_close) async#in)))}
                        {.#None})))
-       (as_is)))
+       (these)))
 
 (def: .public (write_line message console)
   (All (_ !) (-> Text (Console !) (! (Try Any))))
diff --git a/stdlib/source/library/lux/world/file.lux b/stdlib/source/library/lux/world/file.lux
index 4e47a182b..2c8db5ea3 100644
--- a/stdlib/source/library/lux/world/file.lux
+++ b/stdlib/source/library/lux/world/file.lux
@@ -25,9 +25,9 @@
                ["[0]" list ("[1]#[0]" functor)]
                ["[0]" dictionary {"+" Dictionary}]]]
              ["[0]" ffi
-              (~~ (.for "JavaScript" (~~ (.as_is ["[0]" node_js]))
-                        "{old}" (~~ (.as_is ["node_js" //control/thread]))
-                        (~~ (.as_is))))]
+              (~~ (.for "JavaScript" (~~ (.these ["[0]" node_js]))
+                        "{old}" (~~ (.these ["node_js" //control/thread]))
+                        (~~ (.these))))]
              [macro
               ["[0]" template]]
              [math
@@ -157,7 +157,7 @@
   [cannot_find_directory]
   )
 
-(with_expansions [<for_jvm> (as_is (ffi.import: java/lang/String
+(with_expansions [<for_jvm> (these (ffi.import: java/lang/String
                                      "[1]::[0]")
 
                                    (`` (ffi.import: java/io/File
@@ -299,11 +299,11 @@
                                                java/io/File::new
                                                (java/io/File::renameTo (java/io/File::new (ffi.as_string destination)))))
                                          )))]
-  (for @.old (as_is <for_jvm>)
-       @.jvm (as_is <for_jvm>)
+  (for @.old (these <for_jvm>)
+       @.jvm (these <for_jvm>)
 
        @.js
-       (as_is (ffi.import: Buffer
+       (these (ffi.import: Buffer
                 "[1]::[0]"
                 ("static" from [Binary] ..Buffer))
               
@@ -509,7 +509,7 @@
                                                node_fs))))))))))
 
        @.python
-       (as_is (type: (Tuple/2 left right)
+       (these (type: (Tuple/2 left right)
                 (Primitive "python_tuple[2]" [left right]))
 
               (ffi.import: PyFile
@@ -630,7 +630,7 @@
                     )))
 
        @.ruby
-       (as_is (ffi.import: Time
+       (these (ffi.import: Time
                 "[1]::[0]"
                 ("static" at [Frac] Time)
                 (to_f [] Frac))
@@ -777,7 +777,7 @@
                     )))
 
        ... @.php
-       ... (as_is (ffi.import: (FILE_APPEND Int))
+       ... (these (ffi.import: (FILE_APPEND Int))
        ...        ... https://www.php.net/manual/en/dir.constants.php
        ...        (ffi.import: (DIRECTORY_SEPARATOR ffi.String))
        ...        ... https://www.php.net/manual/en/function.pack.php
@@ -956,7 +956,7 @@
        ...              ))
        ...        )
        
-       (as_is)))
+       (these)))
 
 (def: .public (exists? monad fs path)
   (All (_ !) (-> (Monad !) (System !) Path (! Bit)))
diff --git a/stdlib/source/library/lux/world/file/watch.lux b/stdlib/source/library/lux/world/file/watch.lux
index 645c4e99e..4266f170c 100644
--- a/stdlib/source/library/lux/world/file/watch.lux
+++ b/stdlib/source/library/lux/world/file/watch.lux
@@ -262,7 +262,7 @@
     [fs
      (..polling fs)]))
 
-(with_expansions [<jvm> (as_is (import: java/lang/Object
+(with_expansions [<jvm> (these (import: java/lang/Object
                                  "[1]::[0]")
 
                                (import: java/lang/String
@@ -461,6 +461,6 @@
                                               (async.future (..default_poll watcher)))
                                             )))))
                                )]
-  (for @.old (as_is <jvm>)
-       @.jvm (as_is <jvm>)
-       (as_is)))
+  (for @.old (these <jvm>)
+       @.jvm (these <jvm>)
+       (these)))
diff --git a/stdlib/source/library/lux/world/net/http/client.lux b/stdlib/source/library/lux/world/net/http/client.lux
index ce2bbc6c3..c992f10ac 100644
--- a/stdlib/source/library/lux/world/net/http/client.lux
+++ b/stdlib/source/library/lux/world/net/http/client.lux
@@ -69,7 +69,7 @@
   (-> Binary [Nat Binary])
   [(binary.size data) data])
 
-(with_expansions [<jvm> (as_is (ffi.import: java/lang/String
+(with_expansions [<jvm> (these (ffi.import: java/lang/String
                                  "[1]::[0]")
 
                                (ffi.import: java/lang/AutoCloseable
@@ -219,9 +219,9 @@
                                          (in [(.nat (ffi.of_int status))
                                               [//.#headers headers
                                                //.#body (..default_body input)]]))))))]
-  (for @.old (as_is <jvm>)
-       @.jvm (as_is <jvm>)
-       (as_is)))
+  (for @.old (these <jvm>)
+       @.jvm (these <jvm>)
+       (these)))
 
 (implementation: .public (async client)
   (-> (Client IO) (Client Async))
diff --git a/stdlib/source/library/lux/world/program.lux b/stdlib/source/library/lux/world/program.lux
index 9bdba0392..4b0703936 100644
--- a/stdlib/source/library/lux/world/program.lux
+++ b/stdlib/source/library/lux/world/program.lux
@@ -24,9 +24,9 @@
                ["[0]" dictionary {"+" Dictionary}]
                ["[0]" list ("[1]#[0]" functor)]]]
              ["[0]" ffi {"+" import:}
-              (~~ (.for "JavaScript" (~~ (.as_is ["[0]" node_js]))
-                        "{old}" (~~ (.as_is ["node_js" //math]))
-                        (~~ (.as_is))))]
+              (~~ (.for "JavaScript" (~~ (.these ["[0]" node_js]))
+                        "{old}" (~~ (.these ["node_js" //math]))
+                        (~~ (.these))))]
              ["[0]" macro
               ["[0]" template]]
              [math
@@ -113,7 +113,7 @@
 ... Do not trust the values of environment variables
 ... https://wiki.sei.cmu.edu/confluence/display/java/ENV02-J.+Do+not+trust+the+values+of+environment+variables
 
-(with_expansions [<jvm> (as_is (import: java/lang/String
+(with_expansions [<jvm> (these (import: java/lang/String
                                  "[1]::[0]")
 
                                (import: (java/util/Iterator a)
@@ -143,9 +143,9 @@
                                            (jvm##consume iterator)}
                                    {.#End}))
                                )]
-  (for @.old (as_is <jvm>)
-       @.jvm (as_is <jvm>)
-       @.js (as_is (def: default_exit!
+  (for @.old (these <jvm>)
+       @.jvm (these <jvm>)
+       @.js (these (def: default_exit!
                      (-> Exit (IO Nothing))
                      (|>> %.int panic! io.io))
 
@@ -201,7 +201,7 @@
                    (import: NodeJs_OS
                      "[1]::[0]"
                      (homedir [] "io" Path)))
-       @.python (as_is (import: os
+       @.python (these (import: os
                          "[1]::[0]"
                          ("static" getcwd [] "io" ffi.String)
                          ("static" _exit [ffi.Integer] "io" Nothing))
@@ -214,7 +214,7 @@
                          "[1]::[0]"
                          ("static" keys [] "io" (Array ffi.String))
                          ("static" get [ffi.String] "io" "?" ffi.String)))
-       @.lua (as_is (ffi.import: LuaFile
+       @.lua (these (ffi.import: LuaFile
                       "[1]::[0]"
                       (read [ffi.String] "io" "?" ffi.String)
                       (close [] "io" ffi.Boolean))
@@ -241,7 +241,7 @@
                           
                           {try.#Failure _}
                           (in default)))))
-       @.ruby (as_is (ffi.import: Env
+       @.ruby (these (ffi.import: Env
                        "[1]::[0]"
                        ("static" keys [] (Array Text))
                        ("static" fetch [Text] "io" "?" Text))
@@ -259,7 +259,7 @@
                        ("static" exit [Int] "io" Nothing)))
 
        ... @.php
-       ... (as_is (ffi.import: (exit [Int] "io" Nothing))
+       ... (these (ffi.import: (exit [Int] "io" Nothing))
        ...        ... https://www.php.net/manual/en/function.exit.php
        ...        (ffi.import: (getcwd [] "io" ffi.String))
        ...        ... https://www.php.net/manual/en/function.getcwd.php
@@ -271,7 +271,7 @@
        ...        )
 
        ... @.scheme
-       ... (as_is (ffi.import: (exit [Int] "io" Nothing))
+       ... (these (ffi.import: (exit [Int] "io" Nothing))
        ...        ... https://srfi.schemers.org/srfi-98/srfi-98.html
        ...        (abstract: Pair Any)
        ...        (abstract: PList Any)
@@ -281,7 +281,7 @@
        ...        (ffi.import: (car "as" head [PList] Pair))
        ...        (ffi.import: (cdr "as" tail [PList] PList)))
        
-       (as_is)))
+       (these)))
 
 (implementation: .public default
   (Program IO)
diff --git a/stdlib/source/library/lux/world/shell.lux b/stdlib/source/library/lux/world/shell.lux
index 1881054bd..e94c0dda4 100644
--- a/stdlib/source/library/lux/world/shell.lux
+++ b/stdlib/source/library/lux/world/shell.lux
@@ -170,7 +170,7 @@
                                (text.enclosed' text.double_quote)))]
     (..policy safe_command safe_argument)))
 
-(with_expansions [<jvm> (as_is (import: java/lang/String
+(with_expansions [<jvm> (these (import: java/lang/String
                                  "[1]::[0]"
                                  (toLowerCase [] java/lang/String))
 
@@ -307,9 +307,9 @@
                                       process (java/lang/ProcessBuilder::start builder)]
                                      (..default_process process))))
                                )]
-  (for @.old (as_is <jvm>)
-       @.jvm (as_is <jvm>)
-       (as_is)))
+  (for @.old (these <jvm>)
+       @.jvm (these <jvm>)
+       (these)))
 
 (type: .public (Mock s)
   (Interface