Fixes for disjoint stuff

[kaleidawave]

• Change over intersection to use disjoint function
• More fixes to disjoints and types
• Change ranges back to use LessThan and GreaterThan

Ignore branch name

[kaleidawave]

Changed range back, now getting some weird and complex types :(

---- specification::operators::disjoint_equality_for_number_intrinsics stdout ----
Running Disjoint equality for number intrinsics
thread 'specification::operators::disjoint_equality_for_number_intrinsics' panicked at checker/specification/test.rs:127:9:
Diff < left / right > :
 [
<    "This equality is always false as InclusiveRange<0, 5> & Integer and 2.2 have no overlap",
<    "This equality is always false as InclusiveRange<0, 5> & Integer and 7 have no overlap",
>    "This equality is always false as GreaterThan<0> & LessThan<5> & Integer | 0 & Integer | 5 & Integer and 2.2 have no overlap",
 ]


---- specification::operators::ranges_after_operators stdout ----
Running Ranges after operators
thread 'specification::operators::ranges_after_operators' panicked at checker/specification/test.rs:127:9:
Diff < left / right > :
 [
<    "Expected null, found InclusiveRange<-5, 5>",
<    "Expected string, found InclusiveRange<18, 22>",
>    "Cannot GreaterThan<-1> & LessThan<1> | -1 | 1 Multiply 5",
>    "Expected null, found any",
>    "Cannot GreaterThan<-1> & LessThan<1> | -1 | 1 Add 10",
>    "Expected string, found any",
 ]


---- specification::operators::ranges_for_interal_types stdout ----
Running Ranges for interal types
thread 'specification::operators::ranges_for_interal_types' panicked at checker/specification/test.rs:127:9:
Diff < left / right > :
 [
<    "Expected string, found boolean",
>    "Cannot GreaterThan<-1> & LessThan<1> | -1 | 1 GreaterThan -2",
>    "Expected true, found any",
>    "Cannot GreaterThan<-1> & LessThan<1> | -1 | 1 GreaterThan -1",
>    "Expected string, found any",
 ]

[kaleidawave]

Made a bit of a upgrade to @sor4chi s work on #218 because wanted a bit more of an abstraction to catch disjoint issues.

[kaleidawave]

Unfortunately it seems I broke the event recording inside .map and other iteration based things. Will come back to at some point

[kaleidawave]

Not 100% on this merge. Some concerns

• Type checking performance seems to be slightly down after this
• Still haven't full figured out the perf-difference calculating in the CI (haven't got artifact across runs working)
• Lost some important tests around iteration (.map & Object methods seem to be broken). Although I think PR Add iteration and other events related things #187 is the place to fix those.

CI is green and have to have these changes in the release for the blog so merging now!

Branch name is also outdated. Not a simple fix so whatever