added @CastedOrdinal@ and @ordToSNat@, which provides additional order instance