assert consistency of compressedTypes