For each constraint (DS1, DS2), does it mean the equation DS1 == DS2, and solve for the free type variables?