Type inference for Parametric Relations complete