re-implement group / packing
Ignore some more stuff
Template Haskell for quickCheckAll
new parenthese