Applying updates from telecon review.

- Remove references to ill-formed program in 14 (they
  belong elsewhere).
Wording and formatting.
Start reworking fold expressions.