Simple lexer tester
Main.hs
Restructured folds to add CNot