Fix bug in available statement listing
Eliminate implications in any kind of step
Save theorem with implication elimination in fantasy hypothesis
Save implication elimination from step