[Feature suggestion] Make inline type annotations optional

[jonathan-laurent]

Currently, this extension displays inline type annotations, which is often very useful:

However, this feature can also feel invasive at times (especially since it is also possible to get the type of a declaration by hovering the cursor over it) and I was wondering if it could be made optional.

[mnxn]

There's a vscode setting to disable it:

"editor.codeLens": false