ghci Rules.hs Rewriting.hs Representations.hs Base.hs