\subsection{Generation}
The code generation phase transforms a well typed \AST{} to either an error,
or a \tt{SSMProgram}. The latter is a list of labels and instructions. The
-generation happens within a
-\CI{WriterT SSMProgram (StateT (Addressbook, [Label]) (Either GenError)) a}
+generation happens within a\\
+\CI{WriterT SSMProgram (StateT (Addressbook, [Label]) (Either GenError)) a}\\
environment. Which we have implemented as a \tt{RWST} with \tt{()} for the
reading environment. In this \tt{Addressbook} is a simple map from
identifiers to \tt{Address}, which in turn is either a label to jump to or an