An immutable loop structure `loop let`

[notriddle]

Moderator note: discussion about the name of the tail recursion expression, become, as been moved to a new topic