refactored clause code out of Proper.CNF into its own module