Text this: Tool Interoperability in the Maude Formal Environment