Design edits

A few edits to design docs, feel free to cherry-pick if you don't want them all.