• Expression Stack at time t = [ [ ], [ [ Python dictionary entries, ys ], rest ] ]
• Value Stack at time t = [ values, [ next_level, other_levels ] ]

then Python Object Store at time (t + 1) = result of appending (Python dictionary (reverse of values)) to (Python Object Store at time t)