Tail Recursion Optimization

[CAG2Mark]

Implements tail recursion optimization. Also changed the lifter, handler lowering, and while loop rewriter to properly propagate functions' TermSymbols into calls.

Note that the lifter has been modified so only disambiguated references to BMS's are rewritten. This should not be a problem as all references to nested functions should be disambiguated. However, it may cause errors if passes before the lifter forget to propagate the disamb symbols.

Things that are not yet done:

• Spread arguments in calls. Currently only supported when the spread arg is in the last position and the last argument of the target function is a spread.
• Class methods are not yet optimized as they cannot yet be marked final.
• In objects and modules, calls to functions with no parameter list are represented using Selections

[LPTK]

Awesome! I'm very excited to have this in, as it's a first step towars our eventual goal of KICE (Know In-order Call Elimination).

[CAG2Mark]

When did we establish this KICE name? 🤔

[LPTK]

When did we establish this KICE name? 🤔

Just now 😎

[CAG2Mark]

OK, turns out I didn't recompile some of the other stuff. Please wait

EDIT: Should be good now

[LPTK]

Ok, I think this is almost ready to merge. But let's try to not create useless while loops (see comment below)!

[CAG2Mark]

Done

[LPTK]

Ok, LGTM now, thanks!