Chain

This class is used for linear variable ordering for counting and compilation, where each element is an unsigned integer.