moved a.runiq to RelationProperties (where it replaces former right_unique)
but giving it a more straightforward definition, which makes some proofs easier