Improve print_value (used for debugging GC) for symbols