Add more tests for UseStringFormatAction
Fix #281: Type inference fails when an exact inference is made to one type, and a lower bound inference is made to another type, and both types are implicitly convertible to each other.