GNU Aris -- TODO List

* Interoperability with Isabelle - in progress.
* Rules.
  TESTING
  * lm
* Documentation
  * Rules
  * Keybindings
  * Basic Usage
  * Sequence Logic
* Grade flag.
