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}
```

Comece revisando a issue espelhada do Ionide VS Code e os pontos de entrada existentes do hover/pop-up do IntelliSense e das anotações de tipo inline. Esclareça até que profundidade os aliases devem ser expandidos e como a opção deve afetar ambas as superfícies. O trabalho estará concluído quando os usuários puderem optar por ver os tipos subjacentes dos aliases em ambos os contextos.

Escrita pelo modelo de indexação a partir do texto da issue.