Table base_type_names

predicate base_type_names(@symbol typeName, @symbol baseTypeName)