move decidable equality to Overture