Clean up LANGUAGE pragmas
Add Boolean versions of all and any
Implement/ignore HLint suggestions
Make RegexpGrid.Problem more readable
RegexpGrid.Types: Encode 0 as the char preceding A
Bit: Base and, or, all, any on Foldable
Bit: Instances: Use the class default (==>)
Bit: Bool instance: xor = (/=)
regexp-grid: No need for -O2
regexp-grid: toList is no longed needed
Update CHANGELOG
Problem: QDIMACS: Skip implicit first existentials
Problem: QDIMACS: Add a padding existential if needed