hoon: remove += and +- arm syntax

pkg/arvo/lib/bip32.hoon

@@ -18,7 +18,7 @@
 ::  pif:  parent fingerprint (4 bytes)
 |_  [prv=@ pub=point.ecc cad=@ dep=@ud ind=@ud pif=@]
 ::
-+=  keyc  [key=@ cai=@]  ::  prv/pub key + chain code
++$  keyc  [key=@ cai=@]  ::  prv/pub key + chain code
 ::
 ::  elliptic curve operations and values
 ::

pkg/arvo/lib/primitive-rsa.hoon

@@ -5,7 +5,7 @@
 |%
 ::  +key:rsa: rsa public or private key
 ::
-+=  key
++$  key
   $:  ::  pub:  public parameters (n=modulus, e=pub-exponent)
       ::
       pub=[n=@ux e=@ux]

pkg/arvo/sur/asn1.hoon

@@ -9,14 +9,14 @@
 ::
 ::    Note that *explicit* implies *constructed* (ie, bit 5 is set in DER).
 ::
-+=  bespoke
++$  bespoke
   ::  imp: & is implicit, | is explicit
   ::  tag: 5 bits for the custom tag number
   ::
   [imp=? tag=@ud]
 ::  +spec:asn1: minimal representations of basic ASN.1 types
 ::
-+=  spec
++$  spec
   $%  ::  %int: arbitrary-sized, unsigned integers
       ::
       ::    Unsigned integers, represented as having a positive sign.

pkg/arvo/sur/keygen.hoon

@@ -1,9 +1,9 @@
 |%
-+=  revision  @ud
++$  revision  @ud
-+=  nodetype  tape
++$  nodetype  tape
-+=  mnemonic  tape
++$  mnemonic  tape
 ::
-+=  vault
++$  vault
   $:  ownership=node
       voting=node
       management=node
@@ -12,12 +12,12 @@
       network=uode
   ==
 ::
-+=  node  [type=nodetype seed=mnemonic keys=wallet]
++$  node  [type=nodetype seed=mnemonic keys=wallet]
-+=  uode  [revi=revision seed=@ux keys=edkeys]
++$  uode  [revi=revision seed=@ux keys=edkeys]
 ::
-+=  wallet  [keys=[public=@ux private=@ux] addr=@ux chain=@ux]
++$  wallet  [keys=[public=@ux private=@ux] addr=@ux chain=@ux]
 ::
-+=  edkeys  [auth=keypair crypt=keypair]
++$  edkeys  [auth=keypair crypt=keypair]
 ::
-+=  keypair  [public=@ux secret=@ux]
++$  keypair  [public=@ux secret=@ux]
 --

pkg/arvo/sys/hoon.hoon

@@ -12642,11 +12642,11 @@
         ::
           (stag %code (ifix [tic tic] (calf tic)))
         ::
-        ::  ++arm, +-arm, +$arm, +*arm, ++arm:core, ...
+        ::  ++arm, +$arm, +*arm, ++arm:core, ...
         ::
           %+  stag  %code
           ;~  plug
-            lus  ;~(pose lus hep buc tar)
+            lus  ;~(pose lus buc tar)
             low  (star ;~(pose nud low hep col))
           ==
         ::
@@ -13375,10 +13375,7 @@
     ++  boog  !:                                        ::  core arms
       %+  knee  [p=*term q=*hoon]  |.  ~+
       ;~  pose
-        ;~  pfix  ;~  pose
+        ;~  pfix  (jest '++')
-                    (jest '++')
-                    (jest '+-')   ::  XX deprecated
-                  ==
           ;~  plug
             ;~(pfix gap ;~(pose (cold %$ buc) sym))
             ;~(pfix gap loaf)
@@ -13388,7 +13385,7 @@
         %+  cook
           |=  {b/term d/spec}
           [b [%ktcl [%name b d]]]
-        ;~  pfix  ;~(pose (jest '+=') (jest '+$'))
+        ;~  pfix  (jest '+$')
           ;~  plug
             ;~(pfix gap sym)
             ;~(pfix gap loan)

pkg/arvo/sys/zuse.hoon

@@ -121,7 +121,7 @@
   ++  address  @ux
   ::  event location
   ::
-  +=  event-id  [block=@ud log=@ud]
+  +$  event-id  [block=@ud log=@ud]
   ::
   ++  events  (set event-id)
   --
@@ -161,7 +161,7 @@
         ==
     ==
   ::
-  +=  dnses  [pri=@t sec=@t ter=@t]
+  +$  dnses  [pri=@t sec=@t ter=@t]
   ::
   ++  diff-azimuth
     $%  [%point who=@p dif=diff-point]
@@ -1575,7 +1575,7 @@
   ::   Used on both the proxy (ward) and upstream sides for
   ::   sending/receiving proxied-request notifications.
   ::
-  +=  prox
+  +$  prox
     $:  :: por: tcp port
         ::
         por=@ud
@@ -1970,7 +1970,7 @@
     ::
     +$  seed  [who=ship lyf=life key=ring sig=(unit oath:pki)]
     ::
-    +=  task                                            ::  in request ->$
+    +$  task                                            ::  in request ->$
       $~  [%vega ~]                                     ::
       $%  [%dawn dawn-event]                            ::  boot from keys
           [%fake =ship]                                 ::  fake boot
@@ -4218,9 +4218,9 @@
         as-octs=as-octs:mimes:html
     ~%  %secp  +<  ~
     |%
-    +=  jacobian   [x=@ y=@ z=@]                    ::  jacobian point
+    +$  jacobian   [x=@ y=@ z=@]                    ::  jacobian point
-    +=  point      [x=@ y=@]                        ::  curve point
+    +$  point      [x=@ y=@]                        ::  curve point
-    +=  domain
+    +$  domain
       $:  p=@                                       ::  prime modulo
           a=@                                       ::  y^2=x^3+ax+b
           b=@                                       ::
@@ -4695,7 +4695,7 @@
     ::
     ::  structures
     ::
-    +=  argon-type  ?(%d %i %id %u)
+    +$  argon-type  ?(%d %i %id %u)
     ::
     ::  shorthands
     ::

pkg/arvo/ted/graph/restore.hoon

@@ -1,7 +1,7 @@
 /-  spider, graph=graph-store, *metadata-store, *group, group-store
 /+  strandio, resource, graph-view
 =>
-|% 
+|%
 ++  strand  strand:spider
 ++  poke  poke:strandio
 ++  poke-our   poke-our:strandio
@@ -11,7 +11,7 @@
 |=  arg=vase
 =/  m  (strand ,vase)
 ^-  form:m
-+=  !<
+=+  !<
       [[rid=resource title=@t description=@t group=resource module=@t ~] ~]
     arg
 ;<  =bowl:spider  bind:m  get-bowl:strandio