Document :assert
Doc fix
Categorified Solver somewhat.
More categorification.