Refactor errors

[gerau]

As we have collection of errors in compiler, we should consider moving to the ariadne crate to pretty-print them. This also will unlock the ability to produce more complex errors that provide more context for the user.

[uncomputable]

Feel free to check this out for inspiration.