Improved TypeTraits.