Type promotion between MixedDestabilizer, Stabilizer and others, also used in ⊗

Type promotion between MixedDestabilizer, Stabilizer and others, also used in ⊗ #778