Added isIdentity method to QMatrix.
Labels of representations are now consistent with those defined in the thesis. Added LaTeX labels for representations. Conversion matrices now preserve normalization, at the cost of having rational coefficients. Started rewriting of the conversion matrices code to look more like the pseudo-code in thesis.
Added Party constructor using :_*.
Rewritten rest of conversion matrices to look like pseudo-code.