support for mixing dup and consume. Stack shuffling operations should track names correctly