UniqueVectors?

[garrison]

Does it make sense to include UniqueVectors here? It may be difficult to categorize; for instance, it is "mutable" but only in certain respects (e.g. it does not implement setindex!). Related, the traits defined here really ought to be defined very precisely.

[ChrisRackauckas]

Yes, it makes sense to add them to the discussion.