Haskell program using Gödel encoding to transform simple mathematical statements to integers and back.