[ref_impl_eiffel] [1666] Add support for RM-path annotations.

Revision: 1666
Author: thomas.beale
Log Message: