If you can precisely specify the meaning of Capture, we might consider it. That is, for any _expression_ e, define the meaning of Capture(e) in terms of the meaning of e. The meaning of an action-level _expression_ e is a mapping from pairs of states to values. I have no idea how to do that.
Leslie