Parser update

[Maurice-Byrne]

The big Conjure parser overhaul. Not quite ready for merging yet but tentatively putting it up for review. The LSP function is under a separate PR.

Changes:

• The parser has been updated to be error tolerant, at a minimum finding the first ambiguous syntax error in each top level statement, and often much better than that.
• The parsing pipeline has been adjusted to retain more information for longer so that error messages can be more specific.
• Notably, type checking is now performed with access to location and structural information meaning no more hard to interpret de-sugared type errors.
  • The old type checker is still run as a fall-back so there is no loss in thoroughness.
• Groundwork set for LSP support, implemented in #547.
• Pretty printer now respects comments and structural choices as it is run on the parse tree not the generated model.

Known problems:

• Pretty printer is not very pretty at the moment.
• Type checking currently does not work for solution files that rely on parameters.
  • This does not impact functionality as these files are processed without type checking validation however.
• TypeScript output is broken.

Testing:

• This update breaks a lot of tests, especially those that use error messages.
• All the failing tests have been manually reviewed and the expected outputs updated.
• Regression tests from #537 show a minor change where function application is now expressed as an image rather than a relation projection. A step that was formerly performed in type checking post parsing.

Related issues: Fixes #521 Fixes #554

[ozgurakgun]

Not the most important thing, but if you change line 6 in the Makefile to GHC-9.2 the build in the CI might progress a bit further.

[Maurice-Byrne]

Not the most important thing, but if you change line 6 in the Makefile to GHC-9.2 the build in the CI might progress a bit further.

Looks like the env var is explicitly set in the CI

[ozgurakgun]

Oops, yes. Feel free to change it there if you like.