Editorial: Use Bikeshed's algorithm and var more better (#336)

Switch from <div class=algorithm> to <div algorithm> to get better var highlighting/checking. A consequence of this is fixing issues, the biggest one being places where algorithm A calls into B with named parameters, e.g. "with foo as bar". In that case, "bar" needs to be called out with <var ignore>.

Named arguments removed in favor of positional arguments everywhere. Also, the convoluted phrasing around passing an operation to "asynchronously execute..." was simplified by making the operation assembly into an anonymous algorithm a separate step. 

A few other glitches were noticed along the way, e.g. in domintro sections, some non-normative text was correctly marked as asides, and a few incorrect variables were fixed.

Big thanks to @domenic for his suggestions and guidance here.

Author: inexorabletash