[ref_impl_eiffel] [1591] Commit after merge from 1583-1589 revisions of ADL 1.5 ( recursive merge chosen from options)

Revision: 1591
Author: seref.arikan
Log Message: