I'm very new to TLA+ and I've been trying to figure out if I can use arrays like a queue. Basically I want to move the first element of the array to the back then move everything forward one step. Like a queue were the first person in line went to the back. Is this possible?