P3149R11 async_scope - Creating scopes for non-sequential concurrency

[exec.associate]p12 Renamed "scope_token" to "scope_tkn" due to libconcept of
  the same name.
[exec.spawn.future]p2 [exec.spawn]p2 Employ bullets.
[exec.stop.when]p3 [exec.counting.scope]p11 Merged paragraphs via bullets for
  clarification ("sndr" and "token" aren't defined otherwise and get confused
  with the \exposids of the same name).
[exec.counting.scopes.general] Added missing \expos comments.
[exec.counting.scopes.general] Fixed "close" in scope-state-type to "closed".
[exec.counting.scopes.general]p1.3 Changed "the scope" to "scope".

Author: burblebee

source/exceptions.tex

@@ -1126,8 +1126,17 @@
 when \tcode{unhandled_stopped} is called on
 a \tcode{with_awaitable_senders<T>} object\iref{exec.with.awaitable.senders}
 whose continuation is not a handle to a coroutine
-whose promise type has an \tcode{unhandled_stopped} member function.
+whose promise type has an \tcode{unhandled_stopped} member function, or
 
+\item%
+when an object \tcode{scope} of type
+\tcode{std::execution::simple_counting_scope} or
+\tcode{std::execution::counting_scope}
+is destroyed and
+\tcode{scope.\exposid{state}} is not equal to
+\exposid{joined},
+\exposid{unused}, or
+\exposid{unused-and-closed}\iref{exec.simple.counting.ctor}.
 \end{itemize}
 
 \end{note}