DInv for ZXWDiagram

[ChenZhao44]

We need to support DInv which is the inverse of D to make it more expressive.

[exAClior]

Hello @ChenZhao44 , I might have misled you about what we have implemented for D, it's the star spider in this paper. the DInv will simply be $X * D$ (in the matrix operation order). And the triangle inverse could also be obtained from D and X(1.0) Z(1.0). Do we still need to promote DInv to the level of an generator?