IntegerP, LiteralP, StringP, ExecutableArrayP, ArrayP, PolyP, FileP, RingP, UniversalNumberP, RationalFunctionP, ClassP, DoubleP, ByteArrayP return data type identifiers. Example: 7 tag IntegerP eq ---> 1