Initial commit. Basic pretty printing of proofs