Export more symbols: formula classes, famous formulas, etc.
Comment out (erroneously) failing rules attribute.