Convert list to array in cardinality constraint.
Add todo note.
Remove wildcard generics.
Add finite value num occurrence constraint.