Add a way to destructively unpack containers

[mcoblenz]

Currently, if a container owns an object, then getting ownership out out (while destroying the container) is inconvenient; typically one would have an Empty state for the container so that one can first extract the owned object, and then separately discard the container. Maybe we could have destructive transactions that return tuples (we'd need to add support for these) and destroy the receiver.