Здравствуйте, AlexTarvo, Вы писали:

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

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

Попробуй. Получится лучше — заменим.