C++ Proposal: Additional Type Traits