Commented `Y_bang' fix point derivation.
Write a new implementation of `depth_star' using the imperative
Y combinator and test it.
Add a test case for `length' function, stressing Y imperative
implementation.
Add the definition of bizarre_via_y_imperative function
to show a difference between Y and Y_bang :)
Add a dedicated file for the applicative order Y combinator,
following the derivation used in `The Little Lisper' book.
Finish to rework the derivation of Y applicative fixed point combinator
from `The Little Lisper', nice nice :)
Fix two names in early comments about Y applicative derivation from Little Lisper.
Changed the name `curry_maker' to 'rember_from_slist_maker' in order
to better understand the Y combinator derivation from Little Lisper book.
Remove generic file `y-signatures.sml' and replace it with a new
one for the applicative Y combinator.
Refactor self application and add tests for length using new
Y applicative from Little Lisper.
Remove an unused signature about Y applicative.
Add a comment about `bizarre' function to understand it deeply
Introduce couting of Sexp.Cons constructor application for
function `deep' and refactor their functors in order to have
parametric polymorphism instead of fixing a type statically.