ECMAScript proposal for type syntax that is erased - Stage 1