Genetic programming with polymorphic types and higher-order functions