[ref_impl_eiffel] [1181] Merge specialisation revs 1159-1180

Revision: 1181
Author: thomas.beale
Log Message: