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

まず、ミラーされた Ionide VS Code の issue と、既存の IntelliSense のホバー/ポップアップおよびインライン型注釈のエントリポイントを確認します。エイリアスをどの深さまで展開するべきか、またオプションが両方の表示箇所にどのような影響を与えるべきかを明確にします。ユーザーが両方のコンテキストで基になるエイリアス型を表示するかどうかを選択できれば完了です。

索引モデルが issue の本文から書いたものです。