Simplifies typings on just-compare

[neil-morrison44]

Fixes #476

• Typings now just take 2 values of unknown type & returns a boolean, which matches the JS

[angus-c]

Thank you!

[angus-c]

@neil-morrison44 FYI The TS tests now fail because it (correctly) no longer expects an error. So just need to remove the @ts-expect-error comments here

[angus-c]

Published as [email protected] (I intended to make this a minor bump but I messed up 😄 )

[sven-nyffenegger]

@neil-morrison44 @angus-c I'm wondering what the motivation was to remove the typings? This change removes the ability to make use of generics (which was fixed with #460)

[neil-morrison44]

@sven-nyffenegger the linked issue explains it fairly well I think - it's mostly to be a better representation of the underlying JS rather than presuming the two things being compared are the same type.

If you were writing a pure TS function with the same functionality as the JS (i.e. you can compare across types) I think you'd be required to use unknown.

Supplying extra opinions / constraints on top of that (like that the two inputs should be of the same type) shouldn't be the place of the .d.TS typings.