I don't think you can do it like this for multicolumn lt, gt constraints. The natural constraint is:
  a < val1 or (a == val1 and b < val2)
at least that is what PostgreSQL gives you.