Buses
add & mul as binops
label bus widths when not 1
add unBBus; drop busWidth
.ghci applicative-numbers
trivial
Ord on Pair & Tree; Numeric instances on Tree