ZX: also apply brightness constraint
There may only be one brightness per cell: either two light, or two dark colors.