GNU Aris -- TODO List

* Connective xpms need to be fixed up.
* Interoperability with Isabelle - in progress.
* Documentation
  * Rules
  * Keybindings
  * Basic Usage
  * Sequence Logic
* Bug Testing
* Printing - Hold off on this
