unification for constraints generated from binary plus with string types