Proposal for the ECMAScript Programming Language