Checkpoint
Added `prim-if/arr' for fast, Omega-ignoring piecewise monotone functions
Much faster random child selection in tree search
Checkpoint
Checkpoint
Checkpoint
Reformulated preimage arrow; rewrote `if' in terms of `switch'