Update compare types to work when the input is a generic

[dimfeld]

Fixes #460.

The solution to this ended up being slightly more complex than I thought, because the final two test cases check that it is a type error to compare a Number to a number

There's some weird non-transitive extends behavior here , which is why the original Exclude<T, Primitive> was used.

• Number extends object = true
• number extends Number = true
• number extends object = false

So I changed the type parameters to compare<T1 extends object, T2 extends T1 & object>, which keeps the tests passing while also allowing it to work with generic arguments.

I also added the types entry to the export map for compatibility with TS 4.7 node16/nodenext module resolution.

[angus-c]

Thanks this is great!
Published as [email protected]