PROBCORE-498 Refactored Theory class so that the axiomatic definition blocks are explicitly declared. This is necessary because of how the elements need to be translated.
PROBCORE-498 Finished printing Axiomatic Definition Blocks. Still need to test implementation.
Merge remote-tracking branch 'origin/develop' into develop