Een beetje spelen met lambdas. Zitten nog een aantal fouten in.
Hernoemen van variabelen voor substitutie wil niet lukken. Ben te moe om
het nog rond te krijgen. Zal voor een andere keer zijn, met een frissere
kop.