De Bruijn Index Variables

[nixpulvis]

The variable type should contain a usize instead of a String for it's identifier. These are called De Bruijn indices.

This technique will return alpha equivalent correct normalization, however it does pose a problem. How to display a non De Bruijn index'd form with consistent (from source) identifiers?