without the roles for \CI{Upd}. Assignment would be possible to a
non-assignable expression such as a literal integer.
-\begin{lstlisting}[%
+\begin{lstlisting}[language=Clean,%
label={lst:exprhier},caption={Expression role hierarchy}]
:: Upd = Upd
:: Expr = Expr