Add types to symbols outline in LSP

[b-studios]

We infer types but then don't show them, which is sad.

The symbols outline could show them making it a bit more useful

This could for starters look very similar to my LLM experiments:

Ideally, structured a bit more clearly (that would need to be done on the VSCode end, though).