Ziele: Analyse von Typangaben verstehen
im Vorlesungsteil: Typnotationen werden zunächst nicht besprochen, da sie in Core (noch) nicht vorkommen.
Übungsaufgaben: