Refactor examples to use common run function
Add y-combinator example, ported from lisphp