Ein erweitertes Typsystem mit Lambda-typisierten Lambda-Ausdrücken