A simple term rewriting program, written in Haskell.