Another major editing pass. Move __future__ into spec. Add section about compatible code.