add language server type annotations

[fgardt]

This adds a lot of variable / parameter type annotations so that the language server can provide useful suggestions / warnings