Split off a type_traits.hpp header from types.hpp #607