Adds additional type traits to C++ for examining the return types and argument types of functions.