Added support for unique constraints.

Candidate keys in the core model become unique constraints in the relational model.