A Strong Typed Genetic Programming Library written in Haskell based on Data.Dynamic