Unified effort indicator types for Interval order and real
operations instances.
Stuff relevant to Interval IntPoly is now separated from pure IntPoly
stuff.