[ref_impl_eiffel] [808] Improve semantics of multiplicity_interval and cardinality classes.

Revision: 808
Author: thomas.beale

Log Message: