Improve tracing slightly
Zonk the existential type variables in tcPatSynDecl

This was just an omission, which showed up as Trac #8966
Improve documentation of GeneralisedNewtypeDeriving