P4354

This paper proposes wording-only changes to simplify the specification of `let_value`, `let_error`, and `let_stopped`, along with future, proposed asynchronous algorithms.