Avoiding variable clashes

[Hans Aberg]

What method is Guile using to avoid substitution variable clashes (de Bruijn 
numbers, combinators, etc.)?

Hans