New constraint system. TBD: Implement global constraints like Alldifferent, Reified, etc.
totally new constraint system! (yup)
no message
Added abs, occurrences, <=>, reify, nth