GNU Aris -- TODO List

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