Haskell library for manipulating propositions.