Extensions to the type traits section of the C++ standard library