[ref_impl_eiffel] [1086] Typo fixes and minor clarifications in the documentation.

Revision: 1086
Author: peter.gummer
Log Message: