Improve documentation of -XFlexibleInstances

I ended up introducing a new sub-section on instance termination.
Comments only (mainly about HsWithBndrs)