Create abstract proof parser
Clean ProofParser and ProofParserVeriT
Add draft parser for a yet-to-be-defined proof format for Skeptik
Simplify ProofParserVeriT
Fix UncheckedInference
Prepare ProofParserVeriT to use UncheckedInference instead of Axiom for unknown inferences
Clean