- Got rid of even more dots.

43 files changed, 174 insertions, 174 deletions

diff --git a/stdlib/source/lux.lux b/stdlib/source/lux.lux
index e5da4a105..65167b8e6 100644
--- a/stdlib/source/lux.lux
+++ b/stdlib/source/lux.lux
@@ -4602,9 +4602,9 @@
     _
     (fail "Wrong syntax for open")))
 
-(macro: #export (|>. tokens)
+(macro: #export (|>> tokens)
   {#;doc "## Similar to the piping macro, but rather than taking an initial object to work on, creates a function for taking it.
-          (|>. (map int/encode) (interpose \" \") (fold text/compose \"\"))
+          (|>> (map int/encode) (interpose \" \") (fold text/compose \"\"))
           ## =>
           (function [<arg>]
             (fold text/compose \"\"
@@ -4614,9 +4614,9 @@
     [g!arg (gensym "arg")]
     (return (list (` (function [(~ g!arg)] (|> (~ g!arg) (~@ tokens))))))))
 
-(macro: #export (<|. tokens)
+(macro: #export (<<| tokens)
   {#;doc "## Similar to the piping macro, but rather than taking an initial object to work on, creates a function for taking it.
-          (<|. (fold text/compose \"\") (interpose \" \") (map int/encode))
+          (<<| (fold text/compose \"\") (interpose \" \") (map int/encode))
           ## =>
           (function [<arg>]
             (fold text/compose \"\"
@@ -4689,7 +4689,7 @@
              (do Monad<Meta>
                [*defs (exported-defs module-name)
                 _ (test-referrals module-name *defs -defs)]
-               (wrap (filter (|>. (is-member? -defs) not) *defs)))
+               (wrap (filter (|>> (is-member? -defs) not) *defs)))
 
              #Nothing
              (wrap (list)))
@@ -4728,11 +4728,11 @@
                    (list (' #refer) (' #all))
                    
                    (#Only defs)
-                   (list (' #refer) (`' (#only (~@ (map (|>. [""] symbol$)
+                   (list (' #refer) (`' (#only (~@ (map (|>> [""] symbol$)
                                                         defs)))))
                    
                    (#Exclude defs)
-                   (list (' #refer) (`' (#exclude (~@ (map (|>. [""] symbol$)
+                   (list (' #refer) (`' (#exclude (~@ (map (|>> [""] symbol$)
                                                            defs)))))
                    
                    #Nothing
@@ -5881,7 +5881,7 @@
                      ((~ (symbol$ ["" name])) (~ g!tokens) (~ g!compiler))
                      (~ anns)
                      (case (~ g!tokens)
-                       (^ (list (~@ (map (|>. [""] symbol$) args))))
+                       (^ (list (~@ (map (|>> [""] symbol$) args))))
                        (#;Right [(~ g!compiler)
                                  (list (` (~ (replace-syntax rep-env input-template))))])
 
diff --git a/stdlib/source/lux/concurrency/actor.lux b/stdlib/source/lux/concurrency/actor.lux
index 18bdaa61d..abda284c0 100644
--- a/stdlib/source/lux/concurrency/actor.lux
+++ b/stdlib/source/lux/concurrency/actor.lux
@@ -146,7 +146,7 @@
 (do-template [<with> <resolve> <tag> <desc>]
   [(def: #hidden (<with> name)
      (-> Ident cs;Annotations cs;Annotations)
-     (|>. (#;Cons [(ident-for <tag>)
+     (|>> (#;Cons [(ident-for <tag>)
                    (code;tag name)])))
    
    (def: #hidden (<resolve> name)
@@ -172,7 +172,7 @@
 (do-template [<name> <desc>]
   [(def: #hidden <name>
      (-> Text Text)
-     (|>. (format <desc> "@")))]
+     (|>> (format <desc> "@")))]
 
   [state-name    "State"]
   [behavior-name "Behavior"]
@@ -315,7 +315,7 @@
              g!actor-vars (list/map code;local-symbol actor-vars)
              g!actor (` ((~ (code;symbol actor-name)) (~@ g!actor-vars)))
              g!all-vars (|> (get@ #vars signature) (list/map code;local-symbol) (list/compose g!actor-vars))
-             g!inputsC (|> (get@ #inputs signature) (list/map (|>. product;left code;local-symbol)))
+             g!inputsC (|> (get@ #inputs signature) (list/map (|>> product;left code;local-symbol)))
              g!inputsT (|> (get@ #inputs signature) (list/map product;right))
              g!state (|> signature (get@ #state) code;local-symbol)
              g!self (|> signature (get@ #self) code;local-symbol)
@@ -323,11 +323,11 @@
                              (if (list;empty? actor-vars)
                                (list)
                                (|> actor-vars list;size n/dec
-                                   (list;n/range +0) (list/map (|>. code;nat (~) ($) (`))))))
+                                   (list;n/range +0) (list/map (|>> code;nat (~) ($) (`))))))
              ref-replacements (|> (if (list;empty? actor-vars)
                                     (list)
                                     (|> actor-vars list;size n/dec
-                                        (list;n/range +0) (list/map (|>. code;nat (~) ($) (`)))))
+                                        (list;n/range +0) (list/map (|>> code;nat (~) ($) (`)))))
                                   (: (List Code))
                                   (list;zip2 g!all-vars)
                                   (: (List [Code Code])))
diff --git a/stdlib/source/lux/concurrency/promise.lux b/stdlib/source/lux/concurrency/promise.lux
index 9baaded11..9984ad96a 100644
--- a/stdlib/source/lux/concurrency/promise.lux
+++ b/stdlib/source/lux/concurrency/promise.lux
@@ -82,7 +82,7 @@
       (io;run (f value))
 
       #;None
-      (let [new (update@ #observers (|>. (#;Cons f)) old)]
+      (let [new (update@ #observers (|>> (#;Cons f)) old)]
         (if (io;run (atom;compare-and-swap old new promise))
           []
           (await f promise))))))
diff --git a/stdlib/source/lux/concurrency/space.lux b/stdlib/source/lux/concurrency/space.lux
index 87a1d3c22..091cae7fc 100644
--- a/stdlib/source/lux/concurrency/space.lux
+++ b/stdlib/source/lux/concurrency/space.lux
@@ -42,7 +42,7 @@
   (All [e s] (-> (A;Actor s) (Action e s) (Space e) (T;Task Unit)))
   (send-space (function [subscriptions _]
                 (T;return (|> subscriptions
-                              (list;filter (|>. product;left (:! []) (is (:! [] actor)) not))
+                              (list;filter (|>> product;left (:! []) (is (:! [] actor)) not))
                               (#;Cons [actor action]))))
               space))
 
@@ -50,7 +50,7 @@
   (All [e s] (-> (A;Actor s) (Space e) (T;Task Unit)))
   (send-space (function [subscriptions _]
                 (T;return (|> subscriptions
-                              (list;filter (|>. product;left (:! []) (is (:! [] actor)) not)))))
+                              (list;filter (|>> product;left (:! []) (is (:! [] actor)) not)))))
               space))
 
 (def: #export (emit event space sender)
diff --git a/stdlib/source/lux/concurrency/stm.lux b/stdlib/source/lux/concurrency/stm.lux
index b845c3538..4aaee3580 100644
--- a/stdlib/source/lux/concurrency/stm.lux
+++ b/stdlib/source/lux/concurrency/stm.lux
@@ -47,7 +47,7 @@
 
 (def: raw-read
   (All [a] (-> (Var a) a))
-  (|>. atom;read io;run (get@ #value)))
+  (|>> atom;read io;run (get@ #value)))
 
 (def: (find-var-value var tx)
   (All [a] (-> (Var a) Tx (Maybe a)))
diff --git a/stdlib/source/lux/concurrency/task.lux b/stdlib/source/lux/concurrency/task.lux
index 374acee46..b65d7c563 100644
--- a/stdlib/source/lux/concurrency/task.lux
+++ b/stdlib/source/lux/concurrency/task.lux
@@ -27,7 +27,7 @@
 
 (def: #export (try computation)
   (All [a] (-> (Task a) (Task (E;Error a))))
-  (:: P;Functor<Promise> map (|>. #E;Success) computation))
+  (:: P;Functor<Promise> map (|>> #E;Success) computation))
 
 (struct: #export _ (F;Functor Task)
   (def: (map f fa)
@@ -76,4 +76,4 @@
 
 (def: #export (from-promise promise)
   (All [a] (-> (P;Promise a) (Task a)))
-  (:: P;Functor<Promise> map (|>. #E;Success) promise))
+  (:: P;Functor<Promise> map (|>> #E;Success) promise))
diff --git a/stdlib/source/lux/control/applicative.lux b/stdlib/source/lux/control/applicative.lux
index 935fda18e..dead34d03 100644
--- a/stdlib/source/lux/control/applicative.lux
+++ b/stdlib/source/lux/control/applicative.lux
@@ -20,7 +20,7 @@
   (def: functor (functor;compose (get@ #functor Applicative<F>)
                                  (get@ #functor Applicative<G>)))
   (def: wrap
-    (|>. (:: Applicative<G> wrap) (:: Applicative<F> wrap)))
+    (|>> (:: Applicative<G> wrap) (:: Applicative<F> wrap)))
   (def: (apply fgf fgx)
     ## (let [fgf' (:: Applicative<F> apply
     ##                (:: Applicative<F> wrap (:: Applicative<G> apply))
diff --git a/stdlib/source/lux/control/codec.lux b/stdlib/source/lux/control/codec.lux
index 55095ee3c..fdd571a10 100644
--- a/stdlib/source/lux/control/codec.lux
+++ b/stdlib/source/lux/control/codec.lux
@@ -18,7 +18,7 @@
     (-> (Codec c b) (Codec b a)
         (Codec c a)))
   (def: encode
-    (|>. (:: Codec<b,a> encode)
+    (|>> (:: Codec<b,a> encode)
          (:: Codec<c,b> encode)))
 
   (def: (decode cy)
diff --git a/stdlib/source/lux/control/concatenative.lux b/stdlib/source/lux/control/concatenative.lux
index ef66ffac8..9451fa111 100644
--- a/stdlib/source/lux/control/concatenative.lux
+++ b/stdlib/source/lux/control/concatenative.lux
@@ -38,7 +38,7 @@
   (s;Syntax Stack)
   (p;either (p;seq (p;maybe bottom^)
                    (s;tuple (p;some s;any)))
-            (p;seq (|> bottom^ (p/map (|>. #;Some)))
+            (p;seq (|> bottom^ (p/map (|>> #;Some)))
                    (p/wrap (list)))))
 
 (def: (stack-fold tops bottom)
@@ -68,8 +68,8 @@
                              (code;replace (code;local-symbol from) to pre))
                            aliased
                            aliases))]
-    (case [(|> inputs (get@ #bottom) (m/map (|>. code;nat (~) #;Bound (`))))
-           (|> outputs (get@ #bottom) (m/map (|>. code;nat (~) #;Bound (`))))]
+    (case [(|> inputs (get@ #bottom) (m/map (|>> code;nat (~) #;Bound (`))))
+           (|> outputs (get@ #bottom) (m/map (|>> code;nat (~) #;Bound (`))))]
       [(#;Some bottomI) (#;Some bottomO)]
       (monad;do @
         [inputC (singleton (macro;expand-all (stack-fold (get@ #top inputs) bottomI)))
@@ -104,7 +104,7 @@
     (` (;;push (~ command)))
 
     [_ (#;Tuple block)]
-    (` (;;push (|>. (~@ (L/map prepare block)))))
+    (` (;;push (|>> (~@ (L/map prepare block)))))
 
     _
     command))
@@ -119,7 +119,7 @@
   (wrap (list (` (def: (~@ (csw;export export)) (~ (code;local-symbol name))
                    (~ (csw;annotations annotations))
                    (~ type)
-                   (|>. (~@ (L/map prepare commands))))))))
+                   (|>> (~@ (L/map prepare commands))))))))
 
 (syntax: #export (apply [arity (|> s;nat (p;filter (;n/> +0)))])
   (with-gensyms [g!func g!stack g!output]
@@ -310,14 +310,14 @@
     (=> [(=> ..a ..b) (=> ..b ..c)]
         [(=> ..a ..c)]))
   (function [[[stack f] g]]
-    [stack (|>. f g)]))
+    [stack (|>> f g)]))
 
 (def: #export curry
   (All [..a ..b a]
     (=> ..a [a (=> ..a [a] ..b)]
         ..a [(=> ..a ..b)]))
   (function [[[stack arg] quote]]
-    [stack (|>. (push arg) quote)]))
+    [stack (|>> (push arg) quote)]))
 
 ## [Words]
 (word: #export when
diff --git a/stdlib/source/lux/control/reader.lux b/stdlib/source/lux/control/reader.lux
index b080d75ec..41ac32f08 100644
--- a/stdlib/source/lux/control/reader.lux
+++ b/stdlib/source/lux/control/reader.lux
@@ -41,7 +41,7 @@
 (def: #export (local change proc)
   {#;doc "Run computation with a locally-modified environment."}
   (All [r a] (-> (-> r r) (Reader r a) (Reader r a)))
-  (|>. change proc))
+  (|>> change proc))
 
 (def: #export (run env proc)
   (All [r a] (-> r (Reader r a) a))
diff --git a/stdlib/source/lux/data/coll/dict.lux b/stdlib/source/lux/data/coll/dict.lux
index 0273dc852..5ab078e28 100644
--- a/stdlib/source/lux/data/coll/dict.lux
+++ b/stdlib/source/lux/data/coll/dict.lux
@@ -148,7 +148,7 @@
 ## Given a top-limit for indices, produces all indices in [0, R).
 (def: indices-for
   (-> Nat (List Index))
-  (|>. n/dec (list;n/range +0)))
+  (|>> n/dec (list;n/range +0)))
 
 ## Increases the level-shift by the branching-exponent, to explore
 ## levels further down the tree.
@@ -514,7 +514,7 @@
     ## For #Collisions nodes, do a linear scan of all the known KV-pairs.
     (#Collisions _hash _colls)
     (:: Monad<Maybe> map product;right
-        (array;find (|>. product;left (:: Hash<k> = key))
+        (array;find (|>> product;left (:: Hash<k> = key))
                     _colls))
     ))
 
@@ -610,11 +610,11 @@
 
 (def: #export size
   (All [k v] (-> (Dict k v) Nat))
-  (|>. product;right size'))
+  (|>> product;right size'))
 
 (def: #export empty?
   (All [k v] (-> (Dict k v) Bool))
-  (|>. size (n/= +0)))
+  (|>> size (n/= +0)))
 
 (def: #export (entries dict)
   (All [k v] (-> (Dict k v) (List [k v])))
diff --git a/stdlib/source/lux/data/coll/list.lux b/stdlib/source/lux/data/coll/list.lux
index d00428478..6de9eeaa2 100644
--- a/stdlib/source/lux/data/coll/list.lux
+++ b/stdlib/source/lux/data/coll/list.lux
@@ -285,7 +285,7 @@
 (struct: #export _ (Monad List)
   (def: applicative Applicative<List>)
 
-  (def: join (|>. reverse (fold compose identity))))
+  (def: join (|>> reverse (fold compose identity))))
 
 ## [Functions]
 (def: #export (sort < xs)
diff --git a/stdlib/source/lux/data/coll/queue.lux b/stdlib/source/lux/data/coll/queue.lux
index dd26ccc32..2d45dd995 100644
--- a/stdlib/source/lux/data/coll/queue.lux
+++ b/stdlib/source/lux/data/coll/queue.lux
@@ -25,7 +25,7 @@
 
 (def: #export peek
   (All [a] (-> (Queue a) (Maybe a)))
-  (|>. (get@ #front) list;head))
+  (|>> (get@ #front) list;head))
 
 (def: #export (size queue)
   (All [a] (-> (Queue a) Nat))
@@ -35,7 +35,7 @@
 
 (def: #export empty?
   (All [a] (-> (Queue a) Bool))
-  (|>. (get@ #front) list;empty?))
+  (|>> (get@ #front) list;empty?))
 
 (def: #export (member? Eq<a> queue member)
   (All [a] (-> (Eq a) (Queue a) a Bool))
@@ -65,7 +65,7 @@
     (set@ #front (list val) queue)
 
     _
-    (update@ #rear (|>. (#;Cons val)) queue)))
+    (update@ #rear (|>> (#;Cons val)) queue)))
 
 (struct: #export (Eq<Queue> Eq<a>)
   (All [a] (-> (Eq a) (Eq (Queue a))))
diff --git a/stdlib/source/lux/data/coll/sequence.lux b/stdlib/source/lux/data/coll/sequence.lux
index d8c3ddfb9..b97a51450 100644
--- a/stdlib/source/lux/data/coll/sequence.lux
+++ b/stdlib/source/lux/data/coll/sequence.lux
@@ -263,9 +263,9 @@
              (n/< vec-size idx))
       (if (n/>= (tail-off vec-size) idx)
         (|> vec
-            ## (update@ #tail (|>. array;clone (array;write (branch-idx idx) val)))
+            ## (update@ #tail (|>> array;clone (array;write (branch-idx idx) val)))
             (update@ #tail (: (-> (Base ($ +0)) (Base ($ +0)))
-                              (|>. array;clone (array;write (branch-idx idx) val))))
+                              (|>> array;clone (array;write (branch-idx idx) val))))
             )
         (|> vec
             (update@ #root (put' (get@ #level vec) idx val))))
@@ -363,7 +363,7 @@
 
 (def: #export empty?
   (All [a] (-> (Sequence a) Bool))
-  (|>. (get@ #size) (n/= +0)))
+  (|>> (get@ #size) (n/= +0)))
 
 ## [Syntax]
 (syntax: #export (sequence [elems (p;some s;any)])
diff --git a/stdlib/source/lux/data/coll/tree/rose.lux b/stdlib/source/lux/data/coll/tree/rose.lux
index 546982dba..e86dac944 100644
--- a/stdlib/source/lux/data/coll/tree/rose.lux
+++ b/stdlib/source/lux/data/coll/tree/rose.lux
@@ -37,7 +37,7 @@
 
 (def: tree^
   (Syntax Tree-Code)
-  (|> (|>. p;some s;record (p;seq s;any))
+  (|> (|>> p;some s;record (p;seq s;any))
       p;rec
       p;some
       s;record
diff --git a/stdlib/source/lux/data/coll/tree/zipper.lux b/stdlib/source/lux/data/coll/tree/zipper.lux
index c8f9a9059..e355f7238 100644
--- a/stdlib/source/lux/data/coll/tree/zipper.lux
+++ b/stdlib/source/lux/data/coll/tree/zipper.lux
@@ -168,7 +168,7 @@
 
       (#;Some next)
       (#;Some (|> next
-                  (update@ [#node #rose;children] (|>. list;tail (maybe;default (list)))))))
+                  (update@ [#node #rose;children] (|>> list;tail (maybe;default (list)))))))
 
     (#;Cons next side)
     (#;Some (|> zipper
diff --git a/stdlib/source/lux/data/color.lux b/stdlib/source/lux/data/color.lux
index 17546902a..3340629c3 100644
--- a/stdlib/source/lux/data/color.lux
+++ b/stdlib/source/lux/data/color.lux
@@ -8,18 +8,18 @@
 (def: rgb Nat +256)
 (def: top Nat (n/dec rgb))
 
-(def: nat-to-frac (-> Nat Frac) (|>. nat-to-int int-to-frac))
-(def: frac-to-nat (-> Frac Nat) (|>. frac-to-int int-to-nat))
+(def: nat-to-frac (-> Nat Frac) (|>> nat-to-int int-to-frac))
+(def: frac-to-nat (-> Frac Nat) (|>> frac-to-int int-to-nat))
 
 (def: rgb-factor Frac (nat-to-frac top))
 
 (def: scale-down
   (-> Nat Frac)
-  (|>. nat-to-frac (f// rgb-factor)))
+  (|>> nat-to-frac (f// rgb-factor)))
 
 (def: scale-up
   (-> Frac Nat)
-  (|>. (f/* rgb-factor) frac-to-nat))
+  (|>> (f/* rgb-factor) frac-to-nat))
 
 (opaque: #export Color {}
   {#red Nat
@@ -34,7 +34,7 @@
 
   (def: #export unpack
     (-> Color [Nat Nat Nat])
-    (|>. @repr))
+    (|>> @repr))
 
   (struct: #export _ (eq;Eq Color)
     (def: (= reference sample)
@@ -298,7 +298,7 @@
     (let [[hue saturation brightness] (to-hsb color)
           slice (|> 1.0 (f// (nat-to-frac results)))]
       (|> (list;n/range +0 (n/dec results))
-          (L/map (|>. nat-to-frac
+          (L/map (|>> nat-to-frac
                       (f/* slice)
                       (f/+ brightness)
                       normalize
diff --git a/stdlib/source/lux/data/format/html.lux b/stdlib/source/lux/data/format/html.lux
index e594b2232..e33e7d4ee 100644
--- a/stdlib/source/lux/data/format/html.lux
+++ b/stdlib/source/lux/data/format/html.lux
@@ -27,7 +27,7 @@
 
 (def: attrs-to-text
   (-> Attributes Text)
-  (|>. (L/map (function [[key val]] (format key "=" "\"" (text val) "\"")))
+  (|>> (L/map (function [[key val]] (format key "=" "\"" (text val) "\"")))
        (text;join-with " ")))
 
 (def: #export (tag name attrs children)
diff --git a/stdlib/source/lux/data/format/xml.lux b/stdlib/source/lux/data/format/xml.lux
index 64b45851d..957628e94 100644
--- a/stdlib/source/lux/data/format/xml.lux
+++ b/stdlib/source/lux/data/format/xml.lux
@@ -85,7 +85,7 @@
 (def: spaced^
   (All [a] (-> (l;Lexer a) (l;Lexer a)))
   (let [white-space^ (p;some l;space)]
-    (|>. (p;before white-space^)
+    (|>> (p;before white-space^)
          (p;after white-space^))))
 
 (def: attr-value^
@@ -140,7 +140,7 @@
   (l;Lexer XML)
   (|> (p;either cdata^
                 (l;many xml-char^))
-      (p/map (|>. #Text))))
+      (p/map (|>> #Text))))
 
 (def: xml^
   (l;Lexer XML)
diff --git a/stdlib/source/lux/data/maybe.lux b/stdlib/source/lux/data/maybe.lux
index c45e756a3..3c247eea3 100644
--- a/stdlib/source/lux/data/maybe.lux
+++ b/stdlib/source/lux/data/maybe.lux
@@ -98,4 +98,4 @@
 
 (def: #export assume
   (All [a] (-> (Maybe a) a))
-  (|>. (default (undefined))))
+  (|>> (default (undefined))))
diff --git a/stdlib/source/lux/data/number.lux b/stdlib/source/lux/data/number.lux
index 2749d566c..8e330e9d5 100644
--- a/stdlib/source/lux/data/number.lux
+++ b/stdlib/source/lux/data/number.lux
@@ -869,4 +869,4 @@
 
 (struct: #export _ (Hash Deg)
   (def: eq Eq<Deg>)
-  (def: hash (|>. (:! Nat))))
+  (def: hash (|>> (:! Nat))))
diff --git a/stdlib/source/lux/data/number/complex.lux b/stdlib/source/lux/data/number/complex.lux
index 15fee133f..783c8eb81 100644
--- a/stdlib/source/lux/data/number/complex.lux
+++ b/stdlib/source/lux/data/number/complex.lux
@@ -39,7 +39,7 @@
   (or (number;not-a-number? (get@ #real complex))
       (number;not-a-number? (get@ #imaginary complex))))
 
-(def: #export (c.= param input)
+(def: #export (c/= param input)
   (-> Complex Complex Bool)
   (and (f/= (get@ #real param)
             (get@ #real input))
@@ -54,35 +54,35 @@
       #imaginary (<op> (get@ #imaginary param)
                        (get@ #imaginary input))})]
 
-  [c.+ f/+]
-  [c.- f/-]
+  [c/+ f/+]
+  [c/- f/-]
   )
 
 (struct: #export _ (Eq Complex)
-  (def: = c.=))
+  (def: = c/=))
 
-(def: #export c.negate
+(def: #export c/negate
   (-> Complex Complex)
-  (|>. (update@ #real frac/negate)
+  (|>> (update@ #real frac/negate)
        (update@ #imaginary frac/negate)))
 
-(def: #export c.signum
+(def: #export c/signum
   (-> Complex Complex)
-  (|>. (update@ #real frac/signum)
+  (|>> (update@ #real frac/signum)
        (update@ #imaginary frac/signum)))
 
 (def: #export conjugate
   (-> Complex Complex)
   (update@ #imaginary frac/negate))
 
-(def: #export (c.*' param input)
+(def: #export (c/*' param input)
   (-> Frac Complex Complex)
   {#real (f/* param
               (get@ #real input))
    #imaginary (f/* param
                    (get@ #imaginary input))})
 
-(def: #export (c.* param input)
+(def: #export (c/* param input)
   (-> Complex Complex Complex)
   {#real (f/- (f/* (get@ #imaginary param)
                    (get@ #imaginary input))
@@ -93,7 +93,7 @@
                    (f/* (get@ #imaginary param)
                         (get@ #real input)))})
 
-(def: #export (c./ param input)
+(def: #export (c// param input)
   (-> Complex Complex Complex)
   (let [(^slots [#real #imaginary]) param]
     (if (f/< (frac/abs imaginary)
@@ -107,19 +107,19 @@
         {#real (|> (get@ #imaginary input) (f/* quot) (f/+ (get@ #real input)) (f// denom))
          #imaginary (|> (get@ #imaginary input) (f/- (f/* quot (get@ #real input))) (f// denom))}))))
 
-(def: #export (c./' param subject)
+(def: #export (c//' param subject)
   (-> Frac Complex Complex)
   (let [(^slots [#real #imaginary]) subject]
     {#real (f// param real)
      #imaginary (f// param imaginary)}))
 
-(def: #export (c.% param input)
+(def: #export (c/% param input)
   (-> Complex Complex Complex)
-  (let [scaled (c./ param input)
+  (let [scaled (c// param input)
         quotient (|> scaled
                      (update@ #real math;floor)
                      (update@ #imaginary math;floor))]
-    (c.- (c.* quotient param)
+    (c/- (c/* quotient param)
          input)))
 
 (def: #export (cos subject)
@@ -172,7 +172,7 @@
     {#real (f// d (math;sinh r2))
      #imaginary (f// d (math;sin i2))}))
 
-(def: #export (c.abs subject)
+(def: #export (c/abs subject)
   (-> Complex Complex)
   (let [(^slots [#real #imaginary]) subject]
     (complex (if (f/< (frac/abs imaginary)
@@ -190,16 +190,16 @@
                ))))
 
 (struct: #export _ (Number Complex)
-  (def: + c.+)
-  (def: - c.-)
-  (def: * c.*)
-  (def: / c./)
-  (def: % c.%)
+  (def: + c/+)
+  (def: - c/-)
+  (def: * c/*)
+  (def: / c//)
+  (def: % c/%)
   (def: (negate x)
     (|> x
         (update@ #real frac/negate)
         (update@ #imaginary frac/negate)))
-  (def: abs c.abs)
+  (def: abs c/abs)
   (def: (signum x)
     (|> x
         (update@ #real frac/signum)
@@ -215,7 +215,7 @@
 (def: #export (log subject)
   (-> Complex Complex)
   (let [(^slots [#real #imaginary]) subject]
-    {#real (|> subject c.abs (get@ #real) math;log)
+    {#real (|> subject c/abs (get@ #real) math;log)
      #imaginary (math;atan2 real imaginary)}))
 
 (do-template [<name> <type> <op>]
@@ -223,8 +223,8 @@
      (-> <type> Complex Complex)
      (|> input log (<op> param) exp))]
 
-  [pow  Complex c.*]
-  [pow' Frac    c.*']
+  [pow  Complex c/*]
+  [pow' Frac    c/*']
   )
 
 (def: (copy-sign sign magnitude)
@@ -233,7 +233,7 @@
 
 (def: #export (root2 (^@ input (^slots [#real #imaginary])))
   (-> Complex Complex)
-  (let [t (|> input c.abs (get@ #real) (f/+ (frac/abs real)) (f// 2.0) math;root2)]
+  (let [t (|> input c/abs (get@ #real) (f/+ (frac/abs real)) (f// 2.0) math;root2)]
     (if (f/>= 0.0 real)
       {#real t
        #imaginary (f// (f/* 2.0 t)
@@ -244,7 +244,7 @@
 
 (def: #export (root2-1z input)
   (-> Complex Complex)
-  (|> (complex 1.0) (c.- (c.* input input)) root2))
+  (|> (complex 1.0) (c/- (c/* input input)) root2))
 
 (def: #export (reciprocal (^slots [#real #imaginary]))
   (-> Complex Complex)
@@ -264,25 +264,25 @@
 (def: #export (acos input)
   (-> Complex Complex)
   (|> input
-      (c.+ (|> input root2-1z (c.* i)))
+      (c/+ (|> input root2-1z (c/* i)))
       log
-      (c.* (c.negate i))))
+      (c/* (c/negate i))))
 
 (def: #export (asin input)
   (-> Complex Complex)
   (|> input
       root2-1z
-      (c.+ (c.* i input))
+      (c/+ (c/* i input))
       log
-      (c.* (c.negate i))))
+      (c/* (c/negate i))))
 
 (def: #export (atan input)
   (-> Complex Complex)
   (|> input
-      (c.+ i)
-      (c./ (c.- input i))
+      (c/+ i)
+      (c// (c/- input i))
       log
-      (c.* (c./ (complex 2.0) i))))
+      (c/* (c// (complex 2.0) i))))
 
 (def: #export (argument (^slots [#real #imaginary]))
   (-> Complex Frac)
@@ -293,7 +293,7 @@
   (if (n/= +0 nth)
     (list)
     (let [r-nth (|> nth nat-to-int int-to-frac)
-          nth-root-of-abs (|> input c.abs (get@ #real) (math;pow (f// r-nth 1.0)))
+          nth-root-of-abs (|> input c/abs (get@ #real) (math;pow (f// r-nth 1.0)))
           nth-phi (|> input argument (f// r-nth))
           slice (|> math;pi (f/* 2.0) (f// r-nth))]
       (|> (list;n/range +0 (n/dec nth))
diff --git a/stdlib/source/lux/data/number/ratio.lux b/stdlib/source/lux/data/number/ratio.lux
index c056e740a..23e128464 100644
--- a/stdlib/source/lux/data/number/ratio.lux
+++ b/stdlib/source/lux/data/number/ratio.lux
@@ -27,21 +27,21 @@
     {#numerator (n// common numerator)
      #denominator (n// common denominator)}))
 
-(def: #export (q.* param input)
+(def: #export (r/* param input)
   (-> Ratio Ratio Ratio)
   (normalize [(n/* (get@ #numerator param)
                    (get@ #numerator input))
               (n/* (get@ #denominator param)
                    (get@ #denominator input))]))
 
-(def: #export (q./ param input)
+(def: #export (r// param input)
   (-> Ratio Ratio Ratio)
   (normalize [(n/* (get@ #denominator param)
                    (get@ #numerator input))
               (n/* (get@ #numerator param)
                    (get@ #denominator input))]))
 
-(def: #export (q.+ param input)
+(def: #export (r/+ param input)
   (-> Ratio Ratio Ratio)
   (normalize [(n/+ (n/* (get@ #denominator input)
                         (get@ #numerator param))
@@ -50,7 +50,7 @@
               (n/* (get@ #denominator param)
                    (get@ #denominator input))]))
 
-(def: #export (q.- param input)
+(def: #export (r/- param input)
   (-> Ratio Ratio Ratio)
   (normalize [(n/- (n/* (get@ #denominator input)
                         (get@ #numerator param))
@@ -59,16 +59,16 @@
               (n/* (get@ #denominator param)
                    (get@ #denominator input))]))
 
-(def: #export (q.% param input)
+(def: #export (r/% param input)
   (-> Ratio Ratio Ratio)
   (let [quot (n// (n/* (get@ #denominator input)
                        (get@ #numerator param))
                   (n/* (get@ #denominator param)
                        (get@ #numerator input)))]
-    (q.- (update@ #numerator (n/* quot) param)
+    (r/- (update@ #numerator (n/* quot) param)
          input)))
 
-(def: #export (q.= param input)
+(def: #export (r/= param input)
   (-> Ratio Ratio Bool)
   (and (n/= (get@ #numerator param)
             (get@ #numerator input))
@@ -83,10 +83,10 @@
                 (n/* (get@ #denominator param)
                      (get@ #numerator input)))))]
 
-  [q.<  n/<]
-  [q.<= n/<=]
-  [q.>  n/>]
-  [q.>= n/>=]
+  [r/<  n/<]
+  [r/<= n/<=]
+  [r/>  n/>]
+  [r/>= n/>=]
   )
 
 (do-template [<name> <comp>]
@@ -96,26 +96,26 @@
        right
        left))]
 
-  [q.min q.<]
-  [q.max q.>]
+  [r/min r/<]
+  [r/max r/>]
   )
 
 (struct: #export _ (Eq Ratio)
-  (def: = q.=))
+  (def: = r/=))
 
 (struct: #export _ (order;Order Ratio)
   (def: eq Eq<Ratio>)
-  (def: < q.<)
-  (def: <= q.<=)
-  (def: > q.>)
-  (def: >= q.>=))
+  (def: < r/<)
+  (def: <= r/<=)
+  (def: > r/>)
+  (def: >= r/>=))
 
 (struct: #export _ (Number Ratio)
-  (def: + q.+)
-  (def: - q.-)
-  (def: * q.*)
-  (def: / q./)
-  (def: % q.%)
+  (def: + r/+)
+  (def: - r/-)
+  (def: * r/*)
+  (def: / r//)
+  (def: % r/%)
   (def: (negate (^slots [#numerator #denominator]))
     {#numerator denominator
      #denominator numerator})
@@ -128,11 +128,11 @@
 
 (def: part-encode
   (-> Nat Text)
-  (|>. n/encode (text;split +1) maybe;assume product;right))
+  (|>> n/encode (text;split +1) maybe;assume product;right))
 
 (def: part-decode
   (-> Text (E;Error Nat))
-  (|>. (format "+") n/decode))
+  (|>> (format "+") n/decode))
 
 (struct: #export _ (Codec Text Ratio)
   (def: (encode (^slots [#numerator #denominator]))
diff --git a/stdlib/source/lux/data/tainted.lux b/stdlib/source/lux/data/tainted.lux
index ffe128022..d65e9c56b 100644
--- a/stdlib/source/lux/data/tainted.lux
+++ b/stdlib/source/lux/data/tainted.lux
@@ -8,11 +8,11 @@
 
   (def: #export taint
     (All [a] (-> a (Tainted a)))
-    (|>. @opaque))
+    (|>> @opaque))
 
   (def: #export trust
     (All [a] (-> (Tainted a) a))
-    (|>. @repr)))
+    (|>> @repr)))
 
 (def: #export (validate pred tainted)
   (All [a] (-> (-> a Bool) (Tainted a) (Maybe a)))
diff --git a/stdlib/source/lux/data/text.lux b/stdlib/source/lux/data/text.lux
index d4476b5c2..534901e98 100644
--- a/stdlib/source/lux/data/text.lux
+++ b/stdlib/source/lux/data/text.lux
@@ -185,7 +185,7 @@
   (-> (List Text) Text)
   (let [(^open) list;Fold<List>
         (^open) Monoid<Text>]
-    (|>. list;reverse (fold text/compose identity))))
+    (|>> list;reverse (fold text/compose identity))))
 
 (def: #export (join-with sep texts)
   (-> Text (List Text) Text)
diff --git a/stdlib/source/lux/data/text/regex.lux b/stdlib/source/lux/data/text/regex.lux
index d38111d7d..37cb091ee 100644
--- a/stdlib/source/lux/data/text/regex.lux
+++ b/stdlib/source/lux/data/text/regex.lux
@@ -78,9 +78,9 @@
 (def: re-range^
   (l;Lexer Code)
   (do p;Monad<Parser>
-    [from (|> regex-char^ (:: @ map (|>. (text;nth +0) maybe;assume)))
+    [from (|> regex-char^ (:: @ map (|>> (text;nth +0) maybe;assume)))
      _ (l;this "-")
-     to (|> regex-char^ (:: @ map (|>. (text;nth +0) maybe;assume)))]
+     to (|> regex-char^ (:: @ map (|>> (text;nth +0) maybe;assume)))]
     (wrap (` (l;range (~ (code;nat from)) (~ (code;nat to)))))))
 
 (def: re-char^
diff --git a/stdlib/source/lux/host.jvm.lux b/stdlib/source/lux/host.jvm.lux
index 12f6d7abf..76f54d67f 100644
--- a/stdlib/source/lux/host.jvm.lux
+++ b/stdlib/source/lux/host.jvm.lux
@@ -343,7 +343,7 @@
 (def: (get-import name imports)
   (-> Text ClassImports (Maybe Text))
   (:: maybe;Functor<Maybe> map product;right
-      (list;find (|>. product;left (text/= name))
+      (list;find (|>> product;left (text/= name))
                  imports)))
 
 (def: (add-import short+full imports)
diff --git a/stdlib/source/lux/lang/syntax.lux b/stdlib/source/lux/lang/syntax.lux
index a0d65cc89..49e27aecd 100644
--- a/stdlib/source/lux/lang/syntax.lux
+++ b/stdlib/source/lux/lang/syntax.lux
@@ -582,7 +582,7 @@
      (-> Text Aliases Cursor (l;Lexer [Cursor Code]))
      (do p;Monad<Parser>
        [[value length] <lexer>]
-       (wrap [(update@ #;column (|>. ($_ n/+ <extra> length)) where)
+       (wrap [(update@ #;column (|>> ($_ n/+ <extra> length)) where)
               [where (<tag> value)]])))]
 
   [symbol #;Symbol (ident^ current-module aliases)                        +0]
diff --git a/stdlib/source/lux/macro.lux b/stdlib/source/lux/macro.lux
index 53fe18c82..8040d6ea5 100644
--- a/stdlib/source/lux/macro.lux
+++ b/stdlib/source/lux/macro.lux
@@ -433,7 +433,7 @@
   (-> Text (Meta Type))
   (function [compiler]
     (let [test (: (-> [Text [Type Top]] Bool)
-                  (|>. product;left (text/= name)))]
+                  (|>> product;left (text/= name)))]
       (case (do maybe;Monad<Maybe>
               [scope (list;find (function [env]
                                   (or (list;any? test (: (List [Text [Type Top]])
@@ -614,7 +614,7 @@
 
       (#;Some scopes)
       (#e;Success [compiler
-                   (list/map (|>. (get@ [#;locals #;mappings])
+                   (list/map (|>> (get@ [#;locals #;mappings])
                                   (list/map (function [[name [type _]]]
                                               [name type])))
                              scopes)]))))
diff --git a/stdlib/source/lux/macro/poly.lux b/stdlib/source/lux/macro/poly.lux
index 17a5cdc94..994c719de 100644
--- a/stdlib/source/lux/macro/poly.lux
+++ b/stdlib/source/lux/macro/poly.lux
@@ -201,7 +201,7 @@
                                         partial-varI (n/inc partialI)
                                         partial-varL (label partial-varI)
                                         partialC (` ((~ funcL) (~@ (|> (list;n/range +0 (n/dec num-args))
-                                                                       (list/map (|>. (n/* +2) n/inc (n/+ funcI) label))
+                                                                       (list/map (|>> (n/* +2) n/inc (n/+ funcI) label))
                                                                        list;reverse))))]
                                     (recur (n/inc current-arg)
                                            (|> env'
diff --git a/stdlib/source/lux/macro/poly/eq.lux b/stdlib/source/lux/macro/poly/eq.lux
index a82b99814..55927e614 100644
--- a/stdlib/source/lux/macro/poly/eq.lux
+++ b/stdlib/source/lux/macro/poly/eq.lux
@@ -111,8 +111,8 @@
             (do @
               [g!eqs (poly;tuple (p;many Eq<?>))
                #let [indices (|> (list;size g!eqs) n/dec (list;n/range +0))
-                     g!lefts (list/map (|>. nat/encode (text/compose "left") code;local-symbol) indices)
-                     g!rights (list/map (|>. nat/encode (text/compose "right") code;local-symbol) indices)]]
+                     g!lefts (list/map (|>> nat/encode (text/compose "left") code;local-symbol) indices)
+                     g!rights (list/map (|>> nat/encode (text/compose "right") code;local-symbol) indices)]]
               (wrap (` (: (~ (@Eq inputT))
                           (function [[(~@ g!lefts)] [(~@ g!rights)]]
                             (and (~@ (|> (list;zip3 g!eqs g!lefts g!rights)
@@ -135,13 +135,13 @@
             (do @
               [[funcC varsC bodyC] (poly;polymorphic Eq<?>)]
               (wrap (` (: (All [(~@ varsC)]
-                            (-> (~@ (list/map (|>. (~) eq;Eq (`)) varsC))
+                            (-> (~@ (list/map (|>> (~) eq;Eq (`)) varsC))
                                 (eq;Eq ((~ (poly;to-ast *env* inputT)) (~@ varsC)))))
                           (function (~ funcC) [(~@ varsC)]
                             (~ bodyC))))))
             poly;recursive-call
             ## If all else fails...
             (|> poly;any
-                (:: @ map (|>. %type (format "Cannot create Eq for: ") p;fail))
+                (:: @ map (|>> %type (format "Cannot create Eq for: ") p;fail))
                 (:: @ join))
             ))))
diff --git a/stdlib/source/lux/macro/poly/functor.lux b/stdlib/source/lux/macro/poly/functor.lux
index 2870fc63f..edd3efcc2 100644
--- a/stdlib/source/lux/macro/poly/functor.lux
+++ b/stdlib/source/lux/macro/poly/functor.lux
@@ -29,7 +29,7 @@
                        (function [unwrappedT]
                          (if (n/= +1 num-vars)
                            (` (functor;Functor (~ (poly;to-ast *env* unwrappedT))))
-                           (let [paramsC (|> num-vars n/dec list;indices (L/map (|>. %n code;local-symbol)))]
+                           (let [paramsC (|> num-vars n/dec list;indices (L/map (|>> %n code;local-symbol)))]
                              (` (All [(~@ paramsC)]
                                   (functor;Functor ((~ (poly;to-ast *env* unwrappedT)) (~@ paramsC)))))))))
            Arg<?> (: (-> Code (poly;Poly Code))
@@ -73,7 +73,7 @@
                                             (Arg<?> outL))
                               #let [inC+ (|> (list;size inT+) n/dec
                                              (list;n/range +0)
-                                             (L/map (|>. %n (format "\u0000inC") code;local-symbol)))]]
+                                             (L/map (|>> %n (format "\u0000inC") code;local-symbol)))]]
                              (wrap (` (function [(~@ inC+)]
                                         (let [(~ outL) ((~ valueC) (~@ inC+))]
                                           (~ outC))))))
diff --git a/stdlib/source/lux/macro/poly/json.lux b/stdlib/source/lux/macro/poly/json.lux
index 02352109a..d001d4839 100644
--- a/stdlib/source/lux/macro/poly/json.lux
+++ b/stdlib/source/lux/macro/poly/json.lux
@@ -34,7 +34,7 @@
 
 (def: tag
   (-> Nat Frac)
-  (|>. nat-to-int int-to-frac))
+  (|>> nat-to-int int-to-frac))
 
 (def: #hidden (rec-encode non-rec)
   (All [a] (-> (-> (-> a JSON)
@@ -61,9 +61,9 @@
                    (|> low frac-to-int int-to-nat))))))
 
 (struct: #hidden _ (Codec JSON Int)
-  (def: encode (|>. int-to-nat (:: Codec<JSON,Nat> encode)))
+  (def: encode (|>> int-to-nat (:: Codec<JSON,Nat> encode)))
   (def: decode
-    (|>. (:: Codec<JSON,Nat> decode) (:: e;Functor<Error> map nat-to-int))))
+    (|>> (:: Codec<JSON,Nat> decode) (:: e;Functor<Error> map nat-to-int))))
 
 (def: #hidden (nullable writer)
   {#;doc "Builds a JSON generator for potentially inexistent values."}
@@ -76,9 +76,9 @@
 (struct: #hidden (Codec<JSON,Qty> carrier)
   (All [unit] (-> unit (Codec JSON (unit;Qty unit))))
   (def: encode
-    (|>. unit;out (:: Codec<JSON,Int> encode)))
+    (|>> unit;out (:: Codec<JSON,Int> encode)))
   (def: decode
-    (|>. (:: Codec<JSON,Int> decode) (:: e;Functor<Error> map (unit;in carrier)))))
+    (|>> (:: Codec<JSON,Int> decode) (:: e;Functor<Error> map (unit;in carrier)))))
 
 (poly: #hidden Codec<JSON,?>//encode
   (with-expansions
@@ -89,16 +89,16 @@
                               <encoder>))))]
 
                [Unit poly;unit (function [(~ (code;symbol ["" "0"]))] #//;Null)]
-               [Bool poly;bool (|>. #//;Boolean)]
+               [Bool poly;bool (|>> #//;Boolean)]
                [Nat  poly;nat  (:: ;;Codec<JSON,Nat> (~' encode))]
                [Int  poly;int  (:: ;;Codec<JSON,Int> (~' encode))]
-               [Frac poly;frac (|>. #//;Number)]
-               [Text poly;text (|>. #//;String)])
+               [Frac poly;frac (|>> #//;Number)]
+               [Text poly;text (|>> #//;String)])
      <time> (do-template [<type> <codec>]
               [(do @
                  [_ (poly;this <type>)]
                  (wrap (` (: (~ (@JSON//encode inputT))
-                             (|>. (:: <codec> (~' encode)) #//;String)))))]
+                             (|>> (:: <codec> (~' encode)) #//;String)))))]
 
               [du;Duration du;Codec<Text,Duration>]
               [i;Instant   i;Codec<Text,Instant>]
@@ -127,7 +127,7 @@
                                          poly;text
                                          Codec<JSON,?>//encode))]
             (wrap (` (: (~ (@JSON//encode inputT))
-                        (|>. d;entries
+                        (|>> d;entries
                              (;;_map_ (function [[(~ g!key) (~ g!val)]]
                                         [(~ g!key) ((~ .val.) (~ g!val))]))
                              (d;from-list text;Hash<Text>)
@@ -143,7 +143,7 @@
                                        (poly;this ;List)
                                        Codec<JSON,?>//encode))]
             (wrap (` (: (~ (@JSON//encode inputT))
-                        (|>. (;;_map_ (~ .sub.)) sequence;from-list #//;Array)))))
+                        (|>> (;;_map_ (~ .sub.)) sequence;from-list #//;Array)))))
           (do @
             [#let [g!input (code;local-symbol "\u0000input")]
              members (poly;variant (p;many Codec<JSON,?>//encode))]
@@ -159,7 +159,7 @@
             [g!encoders (poly;tuple (p;many Codec<JSON,?>//encode))
              #let [g!members (|> (list;size g!encoders) n/dec
                                  (list;n/range +0)
-                                 (list/map (|>. nat/encode code;local-symbol)))]]
+                                 (list/map (|>> nat/encode code;local-symbol)))]]
             (wrap (` (: (~ (@JSON//encode inputT))
                         (function [[(~@ g!members)]]
                           (//;json [(~@ (list/map (function [[g!member g!encode]]
@@ -276,7 +276,7 @@
           (do @
             [[funcC varsC bodyC] (poly;polymorphic Codec<JSON,?>//decode)]
             (wrap (` (: (All [(~@ varsC)]
-                          (-> (~@ (list/map (|>. (~) //;Reader (`)) varsC))
+                          (-> (~@ (list/map (|>> (~) //;Reader (`)) varsC))
                               (//;Reader ((~ (poly;to-ast *env* inputT)) (~@ varsC)))))
                         (function (~ funcC) [(~@ varsC)]
                           (~ bodyC))))))
diff --git a/stdlib/source/lux/macro/syntax/common/reader.lux b/stdlib/source/lux/macro/syntax/common/reader.lux
index 7874e4d54..7759a7561 100644
--- a/stdlib/source/lux/macro/syntax/common/reader.lux
+++ b/stdlib/source/lux/macro/syntax/common/reader.lux
@@ -91,7 +91,7 @@
 (def: (find-definition-args meta-data)
   (-> (List [Ident Code]) (List Text))
   (<| (maybe;default (list))
-      (case (list;find (|>. product;left (ident/= ["lux" "func-args"])) meta-data)
+      (case (list;find (|>> product;left (ident/= ["lux" "func-args"])) meta-data)
         (^multi (#;Some [_ value])
                 [(p;run (list value) tuple-meta^)
                  (#;Right [_ args])]
diff --git a/stdlib/source/lux/test.lux b/stdlib/source/lux/test.lux
index 10672afaf..9a43645e5 100644
--- a/stdlib/source/lux/test.lux
+++ b/stdlib/source/lux/test.lux
@@ -91,7 +91,7 @@
 
 (def: failed?
   (-> Counters Bool)
-  (|>. product;right (n/> +0)))
+  (|>> product;right (n/> +0)))
 
 (def: #export (seed value test)
   (-> Seed Test Test)
diff --git a/stdlib/source/lux/time/duration.lux b/stdlib/source/lux/time/duration.lux
index 642550bc3..b97ae817a 100644
--- a/stdlib/source/lux/time/duration.lux
+++ b/stdlib/source/lux/time/duration.lux
@@ -17,11 +17,11 @@
 
   (def: #export from-millis
     (-> Int Duration)
-    (|>. @opaque))
+    (|>> @opaque))
 
   (def: #export to-millis
     (-> Duration Int)
-    (|>. @repr))
+    (|>> @repr))
 
   (do-template [<name> <op>]
     [(def: #export (<name> param subject)
diff --git a/stdlib/source/lux/time/instant.lux b/stdlib/source/lux/time/instant.lux
index 2429d0bee..1175d4c75 100644
--- a/stdlib/source/lux/time/instant.lux
+++ b/stdlib/source/lux/time/instant.lux
@@ -24,11 +24,11 @@
 
   (def: #export from-millis
     (-> Int Instant)
-    (|>. @opaque))
+    (|>> @opaque))
 
   (def: #export to-millis
     (-> Instant Int)
-    (|>. @repr))
+    (|>> @repr))
 
   (def: #export (span from to)
     (-> Instant Instant duration;Duration)
@@ -63,7 +63,7 @@
     (def: order Order<Instant>)
     (do-template [<name>]
       [(def: <name>
-         (|>. @repr (:: number;Enum<Int> <name>) @opaque))]
+         (|>> @repr (:: number;Enum<Int> <name>) @opaque))]
 
       [succ] [pred]
       ))
diff --git a/stdlib/source/lux/type/implicit.lux b/stdlib/source/lux/type/implicit.lux
index fb08f0a0b..4e3c9e161 100644
--- a/stdlib/source/lux/type/implicit.lux
+++ b/stdlib/source/lux/type/implicit.lux
@@ -20,7 +20,7 @@
 
 (def: (find-type-var id env)
   (-> Nat Type-Context (Meta Type))
-  (case (list;find (|>. product;left (n/= id))
+  (case (list;find (|>> product;left (n/= id))
                    (get@ #;var-bindings env))
     (#;Some [_ (#;Some type)])
     (case type
diff --git a/stdlib/source/lux/type/object.lux b/stdlib/source/lux/type/object.lux
index 461e836a3..881eaa1e5 100644
--- a/stdlib/source/lux/type/object.lux
+++ b/stdlib/source/lux/type/object.lux
@@ -66,7 +66,7 @@
     (|> (list;size ancestors)
         n/dec
         (list;n/range +0)
-        (L/map (|>. %n (format "ancestor") code;local-symbol)))))
+        (L/map (|>> %n (format "ancestor") code;local-symbol)))))
 
 ## [Methods]
 (type: Method
@@ -102,7 +102,7 @@
         g!_behavior (code;symbol ["" "_behavior"])
         g!_state (code;symbol ["" "_state"])
         g!_extension (code;symbol ["" "_extension"])
-        g!_args (L/map (|>. product;left nat-to-int %i (format "_") code;local-symbol)
+        g!_args (L/map (|>> product;left nat-to-int %i (format "_") code;local-symbol)
                        (list;enumerate inputs))
         g!destructuring (L/fold (function [_ g!bottom] (` [(~ g!_temp) (~ g!_temp) (~ g!bottom)]))
                                 (` [(~ g!_behavior) (~ g!_state) (~ g!_extension)])
@@ -125,14 +125,14 @@
 
 (def: (with-interface parent interface)
   (-> Ident Ident cs;Annotations cs;Annotations)
-  (|>. (#;Cons [(ident-for #;;interface-name)
+  (|>> (#;Cons [(ident-for #;;interface-name)
                 (code;tag interface)])
        (#;Cons [(ident-for #;;interface-parent)
                 (code;tag parent)])))
 
 (def: (with-class interface parent class)
   (-> Ident Ident Ident cs;Annotations cs;Annotations)
-  (|>. (#;Cons [(ident-for #;;class-interface)
+  (|>> (#;Cons [(ident-for #;;class-interface)
                 (code;tag interface)])
        (#;Cons [(ident-for #;;class-parent)
                 (code;tag parent)])
@@ -184,7 +184,7 @@
     size
     (|> (n/dec size)
         (list;n/range +0)
-        (L/map (|>. (n/* +2) n/inc code;nat (~) #;Bound (`)))
+        (L/map (|>> (n/* +2) n/inc code;nat (~) #;Bound (`)))
         (list;zip2 (list;reverse mappings))
         (L/fold (function [[mappingC boundC] genericC]
                   (code;replace boundC mappingC genericC))
@@ -400,7 +400,7 @@
       (wrap (list& (` (sig: (~@ (csw;export export))
                         ((~ g!signature) (~@ g!parameters) (~ g!self-class))
                         (~@ (let [de-alias (code;replace (code;local-symbol alias) g!self-class)]
-                              (L/map (|>. (update@ #inputs (L/map de-alias))
+                              (L/map (|>> (update@ #inputs (L/map de-alias))
                                           (update@ #output de-alias)
                                           (declarationM g!self-class))
                                      methods)))))
@@ -419,7 +419,7 @@
                          g!states (L/compose g!ancestors (list g!child))
                          g!self-object (` ((~ g!interface) (~@ g!parameters) (~ g!ext) (~@ g!ancestors) (~ g!child)))
                          de-alias (code;replace (code;symbol ["" alias]) g!self-object)]
-                     (L/map (|>. (update@ #inputs (L/map de-alias))
+                     (L/map (|>> (update@ #inputs (L/map de-alias))
                                  (update@ #output de-alias)
                                  (definition export decl g!self-object g!ext g!states))
                             methods))))
@@ -464,7 +464,7 @@
 
              g!parent-structs (if (no-parent? parent)
                                 (list)
-                                (L/map (|>. (product;both id structN) code;symbol) (list& parent ancestors)))]
+                                (L/map (|>> (product;both id structN) code;symbol) (list& parent ancestors)))]
        g!parent-inits (M;map @ (function [_] (macro;gensym "parent-init"))
                              g!parent-structs)
        #let [g!full-init (L/fold (function [[parent-struct parent-state] child]
diff --git a/stdlib/source/lux/type/opaque.lux b/stdlib/source/lux/type/opaque.lux
index 636acd6e2..6bbf4c2a9 100644
--- a/stdlib/source/lux/type/opaque.lux
+++ b/stdlib/source/lux/type/opaque.lux
@@ -55,7 +55,7 @@
 
 (def: representation-name
   (-> Text Text)
-  (|>. ($_ text/compose "{" kind "@" module "}")
+  (|>> ($_ text/compose "{" kind "@" module "}")
        (let [[module kind] (ident-for #;;Representation)])))
 
 (def: (install-casts' this-module-name name type-vars)
@@ -74,7 +74,7 @@
                                                                      (^ (list value))
                                                                      (wrap (list (` ((: (All [(~@ type-varsC)]
                                                                                           (-> (~ representation-declaration) (~ opaque-declaration)))
-                                                                                        (|>. :!!))
+                                                                                        (|>> :!!))
                                                                                      (~ value)))))
 
                                                                      _
@@ -87,7 +87,7 @@
                                                                    (^ (list value))
                                                                    (wrap (list (` ((: (All [(~@ type-varsC)]
                                                                                         (-> (~ opaque-declaration) (~ representation-declaration)))
-                                                                                      (|>. :!!))
+                                                                                      (|>> :!!))
                                                                                    (~ value)))))
 
                                                                    _
diff --git a/stdlib/source/lux/type/unit.lux b/stdlib/source/lux/type/unit.lux
index c2a4629c0..5bf8e9d48 100644
--- a/stdlib/source/lux/type/unit.lux
+++ b/stdlib/source/lux/type/unit.lux
@@ -58,7 +58,7 @@
 (do-template [<name> <tag>]
   [(def: <name>
      (-> Text Text)
-     (|>. (format "{" kind "@" module "}")
+     (|>> (format "{" kind "@" module "}")
           (let [[module kind] (ident-for <tag>)])))]
   
   [unit-name  #;;Unit]
@@ -98,12 +98,12 @@
                 (` (struct: (~@ (csw;export export)) (~ (code;local-symbol (format "@" name)))
                      (;;Scale (~ g!scale))
                      (def: (~' scale)
-                       (|>. ;;out
+                       (|>> ;;out
                             (i/* (~ (code;int (nat-to-int numerator))))
                             (i// (~ (code;int (nat-to-int denominator))))
                             (;;in (:! ((~ g!scale) ($ +0)) []))))
                      (def: (~' de-scale)
-                       (|>. ;;out
+                       (|>> ;;out
                             (i/* (~ (code;int (nat-to-int denominator))))
                             (i// (~ (code;int (nat-to-int numerator))))
                             (;;in (:! ($ +0) []))))
@@ -116,11 +116,11 @@
      (All [unit] (-> (Qty unit) (Qty unit) (Qty unit)))
      (|> (out subject) (<op> (out param)) (in (carrier subject))))]
 
-  [u+ i/+]
-  [u- i/-]
+  [u/+ i/+]
+  [u/- i/-]
   )
 
-(def: #export (u/ param subject)
+(def: #export (u// param subject)
   (All [p s] (-> (Qty p) (Qty s) (|> (Qty s) (Per (Qty p)))))
   (function [input]
     (|> (out subject)
@@ -128,7 +128,7 @@
         (i// (out param))
         (in (carrier subject)))))
 
-(def: #export (u* param subject)
+(def: #export (u/* param subject)
   (All [p s] (-> (Qty p) (Qty s) (Product (Qty p) (Qty s))))
   (function [input]
     (|> (out subject)
@@ -137,7 +137,7 @@
 
 (def: #export (re-scale from to quantity)
   (All [si so u] (-> (Scale si) (Scale so) (Qty (si u)) (Qty (so u))))
-  (let [[numerator denominator] (|> (:: to ratio) (r;q./ (:: from ratio)))]
+  (let [[numerator denominator] (|> (:: to ratio) (r;r// (:: from ratio)))]
     (|> quantity out
         (i/* (nat-to-int numerator))
         (i// (nat-to-int denominator))
diff --git a/stdlib/source/lux/world/blob.jvm.lux b/stdlib/source/lux/world/blob.jvm.lux
index f6dcb1f6e..c0e52379d 100644
--- a/stdlib/source/lux/world/blob.jvm.lux
+++ b/stdlib/source/lux/world/blob.jvm.lux
@@ -24,7 +24,7 @@
 
 (def: byte-to-nat
   (-> (primitive java.lang.Byte) Nat)
-  (|>. host;b2l (:! Nat) (bit;and byte-mask)))
+  (|>> host;b2l (:! Nat) (bit;and byte-mask)))
 
 (def: #export (create size)
   (-> Nat Blob)
diff --git a/stdlib/source/lux/world/console.lux b/stdlib/source/lux/world/console.lux
index b479aa3e4..0448637ca 100644
--- a/stdlib/source/lux/world/console.lux
+++ b/stdlib/source/lux/world/console.lux
@@ -43,20 +43,20 @@
                 #output PrintStream}
 
                (def: read-char
-                 (|>. get@Console
+                 (|>> get@Console
                       (get@ #input)
                       (BufferedReader.read [])
-                      (:: io;Functor<Process> map (|>. int-to-nat text;from-code))
+                      (:: io;Functor<Process> map (|>> int-to-nat text;from-code))
                       promise;future))
                
                (def: read-line
-                 (|>. get@Console
+                 (|>> get@Console
                       (get@ #input)
                       (BufferedReader.readLine [])
                       promise;future))
                
                (def: (write message)
-                 (|>. get@Console
+                 (|>> get@Console
                       (get@ #output)
                       (PrintStream.print [message])
                       promise;future))