unique_symbol_type