Basic operator checking

[kaleidawave]

• Basic operator checking (fixes #92)
• Inequality checks with ranges
• Identity checks from disjoint with NaN
• Disjoint with Not works (using subtyping)
• Proper checking that allows string + number?
• infer T in type annotation slice gets treated as infer T extends string (and also for generic arguments)
• Add Number.isNaN checks
• Change GreaterThan and LessThan to InclusiveRange and ExclusiveRange
• Add operations to ranges with new FloatRange type
• Changes ~, ! and - prefix operators to be in terms of x ^ 0xFFFF_FFFF, x ? false : true and 0 - x. Removes Constructor::UnaryOperation
• Fixes to narrowing for if (a) where a is string | falsy etc and also to optional chaining
• Moves a + b is string or number to result field on Constructor::BinaryOperator { result }

[kaleidawave]

Think I am going to change LessThan and GreaterThan to range types

[kaleidawave]

Will have a think about later if there is still stuff I want to add/change before merging tomorrow. But pretty happy with it for now.

[kaleidawave]

Might have to change the range of Math.random. Turns out it is [0, 1) not [0, 1] 🤦‍♂️. Could do 0 | ExclusiveRange<0, 1>? Will have to check that works

[kaleidawave]

Merging before I get carried away with range division etc. Checking tests now up to 344 🎉