When a class D inherits from, say C<Int>, we must substitute the first type parameter of C with Int when we check assignability of overriding members of D.

Possible solution:

1. Find the overridden member as before.
2. Find the class containing the member using streamSupertypes.
3. Substitute type parameters.