GNU Aris -- TODO List

* Interoperability with Isabelle - in progress.
* Documentation
  - Sequence Logic
* Bug Testing
* Printing - Hold off on this
