more shortcuts in OrdinalSet.equals