Now capable of modeling zoos :) (example from Jimmy's paper).
Implemented integer references, but requires major refactoring,
especially for quantified constraints.