Fixing a canonization of negative terms.
Fixing bugs with ttt.
Moving play to cps.
Exporting uint16_t,8 prover width.
Simplifying random joint move selection in cps.