`std::execution` as currently specified doesn’t provide support for non-blocking operations. This proposal tries to fix this.