In the examples, when returning to the page, show the proof if it was shown before.
Rename the "hint" property of rule info to "menu".
Rename a function.
Clarify and document Toy.format.
Formatting.
Make formatting of menu items capable of referring to a selected term.
Format some rule menu items to show the selected term.