Add some simple examples of synthesis from examples, with holes