Native type annotations in ecmascript is a serious proposal that gained some traction for quite a while but seems to have fallen off

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