Remove some unnecessary calls to textNode.
Improve save/restore proof.
Work on the looks of assumptions and step numbers.
Fix display descriptors in rewriteNumeric; make it a basic rule.
When dividing, automatically add a nonzero divisor assumption.
Communicate debugging information through exception objects.
Display error debug information "near the proof".
Support assumption simplifiers that return conjunctions.
In rules.divideBoth, simplify assumptions using factNonzeroProduct.
Move code that handles replacement of an assumption into rules.replace
and use it in simplifyAssumptions.
Update one test.