Aeon Language Server

[alcides]

We want to create a VSCode plugin for Aeon that contains the following features:

• [ ] Syntax Highlighting (ideally Semantic)
• [ ] Show localized error messages
• [ ] Show the type of a term on hover
• [ ] Embed a code action to replace a hole with the actual code

There is a skeleton for this project here.