Pull sections up one level
Add space to end of coq and ssr macros
Spelling fixes
Revert "Add space to end of coq and ssr macros"

This reverts commit 527bab00f08a92a4af9f91486b2202569ff75fca.