[ref_impl_eiffel] [1583] Commit various fixes found due to cross-check of RM by Seref Arikan, as part of Bosphorus work.

Revision: 1583
Author: thomas.beale
Log Message: