Simple propositional prover written in Haskell