It would awesome if one could go to the definition of a type shown in the hover tooltip, ideally by using `Ctrl`+ `Click` in the hover: 