SAT/CNF.hs: don't export non-existing data