What should we add?

We currently can't access the Pauli that a given PauliProductMeasurement implements using a public interface. We should add this, e.g. by adding a def pauli(self) -> Pauli method .