Added positions to all Proof monad functions.
Added ProofRecorder monad