Added Relation class and stub for equivalence classes.