Add some code for attempt a recursive self application.
Almost finished the derivation of the Y combinator.