Delete some unused code
Add reifyGraphSAT to MonadSAT for now
Make showSAT :: … -> IO String for now, think about unsafeCoerce and safety later