Better parser diagnostics

[Champii]

We need to exploit the VerboseError mecanism to its full potential, and find a way to bubble errors from inner modules

[Champii]

We could rework the diagnostic system to print well defined errors with custom context and hints
Some lib exist in Haskell that do this

https://github.com/Mesabloo/diagnose

We can take inspiration from those