[ref_impl_eiffel] [693] Merge trunk versions 664 - 692 to specialisation branch

Revision: 693
Author: thomas.beale

Log Message: