The contragradient_rep:
 * D~(g)=Transpose(D(g^))
 * D~(g)ab=D(g^)ba

D~(g1)D~(g2)=D~(g1g2)

D unitary => Transpose(D(g^))=D(g)*