I don't think that we should mix two concepts here. The type constraint of an attribute just tells us what types/subsets are allowed to be contained in the attribute.
That an attribute should be passed when instantiating an object (maybe passed but undef?) is another story. And this has not much to do with definedness of an attribute.
