feat(dissertation): add code example for modular compose functions

pub/dissertation/dissertation.tex

@@ -13,6 +13,7 @@
 
 %\usepackage{vdmlisting}
 \usepackage{listings}
+\usepackage{minted}
 % Taken from vdmlisting
 \lstdefinelanguage{VDM_SL}
   {morekeywords={RESULT,\#else,\#endif,\#ifdef,\#ifndef,abs,all,always,and,as,atomic,be,be st,bool,by,card,cases,char,comp,compose,conc,dcl,def,definitions,dinter,div,dlmodule,do,dom,dunion,