In Modula-2 R10 there is a prototyping mechanism for new types that fit into the existing hierarchy, such as, say another numeric or scalar numeric type. The prototyping modules that describe the rules for such types and their bindings are called