We use Monte Carlo techniques and analytical methods to study the phase For M = 2 there is a direct second order transition from the gas phase to the demixed phase while for M ≥ 3 the transition at z d (M ) appears to be first order putting it in the Potts model universality class. For M large, PirogovSinai theory gives z d (M ) ∼ M − 2 + 2/(3M 2 ) + .... In the crystal phase the particles preferentially occupy one of the sublattices, independent of species, i.e. spatial symmetry but not particle symmetry is broken. For M → ∞ this * Permanent Address: