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

F>1) Распознавание конвертируемости и наследования на этапе компиляции.
F>2) Оболочки вокруг TypeInfo для рантайма

К сожалению я не знаком ни с первым пунктом, ни со вторым. Я почитаю и отвечу.

Однако, дело ведь тут не в распознавании типа и конвертируемости, а в том, чтобы в рантайме ИЗМЕНИТЬ класс объекта, скажем, добавить еще один класс, к которому данный объект принадлежит/от которого он наследован.

Говоря очень утрированно, сегодня я, скажем, User, который работает в Ворде, а завтра подучился — глядишь и не только User, а еще и Programmer, который пишет под ворд макросы. А послезавтра выясняется, что я еще и Taxpayer.... и т.д.