C++ already needs runtime type information [0] for certain features (dynamic_cast, typeid). So the basic compiler infrastructure is already there. No need to "r

C++ already needs runtime type information [0] for certain features (dynamic_cast, typeid). So the basic compiler infrastructure is already there. No need to "rewrite from scratch". Just add more information into the RTTI data structures and provide the mechanisms to inspect (optionally modify) classes. [0] http://en.wikipedia.org/wiki/Run-time_type_information http://en.wikipedia.org/wiki/Run-time_type_information