Check that an associated type mentions at least one type variable from the class

Fixes Trac #9167
Improve documentation for -fwarn-unused-binds
Document -fwarn-inline-rule-shadowing (Trac #9166)
Document explicit import/export of data constructors (Trac #8753)

I also added sub-sections to the pattern synonym documentation