Type-strict Crossover

To do crossover in a language rich enough to allow a variety of expression types, we must take the type of each point in an expression into account when performing crossover (and when creating the initial population of creatures). To do this, we have a Lisp structure operator-specification which includes the result type of an operator and its argument types.