option and exchanged during the handshake so that the server knows the
multithreading capabilities of the client.
-\todo{Parametric lenses on devices share?}
+Hardly any work has been done in the interpreter. The current interpreter is a
+no nonsense stack machine. A lot of improvements can be done in this part. For
+example, precomputed \emph{gotos} can improve jumping to the correct part of
+the code corresponding to the correct instruction.
\subsection{Resources}
Resource analysis during compilation can be useful to determine if an