[ref_impl_eiffel] [436] Specialisation changes:

Revision: 436
Author: thomas.beale

Log Message: