Если вдаваться в технические детали конкретной реализации, то в КП (думаю, что и изначально у Вирта) все технические поля размещались по смещению с минусом от базового адреса объекта. Ну а уж виртуальная таблица вообще не у экземпляра, а у его дескриптора типа.

Т.е. SIZE - это чисто размер под информационные поля, с учётом выравниваний.

Вариант определения SIZE:
Если считать, что конструкция VAR x: ARRAY n OF Type не имеет собственной метаинформации (а оно так и есть - размеры статически проверяет компилятор), то SIZE = размер в байтах, занимаемый массивом / n.
Хотя тоже через одно место как-то )