add y_combinator examples.