Typed JavaScript? For real? The “type annotations” proposal and what it’s all about by Gil Tayar