Add "Transformation type traits" (N3655).