cos-st-restricts.1.1: The type 'bb....bb' is atomic, so its {base type definition}, 'aa....aa', must be an atomic simple type definition or a built-in primitive datatype.

The type bb....bb is atomic. Therefore, its base type definition aa....aa must be an atomic simple type definition or a built-in data type.