Исправил ошибку в вычислении размера головы записи. Временно убрал запись типового объекта в ячейку - надо сначала разработать теорию типовых значений и эквивалентностей. Убрал чтение типа из ячейки и сравнение типов.