Sorry, I should have been clearer about which proposal I was talking about:

https://github.com/tc39/proposal-type-annotations