Ага. В своем объектном Форте я тоже так делал, но не смог раскрутиться. Сейчас, наверно, смог бы за счет ума компилятора.

Кажется, я бы сделал даже иначе - каждое значение состоит как минимум из "головы", из которой могут расти "хвосты" (Г.Цейтин уже над этим 15 дет назад отсмеялся). Тип головы должен быть в точности выводиться во время компиляции. Каждый хвост снабжается константным тегом представления. В голове логически обязан быть представленный ссылкой интерфейс. Физически умный компилятор может интерфейс извести - например, если известно, что для данного типа его подменять запрещено. Динамика типов делается через подмену интерфейсов, каковые должны быть совместимы с типом. Если очень хочется, можно завести подтипы на головах, но подтипы очень ограниченные - тип в точности известен, присваивать надтипу можно (при условии совместимости ьекущего интерфейса с надтипом), но при этом надтип и получается путем отбрасывания полей.

Хорошо это тем, что делать можно все безопасное: хоть указатели на указатели, хоть указатели в середину, хоть трэйты...