eq-rewrites

Example usage:

-- Rules.knf
knf  $ "A" .|| neg ("B" .&&. "C") ||| ("B" .&&. "E")

-- RewriteSeq.printSeq
putStrLn $ pPrintSeq pPrintF $ knf $ "A" .|| neg ("B" .&&. "C") ||| ("B" .&&. "E")

-- RewriteSeq.printTeXCodeSeq
putStrLn $ printTeXCodeSeq printTeXCodeF $ knf $ "A" .|| neg ("B" .&&. "C") ||| ("B" .&&. "E")