[ref_impl_eiffel] [642] Bring specialisation branch up to current TRUNK (revision 641) for use with further specialisation and templates work.

Revision: 642
Author: thomas.beale

Log Message: