Add some simple examples of synthesis from examples, with holes
Some list benchmarks with tests as spec