Major cleanup and revision. Added dodgy hacks to Hakyll for cool math rendering and Agda integration.