\begin{slide}{Abstrakte Interpretation}
  \begin{itemize}
  \item konkrete Interpretation (Programm $\mapsto$ Daten)
  \item abstrakte Interpretation (Programm $\mapsto$ Zielprogramm)
  \item abstrakte Interpretation (Programm $\mapsto$ Typ)
  \end{itemize}

Plan: definiere
\begin{verbatim}
data Type = Int | Bool 
          | Func Type Type | Tuple [ Type ]
\end{verbatim}
und ersetze in Eval.hs überall \verb|Env Object|
durch \verb|Env Type|  

\end{slide}
