Use the Dhall approach to get alpha renaming

[johnynek]

See: https://www.haskellforall.com/2021/08/namespaced-de-bruijn-indices.html

We currently do no alpha renaming but using the above trick is a way to get it: rename all variables to "a" and you have it.