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.
Merge pull request #12 from carealejo/master

Factorized constrain posting functions.