arvo: improves move type specialization (by spec'ing incrementally)
?. ((sane %tas) lal) ~
%+ biff ((soft path) p.q.caq)
|= pax/path
- =^ yav worm.vane (~(spot wa worm.vane) 15 caq)
+ =^ xav worm.vane (~(spot wa worm.vane) 7 caq)
+ =^ yav worm.vane (~(spot wa worm.vane) 3 xav)
%+ bind (song yav)
|= {hil/mill vel/worm}
[%& [%pass pax lal hil] vel]
%+ biff ((soft @) p.q.caq)
|= lal/@tas
?. ((sane %tas) lal) ~
- =^ yav worm.vane (~(spot wa worm.vane) 7 caq)
+ =^ xav worm.vane (~(spot wa worm.vane) 3 caq)
+ =^ yav worm.vane (~(spot wa worm.vane) 3 xav)
%+ bind (song yav)
|= {hil/mill vel/worm}
[%& [%slip lal hil] vel]
