Modernize the idioms in name_pool::add