Functional genetic programming and exhaustive program search with combinator expressions