Fix higher-order functions taking multi-argument functions as input.

[Sintrastes]

Currently, examples such as foldr (\x y -> x + y) 0 [1,2,3,4,5] do not evaluate properly.

I believe this has to do with lambdas always having type Dynamic -> Dynamic.