Add `witness` and close issue #8.

* Note this version of `witness` has the semantics of `for` from that `issue`.