ORDINALSUCC returns an ordinal that is the next higher value the
ordinal x could assume.
>>-ORDINALSUCC(x)----------------------------------------------><
- x
- Reference. It must have ordinal type.
The returned ordinal has the same type as ordinal x.