Motivation

Bisher: Typ-Deklarationspflicht für Variablen in Lambda.

scheint sachlich nicht nötig. In vielen Beispielen kann man die Typen einfach rekonstruieren:

let { t = \ f x -> f (f x) 
    ; s = \ x -> x + 1
    } in t s 0

Diesen Vorgang automatisieren!

(zunächst für einfaches (nicht polymorphes) Typsystem)