>Мы отказались от этого, поскольку хотели сохранить как инвариант то, что интерпретация значения подкласса как экземпляра его суперкласса не меняет представления значения.

Неужто это нельзя было как-то перевести на литературный русский/английский язык или хотя-бы на программерский жаргон?