Show underlying Types of alias Types

This is a mirror of my issue for the ionide vscode extension. I was told here would be a more appropriate place to ask
https://github.com/ionide/ionide-vscode-fsharp/issues/1417

Its very annoying when i make types alias's for ease of documentation/domain modeling and it then completely obscures what the underlying type actually is.

I would like an option to show the underlying types of aliases both in intellisense popups/hovering and also in the inline auto-generated type annotations

Example
```fsharp
type id = int
type location= id list
type hierarchy= Dictionary
```
I think a good idea for type annotations and intellisene displaying would be something along these lines
```fsharp
| alias |{ underlying type alias v alias v }
hierarchy{Dictionary}
```
or even just one level deep like:
```fsharp
| alias | { underlying type }
hierarchy{Dictionary}
```

Start by reviewing the mirrored Ionide VS Code issue and the existing IntelliSense hover/pop-up and inline type-annotation entry points. Clarify how deeply aliases should be expanded and how the option should affect both surfaces. Done means users can opt to see underlying alias types in both contexts.

Written by the indexing model from the issue text.