Fixed a documentation typo
Adjusted disc manual to account for auto-deriving the frontend
Finished dis writer.

- Contains general functions for generating a DIS string.
Finished literal elimination traversal

- Added a function to DIS to easily link from/to start/stop
- Added various functions to prune away literals
- Fixed a bug in the nodeConverter