Multiple-type objects in an enhanced C++ persistent programming language