message: Add some more things to the todo list
diff: @@ -49,6 +49,13 @@ widely than that in the future.
  - [ ] push/pull modes
  - [ ] Graphvis DOT output
  - [ ] HTML Formatted Specification
  +- [ ] Tooling
  + - [ ] Pretty error messages
  + - [ ] Textmate syntax highlighting
  + - [ ] Language server (via Language Server Protocol)
  + - [ ] Binary explorer tool
  +- [ ] Verification
  + - [ ] Fuzz generated parsers
  - [ ] Formal specification
  ## Inspiration
  