Add alternate spec text.

- New introduction and simplification of examples.
- This version includes subsections like "Problem" and
  "General Solution" for most algorithms as well as some
  minor changes like referring to certain algorithms as
  subalgorithms.
- Removal of unused terminology.
- New algorithms, more specificity, merging of a version
  of Markus' inverse context idea w/original algorithms.