de Bruijn index

Represented structurally using de Bruijn indices instead of variable names, with various visualizations (trees, Tromp diagrams, string diagrams, etc.).