A REPOSITORY for objects of type O_ can be viewed as a DICTIONARY[O_, STRING] (i.e. objects of type
O_ are stored using key names which are actually ordinary STRINGs).
Also note that stored objects of type O_ are always non-Void objects.
A repository is meant to be stored on a physical store (say, a stream, a file, a database and so on).