I doubt I have the know-how it needs to navigate the issues raised in the previous discussions. I could maybe write a proposal where sibling recursion (i.e. sel

I doubt I have the know-how it needs to navigate the issues raised in the previous discussions. I could maybe write a proposal where sibling recursion (i.e. self recursion and calls to equally-typed procedures) is guaranteed via the becomes keyword, but i dont really have the motivation to spend that much time discussing it or write the proposal. Such a proposal would in any way be "future proof" in the sense that general becomes-TCO could be added later in a compatible way.