Symbol -> Dummy in statsimp.  Normal tests
associative and commutative for rewrites
rebuild uses if-else rather than try-except
simplify tests - normal*a + b, rebulids
groupby and count in rules/util
RuleDB
rules/unify - ops and types