Implemented first order quantification.
Started implementing proof file parsing (axioms, theorem)