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.