Better error message when trying to derive classes for
existentially-quantified data constructors.

And a general slight tidy up in TcDeriv