Modules

• Proper.BDD
• Proper.CNF
• Proper.Clause
• Proper.Sentence
• Proper.Utils