added U combinator examples and inspect examples.