CommandIO

Capture the Input and Output variables from Command existentially.

FIXME If we can make the rest of the code play nicely with path-dependent types then we can remove this.