Refactor StepEditor to refer to a ProofEditor
Incorporate error displays into ProofEditor class.
Try code for setting up canned examples.
Add another page of examples and integrate into navigation.