sync back cover with intro
Better dependencies
Macros for formatting in narrow and wide page
Parametrizing w.r.t. paper format
raggedright section titles
Fixed usage of \Coq and \Agda macros