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