In Solver, I have a column of changing cells, only binary values allowed,
representing three product types A, B and C with multiple cells assigned to
each type. The column sum limit is 4.

If a single cell from Type A or B is filled with 1, then all other cells
must be 0. There can be up to three 3 entries in the type C cells.

Summary of Column Sum States: 0 in all cells; 1 in a single cell; 2 or more
(must be entries in Type C cells only)

How do I write the constraint for this?