Make the step editor show as not busy when resetting it.
Simplify fadeOut when step editor becomes not busy.
Check step numbers in forms more carefully.
Report all step editor errors throught the proofErrors DOM node.
Move the proofErrors display into the step editor and place below the form.
Stricter parsing of step numbers.
Hide the available rules while the form is displayed.
Simplify reporting of parse errors.
Simple bug fix.
Fix bug in prevRenderedStep.
By default, Toy.parse now checks that some type can be found for the parsed expression.
Centralize parse error reporting more.

--HG--
extra : amend_source : c82365dca5b3b7247d1550b02022057c071ef0b6
Fix minor bug in findType.
Add an input type for boolean terms - "bool", and use in rules.assume.
Remove unused method.
Remove unused argument.`
Tidy code and comments.
Add realType and isReal.
Eliminate ProofControl._stepsJQ instance variable.
Extend Toy.isReal to heuristically ascribe type Real to variables beginning with t-z.