De-synonym the types of the abtracted term variables in SpecConstr