Small code optimizations related to subFree.
Tweak styling of step selection.
Fix bug in popup display.
Comments for Expr.justify.
Fix bug in Toy.isArithmetic.
Add more basic math simplifications.
Be more careful in Toy.normalReturn so it can be used to invoke a rule
without violating assumptions about number of arguments.