adds +tap:to treap-order validation arm
++ to :: queue engine
=| a/(tree) :: (qeu)
|@
+ ++ apt :: check correctness
+ ^- ?
+ ?~ a &
+ |- ^- ?
+ ?~ l.a &
+ ?~ r.a &
+ &((mor n.l.a n.r.a) $(a l.a) $(a r.a))
+ ::
++ bal
|- ^+ a
?~ a ~
