Fitted listings and explanations in causal step semantics subsec
Adapted build to do post-generation patching of Agda-Latex (trimming
etc.)