Unique Indexes on predicates

We’ve planned this issue for v0.9:

@pawan is assigned to this.