Some updates to the spec.
More stuff for the spec.
Working on more config-related stuff, equivalence sanitization.