@hackage debruijn-safe0.2

de Bruijn indices and levels

de Bruijn indices and levels for well-scoped terms.

This is "safe", but slow implementation.