From fd0239a3320f37b66fe3f705a0b0403b091816e5 Mon Sep 17 00:00:00 2001
From: "C. Guy Yarvin" <cgyarvin@gmail.com>
Date: Tue, 19 Jan 2016 13:23:53 -0800
Subject: [PATCH] Checked.

---
 arvo/hoon.hoon | 20 +++++++++++++++++---
 1 file changed, 17 insertions(+), 3 deletions(-)

diff --git a/arvo/hoon.hoon b/arvo/hoon.hoon
index d14d57283..cf606e44d 100644
--- a/arvo/hoon.hoon
+++ b/arvo/hoon.hoon
@@ -8053,6 +8053,11 @@
         =>  +<
         |%
         ++  halp  $+(twig fleg)
+        ++  terp  $+({borm wing borm} (pair axis borm))
+        ++  toda  $+({{axis clow} fleg fult} fult)
+        ++  todt  $+({{axis borm} fleg foat} foat)
+        ++  tusp  $+({clow wing borm} {axis clow})
+        ++  tyte  $+(fult foat)
         ++  vant
           |%  ++  trep  $+({borm wing borm} {axis borm})
               ++  tasp  $+({{axis borm} fleg foat} foat)
@@ -8073,6 +8078,18 @@
         ++  halp  |~  a/twig 
                   ^-  fleg
                   (mint %noun a)
+        ++  terp  |~  {a/borm b/wing c/borm}
+                  ^-  (pair axis borm)
+                  (tack(sut a) b c)
+        ++  toda  |~  {a/(pair axis clow) b/fleg c/fult}
+                  ^-  fult
+                  [q.a [[p.a (pust b)] (pust c)]]
+        ++  todt  |=  {a/(pair axis borm) b/fleg c/foat}
+                  ^-  foat
+                  [q.a [[p.a (pust b)] (pust c)]]
+        ++  tusp  |~  {a/clow b/wing c/borm}
+                  ^-  (pair axis clow)
+                  (toss b c a)
         ++  tyte  |~  fult
                   ^-  foat
                   [(fire +<-) +<+]
@@ -8132,9 +8149,6 @@
         =+  dar=(trep (stup mor) p.i.rig (stup zil))
         (tasp dar zil mor)
       --  --  --
-    ::
-    ++  make  (nib make:lib)
-    ::  ++  type  
     --
   ::
   ++  oc