feat: Improve type inference for Argv

[goisaki]

This PR improves the type of Argv using generics.

Changes

• Removed internal Default type
• Added new internal Simplify type utility to keep the IDE hover type display clean (from type-fest under CC0-1.0)
• BREAKING: Changed mri function generic
• BREAKING?: Changed the exported Argv type with compatibility

Demo

After:

Before:

[goisaki]

We can also remove this:

https://github.com/goisaki/lukeed-mri/blob/f013b41820f4cff43eed953da534af87dc6be454/index.d.ts#L38

[goisaki]

And note that this is an “ideal” type for convenience, but may differ from the actual.

[lukeed]

Hi there,

This is definitely breaking, and so I wouldn't be able to merge it as is, but it's prompted me to improve the type inference. Will update shortly

[goisaki]

Thanks, @lukeed!
If I am allowed to do that implementation, I will make a version that is compatible. Or should I close the PR?

[lukeed]

I did it already, while adding options.default support. I will add options.alias support later, as it's more complicated.

This updated version still allows users to pass in their own T value (as an override), to ensure/preserve non-breaking type behavior: