ton of fixes

Renamed document, fixed up abstract, fixed up structure of document
sectioning so ToC is generated properly, cleaned up definitions
(removed unsed ones), removed algorithm and wrote example instead.