Add a second signature to the string() function that works like the java String.format() method and allows the user to format strings in arbitrary ways.