ECMAScript proposal for type syntax that is erased - Stage 1 - View it on GitHub