cpp/header/type traits

This header is part of the metaprogramming library.