This release includes a very large number of editorial changes and markup fixes. The most notable include: A new convention for calling ReturnIfAbrupt. Namely, the ? operator can precede a call to an abstract operation and indicates that ReturnIfAbrupt should be applied to the result. Substantial normalization of the usage of ReturnIfAbrupt - many missing calls were added, and many superfluous one