[ref_impl_eiffel] [341] Merge revisions 273-340 from BRANCHES/specialisation into TRUNK.

Revision: 341
Author: peter.gummer

Log Message: