cpp Virtual for the type traits section of the C++ Technical Report 1