Fix unreferenced definitions

This takes us down to zero respec warnings when bulding the spec.

We still have terms which are only referenced in non-normative
contexts. That's probably also a bug, and could be fixed in a
followup. However this at least provides a clean baseline for future
spec work.