[ref_impl_eiffel] [1473] Commit the changes of rev 1472 on ADL2.0 branch, as well as a lot of minor changes that were detected in a manual diff of the ADL2 .0 and ADL1.5 branches.

Revision: 1473
Author: thomas.beale
Log Message: