Standards proposal would allow annotations to be checked by external type checkers like TypeScript but treated as comments by the JavaScript engine.