Get rid of ptr().
Implement element and in_relation constraints. Add support for multiple objectives.
Simplify expr_test.