wip
Add statement numeration for understandable modus ponens
More axiom generators
Contraposition and excluded middle proofs
Finally working proof generator
Fix parser
Rename deduction examples
Add completeness examples