Kinds of type variables, inferred kinds of all types

When hovering over types haskell-language-server gives you its kind, but this doesn't work for type variables
```Haskell
import Data.Kind (Type)
data X a = X
f :: forall a b . a -> X b
f v = X
```
For the term variable ``v`` I get ``v :: a``, for the type level ``X`` I get ``forall {k} . k -> Type``, but I only get the "defined at ..." for the type variables ``a`` and ``b``. Similarly but maybe a separate issue - for uses of polymorphic types I also get the applied, more specific type at the use site, but this doesn't happen for types with polymorphic kinds.
```Haskell
import Data.Kind (Type)
type X :: forall k . k -> Type
data X a = X
f :: (forall (x :: Type) . X x -> b) -> X {- @Type -} () -> b
f h = h {- @() -}
```
If I hover the use of h (not the pattern binding it) it tells me both ``h :: forall x. X x -> b`` and ``_ :: X () -> b``, but if I hover X in X () I only get ``X :: forall k. k -> Type``, no ``_ :: Type -> Type``.