Currently, we have "single value" (exactly 1 value) and "multi value" (more than 1 value, unlimited). I think this system could be extended or unified.
- Have only one constraint type: "number of values"
- Each constraint statement needs a qualifier "count" with a quantity.
- Great extension could be "at least"/"at most" qualifiers, both would be optional (perhaps could be replaced using bounded quantity in "count").
- Keep "single value" and extend "multi value" (if the previous change would be too breaking).