Updated to latest hakyll, started rewrite of proof section