[ref_impl_eiffel] [877] Minor corrections to error processing of cardinality etc; currently the compiler is strict on everything.

Revision: 877
Author: thomas.beale

Log Message: