Type DA structures, testDelta, and type DA identity