Treat inputs to ** as real numbers in Expr.mathVars.
Add axioms for powers and facts for squaring and cubing.
Improve some descriptions.
Inline 1 rule as an internal function.
Rename some local variables.
Impove Toy.convertAndReplace and use it in rules.apply.