Merge pull request #21 from carealejo/master

Arithmetic propagators full supported