Introduce a representation for AutoIdVector.