Excessive type variables error on definition should include more explanation

[mn200]

In particular, I think it should be possible to isolate sub-terms that include the excess type variables without just including the whole of the definition.