feat(lsp): Add Inlay types

[spotandjake]

This pr adds inlay types which closes #1359.

This pr is marked as a draft as there is still some work that needs to be done:

• We probably want to simplify some of the type signatures (i.e function types can get very complex, might be better to just say Function, and show the return type and param types on the actual lambda)
• We probably want to add a config to the vscode extension to toggle inlay types, as you might want inlay hints like the module hints but not the types.
• We should probably decide if we want to enable inlays on Tuple patterns, record patterns, constructor patterns

Current Demo Below: