Made some big changes -- updates to the proof parser, proof environment, etc.
And I think maybe the parser as well?