Text this: Synchronous set relations in rewriting logic