rename include header/cover pages
Rename includes again. They are now named directly after pandoc flags.
Use pandoc_title_block extension in articles.
Remove the draft for equivalence relations and partitions. I didn't have anywhere for this article to go.