Allow domains over composite types

Allow domains over composite types

Edit