Added:
- arithmetic operations;
- weak constraints;