Test tuple sections and list comprehensions.
Test infix declarations.
Add more tests.
Add more tests.
Test all literal types and scattered other things.
Test ExportSpecs and PatFields.
Show cabal messages for the user.
Test all of TypeTopType and some of PromotedTopType.
Added conditions for allowing brace matching.
Updated logic for guessing tools paths.