This release significantly refactors the code base to accommodate greater modularity for defining semantic clauses for different operators across different semantic theories. In addition to making it easy to add new operators with novel semantic clauses, this version makes it easy to compare define and compare different semantic theories. The CLI has been updated to generate new projects when run with no arguments so that users can easily adapt the default semantic theory which is used as a template. A number of definitions have also been exposed for easy importing.
Future patches will extend the utilities included for comparing theories and will add default unit tests to the project template so as to streamline implementation.