phantom types for CCVector, for read-write and read-only vectors