[ref_impl_eiffel] [1564] Documentation updates

Revision: 1564
Author: thomas.beale
Log Message: