Derive Ord correctly for EQ case. #26 almost done