[ref_impl_eiffel] [1406] Full merge of adl1.5 branch, with some subsequent updates to the documentation and images.

Revision: 1406
Author: thomas.beale
Log Message: