Boolean algebra parsing/evaluation in Haskell.