New specification structure. Remove superfluous header sections. Closes #59. Closes #57.