Solver-specific constraints and objectives are now responsible for checking feasible mathematical expressions.
Merge branch 'abs_objective' into devel
_canonicalize convert numbers to sympy numbers now