I see what you were saying now about ARRAY.isFixedWidth(). You're right, we'll either need to special case this for arrays, or have array type return true for isFixedWidth(). How about we stick with return arrayElementType.isFixedWidth() for arrray types for now?