Notes
First pass at CNF normalization with pattern matching