Type hovers should contain more precise information

[jonas-schievink]

Hovering over v:

Hovering over its type inlay hint:

When hovering over a variable, the Global link should (probably? it seems confusing) be omitted, since it is the default also omitted from the type.

When hovering over a type inlay hint, links should be inserted just like we do for variable hovers, and defaulted types like Global should be omitted (seems like an opportunity to deduplicate some code too).

[jhgg]

When hovering over a type inlay hint, links should be inserted just like we do for variable hovers, and defaulted types like Global should be omitted (seems like an opportunity to deduplicate some code too).

My understanding is not possible right now w/ LSP spec. (actually upon further reading, it might be possible? it looks like the tooltip is allowed to be MarkupContent although I think it might require a slightly different renderer than we do for hover?)

cc #12381