=Typecheck angefangen. Beispiel in ungetypte Syntax umgewandelt