[ref_impl_eiffel] [1242] Merge revs 1231-1241 from specialisation branch to TRUNK.

Revision: 1242
Author: thomas.beale
Log Message: