Add no-op check to rule R, hopefully to make no-ops fast.
Avoid loading Google Analytics for the test suite, seems to interact badly.
Trial version where rules.conjunctionDeduper never returns null.
Also some comment edits.
Modify uses of rules.conjunctionDeduper to assume it always returns a thm.s
Add a function memoizer and a path reverser.  Accept real /left and /right
segments in Path.locate and Path.replaceAt.
Add rules.simplifyNumericConditions, add != in axiomArithmetic,
fix bug in rules.fact, new tests.
Comments for rules.simplifyNumericConditions.