Update containers to 0.5.2.1 release

(+ local fix for PolyTypeable)
Update binary to 0.7.1.0 release
First attempt to warn for Monad instances without Applicative
double warnings fixed, PrelNames for join etc. added
Applicative/Monad instance warning working
Prelude-clashing function checks seem to work
Warning messages prettyprinted
Added MonadPlus/Alternative warnings, refactored, cleanup
Refactored
Fixed PrelNames.lhs' missing entries for Alternative etc.
Fixed PrelNames once again
More fixing attempts to no avail
tcLookupClassMaybe added
Full build works!
-fwarn-amp compiler option