experimenting with Y-combinator tutorial

These are notes from the Y-combinator derivation at
http://mvanier.livejournal.com/2897.html