Grundlagen

• (bisher) konkrete Interpretation (Programm $\mapsto$ Daten)
• (jetzt) abstrakte Interpretation (Programm $\mapsto$ Typ)
• (später) abstrakte Interpretation (Programm $\mapsto$ Zielprogramm)

Plan: definiere

data Type =
  TInteger | TBool | TFunction [ Type ] Type

und ersetze in Eval.hs überall Env Object durch Env Type