It’s a beautiful reification of de Bruijn indices. Thanks! I’m kind of tempted by the idea of sugaring it using symbol properties such that one could use obfus

It’s a beautiful reification of de Bruijn indices. Thanks! I’m kind of tempted by the idea of sugaring it using symbol properties such that one could use obfuscating names without breaking the elegant alpha compare and convert.