Put all the grammar notes in era-sequents.txt, and fleshed out complete sections for the four additional fragments we currently implement.