This patch moves the type-printing code from recursive_dump_type() into 
the new function type_code_name().  It's handy when one wants to use 
the type code of a type in debugging or warning/error messages.