Chaging definition of spin operators

They are now defined in terms of the spin operators rather than the Pauli matrices for consistency with tnt code.