[ref_impl_eiffel] [978] Correct type comparison routine type_conforms_to, which was not working correctly for generic types.

Revision: 978
Author: thomas.beale
Log Message: