Add __operator_traits header