Let me call them this way. I wonder whether there is a "conversion" table between these names. Examples:

objectid:=x->kernelopts(dagtag=disassemble(addressof(x))[1]):  

-1;objectid(%);
type(%%,negint);

                                  -1

                                INTNEG

                                 true

1;objectid(%);
type(%%,posint);

                                  1

                                INTPOS

                                 true

x>1;objectid(%);
type(%%,`<`);

                                1 < x

                               LESSTHAN

                                 true

2/5;objectid(%);
type(%%,fraction);

                                 2/5

                               RATIONAL

                                 true

These conversions are not available in (its natural place?) the Maple Advanced Programming Guide, A.2 Internal Representations of Data Types. And I do not find them trivial either.

Eg. the order of the components of the names is permuted here:

negint <-> INTNEG

posint <-> INTPOS

Any pointer to such a table?