An Instance must have a name, or its type must be defined.
Instances with neither name nor type cannot be distinguished from each other.
When an Instance specifies the type it instanciates, the name is optional.