[red-knot] Check gradual equivalence between callable types

[red-knot] Check gradual equivalence between callable types #41843