Returns a function that takes a state and moves the top literal from the appropriate stack to the return stack.