Corrected E-RAsync-Yield, added rules for awaitNextOrDone, more text