eliminate Object::get_type_name()