Add "users" property to (Exprs that are) steps.
Enable deletion of any step that no others depend on, and re-style delete
buttons to indicate whether a step can be deleted.
Use HTML button tags rather than input type=button for deleter buttons,
for more flexible styling.
Render subproofs next to the step that uses them, indented.