I would appreciate CREATE ASSERTION statements too. This would be a
more genric tool than putting this into a FOREIGN KEY constraint. Not
all the rules you might want to enforce involve a foreign key. Also
this would be according to the SQL standard.

To allow subqueries (also from diff. tables) in CHECK constraints
would also be interesting.