Seconding Debruijn indices. See here: https://github.com/yon-language/yon/blob/aa4617ced3abc92ac53afb4d49b258df52e84e24/frontend/subst.ml#L38 https://github.com

Seconding Debruijn indices. See here: https://github.com/yon-language/yon/blob/aa4617ced3abc92ac53afb4d49b258df52e84e24/frontend/subst.ml#L38 https://github.com/yon-language/yon/blob/aa4617ced3abc92ac53... The alpha renaming algorithm does not run under scopes, only lambdas.