Are list types built-in types?

In 7.3.1 Type system, list types are called 'user-defined types'. We would suggest that these are built-in types, since a user cannot name the list type, and two lists that hold the same underlying type are the same type.