envelope response optional if errors in envelope

[jasonkuhrt]

Perceived Problem

Currently response in envelope is never optional. However, if errors are being captured into the envelope, then, it could be not present. This fact is not reflected in the types

Ideas / Proposed Solution(s)

We've got the plumbing to make this happen. Some static analysis type transformations about output config should all that's needed to correctly type response.