SI-7668 Better return type inheritance for dep. method types

Return type inheritance already handles substitution of
type parameters of the overriding method for those of the
overriding.

This commit extends this to do the same for parameter symbols.

Review by @adriaanm