As a consequence of the redefinition of the Controlled type as a base type
with the new aspects defined, interoperability with controlled type naturally
follows the definition of the above rules. In particular:
It is possible to have a new finalized type have a controlled type
component
It is possible to have a controlled type have a finalized type
component