[ref_impl_eiffel] [332] Re-engineer rolled-up specialisation status;

Revision: 332
Author: thomas.beale

Log Message: