[ref_impl_eiffel] [876] Change INTERVAL.is_equal to equal_interval, and make all comparisons between INTERVAL[INTEGER] objects and also between MULTIPLICITY_INTERVAL objects use this instead of the standard is_equal.

Revision: 876
Author: thomas.beale

Log Message: