Equality between Keys in Keykos

Two keys can be compared for equality by invoking the broadly available DISCRIM key. It is order code 2 on DISCRIM.