Added XML input for proofs, etc
Added serialization with JSON, and several more math terms