Infrastructure for pulling common exponents out of a product
Re-structured chaos at the bottom of Symmath.Simplify (a bit)

It's still a mess...
Restored canceling abilities

re: existential crisis
Six more tests will improve test coverage a lot.