Improve support for half-reified constraints

[arbimo]

PR #172 has introduced a preliminary support for half reification.

• Support half-reification in all constraints
  • LinLeq
  • Max
• leverage half reification in solvers
  • planning
  • scheduling
  • flatzinc
• improve API (expression still mostly assume normal reification)