I developped a patch to report more comprehensible type error messages.

It is described in this paper.