Show fully qualified name of types in hover tooltip

[MoritzHamann]

The current hover tool tip only shows the type name of a variable. It would be nice to have the option to show the fully qualified name of the type inside the namespace/module hierarchy. As an example, in the following file hovering over M1T and M2T both show the type as T.

open System

module Module1 =
    type T = {Name:string}
    let New name = {Name=name}

module Module2 =
    type T = {Name:string}
    let New name = {Name=name}

open Module2

[<EntryPoint>]
let main argv =
    let M1T = Module1.New "test1"
    let M2T = Module2.New "test2"
    0

Desired behaviour
I would find it useful, if the tooltip would show Module1.T for the name of type M1T and T for M2T, since the module is opened.
Ideally, this could be controlled via an option, with the following selections:

• Only show type name (current behaviour)
• Show additional hierarchy of unopened modules/namespaces: would show Module1.T for M1T and T for M2T
• Always show fully hierarchy: show Module1.T for M1T and Module2.T for M2T