... which is analogous to my "prov:hadMember with domain Collection and range Entity", which gets reused on Dictionaries.

as per Tim's suggestion:

"I would think that avoiding Insertion, Removal, and Membership for the general Collection would be a reasonable shortcut, if it meant that we could avoid proliferating (doubling) the number of terms (DictionaryInsertion, CollectionInsertion, etc.).

I think "leaving collection at prov:Collection and hadMember", and doing everything else as already is (Insertion, Removal, Membership) with Dictionary seems reasonable."

Paolo:

... completeness. On Friday, tried to clarify what complete means, and to include Collections