More documentation updates, delete some obsolete annotations.

Also, remove all references to the term "Design by Contract", as this is trademarked.