Move auxiliary documentation into docs/ folder.
Tweak states and fates documentation.
Add to and clarify specification-writing guide.

Closes #84, closes #85.