New AST types

[kazcw]

Pull Request Description

Introduce new AST type; use it to replace current uses of AstExtended; for now edits and synchronization are implemented on the old mechanisms (text edits / RelativeRange id map).

Important Notes

• Edit-related code is commented out until the next PR because it is incompatible with the transitional IdMap-based synchronization.

Checklist

Please ensure that the following checklist has been satisfied before submitting the PR:

• The documentation has been updated, if necessary.
• Screenshots/screencasts have been attached, if there are any visual changes. For interactive or animated visual changes, a screencast is preferred.
• All code follows the
  Scala,
  Java,
  and
  Rust
  style guides. In case you are using a language not listed above, follow the Rust style guide.
• All code has been tested:
  • Unit tests have been written where possible.
  • If GUI codebase was changed, the GUI was tested when built using ./run ide build.

[Frizi]

I'm not sure if this will necessarily be the only use. The concrete AST might still be more suited for things like alias analysis, unless you think that it can be easily implemented on top of this abstract AST as well.

[kazcw]

abstract.ts is ready for review--I don't expect any further changes, except to the editing functionality which is currently commented. WIP changes to the application logic are included to demonstrate usage of the new APIs.

The rest of the API changes, except for using the new AST for editing, will be ready soon (hopefully today). Editing will be a follow-up PR.

[farmaazon]

I haven't checked if my comments are resolved, but we agreed to merge it to unblock work. I will re-review the AST-related code once it will be more or less done (with editing).