Add heuristic for most constrained variable.
Cache size of domains.

Small performance boost as domains are immutable and
size/isEmpty/isUnique are frequently invoked.
Replace cardinality constraint with occurrences.