Update jacop and gecode.
Implement string and call expressions.
Test reading expressions.
Add support for logical constraints.
Move variable types in a separate namespace for consistency with objective types.