Python: LanguagePrimitives.PhysicalEquality not transpiled to check reference equality

[kMutagene]

Description

LanguagePrimitives.PhysicalEquality in F# returns true when two object references refer to the same underlying object.

There are equivalents to this, namely === in JS and is in python. While the call gets transpiled to use === in JS, in python it is transpiled into ==, leading to different results.

Repro code

See also this REPL

Transpiling this code

let r1 = ResizeArray([1; 2])
let r2 = ResizeArray([1; 2])
let r3 = r1

printfn "%A" (LanguagePrimitives.PhysicalEquality r1 r2) // false, both arrays are instantiated seperately
printfn "%A" (LanguagePrimitives.PhysicalEquality r2 r2) // true, refers to the same thing
printfn "%A" (LanguagePrimitives.PhysicalEquality r3 r1) // true, refers to the same thing via reference assignment

Expected and actual results

Should print

false
true
true

(and does so in F# and JS)

But prints

true
true
true

[MangelMaxime]

I found a potential place to fix this issue at

Fable/src/Fable.Transforms/Python/Fable2Python.fs

Lines 2085 to 2094 in 53fda11

	| BinaryEqual, false ->
	match left, right with
	// Use == with literals
	| Constant _, _ -> compare Eq
	| _, Constant _ -> compare Eq
	// Use `is` with None (except literals)
	| _, IsNone -> compare Is
	| IsNone, _ -> compare Is
	// Use == for the rest
	| _ -> compare Eq

however changing | _ -> compare Eq to | _ -> compare Is make the following test fails:

let xs = [| 0 .. 500 |]
let ys =
    Array.append xs xs
    |> Array.distinctBy(fun x -> x.ToString())
ys |> equal xs

  xs: Array[int] = to_array(range_big_int(0, 1, 500))
  def projection(x: int, argv: Any=argv) -> str:
      return int32_to_string(x)

  class ObjectExpr1:
      @property
      def Equals(self) -> Callable[[str, str], bool]:
          def _arrow0(x_1: str, y: str) -> bool:
              return x_1 is y // This line here is the culpit

          return _arrow0

      @property
      def GetHashCode(self) -> Callable[[str], int]:
          return string_hash

  ys: Array[int] = Array_distinctBy(projection, append(xs, xs, Int32Array), ObjectExpr1())
  equal(xs, ys)

But I have a feeling this is not exactly due to the changes from this PR but because the generated ys array contains one too many value:

Exception: Expected: [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10] - Actual: [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 10]