The input is divided into a local environment, which is a flat tuple
(unless it's too big), and a stack, each element of which is paired
The input is divided into a local environment, which is a flat tuple
(unless it's too big), and a stack, each element of which is paired
(...((x1,...,xn),s1),...sk)
(...((x1,...,xn),s1),...sk)