Finished to report the Felleisen and Friedman journey to derive the Y combinator
and wrote a ``multi-arguments'' version of the combinator applying it to define
two new version of ``length'', one using the accumulator technique, the other using
the collector technique.