arvo: removes all traces of meta-meta card reduction
$: typ=type :: -:!>(*type)
duc=type :: -:!>(*duct)
pah=type :: -:!>(*path)
- mev=type :: -:!>([%meta *vase])
==
--
=>
::
?> ?=(meta q.tiv)
[[%| q.tiv] sac]
- ::
- :: =/ mut
- :: ?>(?=(meta q.tiv) q.tiv)
- :: |- ^- (pair [%| meta] worm)
- :: ?. ?=([%meta *] mut)
- :: [[%| mut] sac]
- :: =^ dip sac (~(nets wa sac) mev.vil p.mut)
- :: ?> dip
- :: $(q.tiv +.q.mut)
--
::
:: |va: vane engine
:* typ=(pal '$:type')
duc=(pal '$:duct')
pah=(pal '$:path')
- mev=(pal '$:{$meta $vase}')
==
::
++ dint :: input routing
