Experimentation with SK-combinator calculus (and maybe genetic programming).