Add checking for basic loops (while, for with condition, ...)

[kaleidawave]

Fixes #73

To implement

• [x] while
• [x] do while
• [x] For loops (conditional)
• [x] break and continue
  • [x] labels
  • [x] context checking
• [x] Non unrolled edition
• For loops (of and in)

[kaleidawave]

Realised that a the unknown updates after a loop that dependent on a poly type is the same problem as #60 . So need to do some more thinking about how to tackle that

[kaleidawave]

For of will require symbols as well...

[kaleidawave]

👑

(also made some progress on #60)

Still some more to do though

[kaleidawave]

Should be just for of and for in left to do, as well as some more tests

[kaleidawave]

Think this is okay to merge. Up to 129 specification tests passing now !!

IMPORTANT: This PR does not implement for in and for of. There is some technicalities (symbols, non constant objects etc) to resolve that would cause this PR to go on forever. So going to implement them after taking a break from iteration code.

Also although Array methods .map, .filter, .includes do work, they are a bit flaky and I don't think they should be default while both the binary types and event cache is still out and #74 doesn't work for function arguments. So leaving them out for now.

Added more constant functions, which should be useful for debugging.