out/out?/inout

[marron-at-work]

We want to support out, out? (conditional out) and inout parameters in addition to the existing ref.

Note that inout allows assignment AND ref updates but we can't flow type them since they are updateable.