Some refactorings to profit from pattern-driven dispatch
More refactoring for set comprehensions and ADT use
More refactoring/remodularisation
Refactoring will soon become harder to do; most superficial improvements done
Massaging test cases
Combine all test cases into one suite
Moving modules around and renaming them