[ref_impl_eiffel] [813] Various changes to do with relaxing strictness of compiling for the moment:

Revision: 813
Author: thomas.beale

Log Message: