Move Normative Text Out of Appendices

[bashbaug]

See: #1467 (comment)

We should:

1. Clearly document which appendices are normative and which are informative. Are all appendices informative?
2. Move the normative text from Appendix C out of the appendix and into the main spec.