Add new equation-related methods.
Modify Expr.pathTo when given an Expr arg.
Comments.
Work on facts API, add rules.rewriteWithFact.
Update tests to match updated theorems.js.
Add support for equational facts to the UI.