[Boost-users] proposal of type_traits extensions