Correctly, and explicitly, associating towers of exponentiations in the version from the AST to text