Some proto-spec work on exact promise semantics for the DOM and ES.