change varstack representation to be a stack of pairs rather than a pair of stacks