Corrected bits and pieces
General review and structure formatting
Intro split into What is / Background
Research question and method in one slide
Fixed Haskell code in dtp-agda
filled in definitions in section-intro-background and lava code
Items subdivided / thanks slide
Missing Coquet reference and final comparison