The types referred to here are not to be confused with the datatypes of programming languages, nor with the types in Russell’s theory of types; they do, however, include the ‘types’ of the type/token distinction introduced by C. S. Peirce, for which the locus classicus appears to be (Pierce, 106, pp. 423-24).