Module shift
chalk_ir::fold
Methods for converting debruijn indices to move values into or out of binders.