Clean up the set of basic simplification facts.
Rebrand rules.organizeFactors and offer it selectively.
Add swapped versions of equational facts systematically.
Add new fact.
Use the new fact correctly.
Support "$" as alternative to "subst" in fact "where clauses".
Improve a description.
Improve the basic simplification facts.