default value 'empty' for collections
Currently, default values for collections must have at least one element. It should be allowed to give an empty default.
Moreover, it would make sense to allow the empty collection default value for collections of references.