Arithmetic propagators full supported.
Merge pull request #21 from carealejo/master

Arithmetic propagators full supported