Updates readme with a Y combinator example