Factorized constrain posting functions.
- Any given constraint is posted using a record. The correct builtin is called according with the record number of arguments.
- Supported dom, distinct and arithmetic propagators.