Clean up Clifford->Matrix by defining vec(Pauli).

Also a little re-organization.