String concatenation

Given the expression:

x + y

In some languages, if x and y are string variables, this expression produces a new string, which is the concatenation of the string contents of the two string variables.

Alice provides a world-level function (a+b) that is used to accomplish string concatenation.