[ref_impl_eiffel] [1081] Updates to documentation, and one small cosmetic fix to existence rendering in no-technical view, to make 'removed' {0} existence more obvious.

Revision: 1081
Author: thomas.beale
Log Message: