Instead of incorporating the type arguments of parameterized
dependencies one by one, they are incorporated at once - but only if
there are proper types for all inference variables in all type arguments
of a parameterized dependency.

Change-Id: Ic36fecb7b562a31d049b92381fa535400bfb129f
Signed-off-by: Sebastian Lohmeier <sebastian@monochromata.de>