Remove mux trash from Sample/BoolTrioSeq
Correctness.agda cosmetic changes