after looking at the possible alternatives and thinking about what they
would mean in practice, I have now made some decisions on how to clarify
the still ambiguous points in the collection definitions, most
particularly the issue that Ulrich raised on the mapping function.
I have uploaded a new document version and a new diagram to the workspace: