Write a first version of the derivation of applicative order,
imperative Y combinator and wrote a simple `length' function
to use the combinator, especially to type check written definitions.