Annotate BarValues for purity and equality.