Strawman for adding static types to ECMAScript