QuantumSavory has project_traceout!, which automatically traces out measured qubits. Currently QuantumClifford only has project! and projectrand!, which do not trace-out. Instead, this needs to be done manually when desired. Since I would imagine that in a lot of contexts (especially in quantum communication) one would want to trace out qubits after measuring, it would be nice to have a function that includes the measuring and tracing out.