Adds demonstration for TODO
Improves documentation on references
Adds support for ntheorem and cleveref