[ref_impl_eiffel] [446] Current set of changes appear to be pretty good for specialisation semantics and checking.

Revision: 446
Author: thomas.beale

Log Message: