Split out highlightStepInputs from hoverStep, inputs only highlighted when over the stepSelector.
Rename a local variable.
Move the proof errors to a more suitable place; hide them when clicked on.