[ref_impl_eiffel] [797] Correct a couple of type-checking errors to do with generics.

Revision: 797
Author: thomas.beale

Log Message: