shows a simple specification containing one \gls{Task} that increments a value
indefinitely every one seconds.
-\begin{lstlisting}[label={lst:taskclass},%
+\begin{lstlisting}[language=Clean,label={lst:taskclass},%
caption={The classes for defining \glspl{Task}}]
class mtask v a where
task :: (((v delay r) a->v MTask Expr)->In (a->v u p) (Main (v t q))) -> Main (v t q) | ...