Inferred type instantiation on hover

Hover over on the `size` function shows the following type
```motoko
var list = List.empty<Nat>();
List.size(list);
//   ^^^^ <T>(list : List<T>) -> Nat
```

Ideally, it should show the inferred type instantiation so that we know that the compiler inferred `T` to be `Nat` 