Any.== should check for Meta.is_same_object as the first step

[Akirathan]

Mentioned in #5742 (comment), Meta.is_same_object obj1 obj2 should imply obj1 == obj2. So far, the reason why it is not checked as the first step is because of performance - explained in #5709 (comment).

When applying this patch:

diff --git a/distribution/lib/Standard/Base/0.0.0-dev/src/Data/Time/Day_Of_Week.enso b/distribution/lib/Standard/Base/0.0.0-dev/src/Data/Time/Day_Of_Week.enso
index 4e3dd7400..5aca27d98 100644
--- a/distribution/lib/Standard/Base/0.0.0-dev/src/Data/Time/Day_Of_Week.enso
+++ b/distribution/lib/Standard/Base/0.0.0-dev/src/Data/Time/Day_Of_Week.enso
@@ -1,4 +1,5 @@
 import project.Data.Numbers.Integer
+from project.Data.Ordering import all
 from project.Data.Boolean import Boolean, True, False
 
 polyglot java import java.time.DayOfWeek
@@ -49,3 +50,14 @@ type Day_Of_Week
         Day_Of_Week.Thursday -> DayOfWeek.THURSDAY
         Day_Of_Week.Friday -> DayOfWeek.FRIDAY
         Day_Of_Week.Saturday -> DayOfWeek.SATURDAY
+
+## PRIVATE
+type Day_Of_Week_Comparator
+    compare x y =
+        hash_x = Day_Of_Week_Comparator.hash x
+        hash_y = Day_Of_Week_Comparator.hash y
+        Comparable.from hash_x . compare hash_x hash_y
+
+    hash x = x.to_integer
+
+Comparable.from (_:Day_Of_Week) = Day_Of_Week_Comparator

Day_Of_Week.Monday < Day_Of_Week.Friday will cause StackOverflow because of that.

[Akirathan]

Blocked by #5709

[JaroslavTulach]

Pavel is already working on a fix.