[anamexis]

This is only a problem insofar as any data constraint is a problem.

[lmm]

No, it's a specific problem of SQL that you can apply constraints to stored or quasistored columns but not to expressions. In a real typed language every expression has a type.