Relax restrictions with single input/output arrays.  Trigger new bugs!  This time with surviving tuple constants.
More generalizing codegen to deal with unzipped arrays.