As a workaround I parametrized class EL_REFLECTED_FIELD and the errors went away. This would seem to prove my hunch that the problem is the redefinition from ANY to an expanded type is not possible in finalized C code.

	field_value (a_index: INTEGER): G
		deferred
		end