* Refactor reporting of syntax errors
* Report diagnostics for unused or undefined labels
* Report undefined citation and unused entries
* Use indexed citations when processing requests
* Use new "unnecessary" diagnostic tag
* Add tests for diagnostics module
