[ref_impl_eiffel] [875] Make occurrences, cardinality and existence optional.

Revision: 875
Author: thomas.beale

Log Message: