Exercise 4 Consider an unkown language with integer and string types in which 1 * 2 * 3 evaluates to 7, "1" + "2" + "3" evaluates to "123", "1"+ 2 + 3 evaluates to "123", and 1 + " 2 * 3 " has a type error. Describe a system of precedence, associativity, overloading, and coercion that could account for this. In your system, what is the result of evaluating the expression "1" + 2 * 3?