enumerate integers in abs2gal
As long as we do not plan to have operations on integers (+, -, etc.), integers should be mapped to the set of values that are actually used. It would reduce the size of Integer collections, and the number of possible values for initialization of Integer variables. The mapping of integer to gal should preserve their natural order, for future introduction of comparison in ABS.