Build errors under GHC 7.8 fixed
The testsuite does not require an installed singletons.
Fix most broken tests
Resurect BadPlus
Fix BadPlus output.
Merge branch 'master' into lambda

Conflicts:
	tests/compile-and-dump/GradingClient/Main.ghc76.template
	tests/compile-and-dump/GradingClient/Main.ghc78.template
	tests/compile-and-dump/Promote/PatternMatching.ghc78.template