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

Comienza revisando el issue reflejado de Ionide VS Code y los puntos de entrada existentes para el hover/pop-up de IntelliSense y las anotaciones de tipo inline. Aclara hasta qué profundidad deben expandirse los alias y cómo debe afectar la opción a ambas superficies. Se considera terminado cuando los usuarios pueden optar por ver los tipos subyacentes de los alias en ambos contextos.

Escrito por el modelo de indexación a partir del texto del issue.