Genetic programming language with a strong type system

First prototype in python, work in progress, I should think of more interesting project names.