It is generally known that type qualifiers (such as const and volatile in C++) can be regarded as a form of subtyping : for instance,  con...