Los roles definen tipos nominales; proporcionan nombres de semántica para las colecciones de comportamiento y estado.