A package src.devoted to integer explanations, that is explanations for the different kinds of variables. It supports enumerated variables (thanks to an array of removal explanations) and bound variables (thanks to stacks of bound explanations).