Output types and multiple outputs

[bfirsh]

We support multiple inputs and types for them. We should do the same for outputs.

Probably depends on #205