It would be nice to be able to symbolically represent "apply CNOT on qubits 1 and 3 of some multy-qubit state"