- Still a few axioms that need to be implemented.
- OWL/XML output?
- Split some more common idioms out into traits.