I've sent 15-127 and 15-110r2 to the server. 15-127 is an interp concerning the differences between "Type type specifier" (4.3.1.2) and "CLASS type specifier" (4.3.1.3) in 12-007. 15-110r2 adds a discussion of "defined previously".