> How would you replace Rest1 and Rest2 with simply Rest, and also let > the runtime know that in the second case you really want a fresh > variable, not to match against the old one? > > Or maybe I misunderstood? Right, you'd need syntax for differentiating between fresh and existing variables.