Changed the effort indicator of IntPoly comparison, evaluation and
composition to the recently introduced record type.