It's not a proposal for ECMAScript!