support for unique constraints [in progress]