Add Ordinal type

[ohansFavour]

This PR adds a new Ordinal type that creates a type that converts a number literal type to its ordinal string representation.

[sindresorhus]

What's the practical use-case for this at the type-level?

[ohansFavour]

@sindresorhus The Ordinal type has some practical use cases at the type level, particularly when working with type-safe string templates. For example:

• Type-safe date formatting libraries:

type DateFormat<D extends number> = `MMMM ${Ordinal<D>}, YYYY`;
type FormattedDate = DateFormat<3>; // "MMMM 3rd, YYYY"

• Achievement systems that need compile-time guarantees for rank formatting:

type AchievementLevel<N extends number> = {
    rank: Ordinal<N>;
    unlockMessage: `You've reached ${Ordinal<N>} place!`;
    badge: `${Ordinal<N>}_place_badge`;
};

// Ensures correct formatting at compile time
type GoldAchievement = AchievementLevel<1>;
// {rank: "1st", unlockMessage: "You've reached 1st place!", badge: "1st_place_badge"}

• Educational/Quiz application types where question ordering is semantically important:

type QuizQuestion<N extends number> = {
    prompt: `${Ordinal<N>} attempt: Choose the correct answer`;
    feedback: {
        success: `Correct on your ${Ordinal<N>} try!`;
        failure: N extends 3 
            ? "Final attempt failed. Please review the material."
            : `Try again (${Ordinal<N extends number ? N + 1 : never>} attempt)`;
    };
};

// Automatically generates correct ordinal messages
type SecondAttempt = QuizQuestion<2>;
/* Results in:
{
    prompt: "2nd attempt: Choose the correct answer",
    feedback: {
        success: "Correct on your 2nd try!",
        failure: "Try again (3rd attempt)"
    }
}
*/

[ohansFavour]

@sindresorhus what do you think?

Ref: #1025 (comment)

[sindresorhus]

While the type is an impressive technical achievement, I'm not convinced by any of the mentioned use-cases. None of them are something people would actually do in production. I will let other maintainers here share their opinion too.

[som-sm]

I agree with @sindresorhus; the type looks really cool, but I can’t see any real-world use cases for it.

@ohansFavour Perhaps if you share some practical code snippets, it would help us understand better.