Refactor Expr.copyStep.
Reword menu hint.
Make StepEditor.report more flexible for info reporting.
Don't add a proof step when nothing was done.