Symetric, transitive and reflexive equality for intersection types

[JaroslavTulach]

Pull Request Description

Fixes #11845 by comparing all the types an EnsoMultiValue has been cast to.

Checklist

Please ensure that the following checklist has been satisfied before submitting the PR:

• The documentation has been updated, read it here
• All code follows the
  Scala,
  Java,
• Unit tests have been written where possible.

[JaroslavTulach]

There is a failure in test/Base_Tests line 324 showing that:

enso/test/Base_Tests/src/Semantic/Conversion_Spec.enso

Lines 321 to 324 in e4a4bcc

	(x:Integer)==42 . should_be_true
	(x:Fool)==42 . should_be_false
	x==42 . should_be_true
	42==(x.to Integer) . should_be_true

Any.to method doesn't work as expected for values with intersection types - e.g. the result is not the same as x:Integer. Made more consistent in db5353b

[Akirathan]

LGTM. Nice tests. Let's not forget to write benchmarks for intersection types before we start using them in std libs.

[Akirathan]

Seems like you forgot to test style 2 and 3, i.e.:

              var asTextTo = conv.execute(2, bothValue);
              var asTextCast = conv.execute(3, bothValue);
assertTrue(equals.execute(asTextTo, asTextCast).asBoolean());

[JaroslavTulach]

Good catch, not only it is not called, but it is also broken. These two new tests added in d30da41 are failing on CI

• tests ignored in 02080f9 and reported multi_value.to doesn't work on second & further elements of intersection type #11935