[NFC] Cleanup MCState and reorder the code
Created by: PhilipVinc
This PR moves around the files of MCState/MCMixedState to disentangle them a bit.
Also simplifies how expect
is written for most operators.
I'm unsure if we like it but would like to hear from people what they think