string.typeToString (typeOf (scratchpad)) » "tableType"
string.typeToString (typeOf (user [1] [1])) » "stringType"
It may come in handy in other similar applications.
It's an inverted system.compiler.language.constants.
This verb is implemented as a script.