Non-minor rewrites of the design spec to accomodate new requirements

Paul Nitzkerequested to merge
design-change into master

See the included commits for details. Includes many fixes for the preliminary release version.

Merge request reports