Call an interval of System rank a "System_range" rather than a "Slice."
Though both of these are currently Interval_t<int>, there is code that
stores System ranks in shorts. At some point, it might make sense to
change System_range to Interval_t<short> for consistency.</short></int>
Code in break-substitution.cc previously assumed that there would not
be more than 32k systems. This centralizes that assumption in System
and checks for programming errors.
Diff:
Passes make, make check and a full make doc.
Patch on countdown for Nov 25th
Patch counted down - please push