Может быть я бы в этом духе и делал. Раскладывал соответствующими атрибутами разные типы в разные секции при линковке, и получал бы возможность динамической типизации для указателей на эти типы, если используется только статическое распределение памяти. Несложно, но, увы, нестандартно.