1) Finally got 'real' lambdas:
The interface Lambda represents the category of (supported) lambdas. The
conrete lambda types are encoded as λ to save space, e.g. the curried
form `λ1<T1, λ1<T2, λ1<T3, R>>>` of `λ3<T1, T2, T3, R>` is much simpler
to use than `Function1<T1, Function1<T2, Function1<T3, R>>>`. Now
imagine the type signature of `function13.curry()`...
2) The all new shiny lambdas are now 'reflective'.
The `Reflective` interface adds some reflection support to lambdas. This
one has to be carefully used only and only with @FunctionalInterfaces.