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