Ticket 299: Editorial: Explain the tail-recursive behavior of named let better

Right now, its tail recursiveness is implicit in the macro, not explicitly in the tail-recursion grammar.