detailed copyediting in sections 1 & 2

also fixed a/b alignment in examples using tabular, although I can't
get vspace to make the example number go on the same line :(