LSP Feature: Inlay Hint
We want to be able to display inlay hints for inferred types, as Rust does.
Acceptance criteria
We show inlay hints for inferred types.
Tests added.