PROBCORE-404 Finished making the classes for the Theory translator a LITTLE BIT prettier.
PROBCORE-404 Simple parsing of datatypes and operators works for test cases. Not certain if correct AST is being generated.
PROBCORE-404 Finished writing tests for TheoryTranslator. All tests are successful, and it is possible to recursively parse all Theories to ProB elements.