Add the Irreflexive & Asymmetric type classes to Overture.v