This PR makes the colors assigned to different types consistent across multiple e-graphs with the same types. Previously, they could differ, which would lead to harder to understand diffs.
It also fixes a bug where if there were more types than the max number of colors, it would assign an incorrect color ID.
This PR makes the colors assigned to different types consistent across multiple e-graphs with the same types. Previously, they could differ, which would lead to harder to understand diffs.
It also fixes a bug where if there were more types than the max number of colors, it would assign an incorrect color ID.