Adding token_print() back from d6cfdec, with category printing
Adding token literal categories to map_type()
Renaming to typeinfo_expr() to type_check()
Adding typeinfo globals for token literals' basic type representation