Compiler allows comparing unrelated types

[jac3km4]

Equals should check if the types are compatible, but this is a breaking change, we'll start with a deprecation