Refine grnxx::map::HashTable.