P.S. Just to clarify, by "directly and explicitly related to types" I
simply meant the technical term "type" (or similar words) literally
appear in the message. I myself do not quite think this is too hard
to implement (I remember Benjamin used to do this), though it is just
my thought anyway.
Eijiro