added an hlint test suite
fixed quickcheck test suite to use the new Mat signature
workaround HLint's parser
fixed doctests