Add a first implementation of the self-application operators in order
to functorize the Y combinator derivation.
Add a first implementation for the Y combinator with multiple recursion
arguments and test a simple ``length'' invocation.