Theory/strong consistency cleanup 

Quite a bit of cleanup: shorten the document quite a bit, typos, stuff.

Addresses #1044