Return value handling

I'm not spectacularly happy with how return values are handled in the current code generator, because:

• The generated Python is a tad inefficient, as it needs to build dictionaries from lists with strings
• Tuple types are hard to come by/impractical in Fortran and other compiled languages

I'd like to scalarize this somehow, but don't know how yet. Would welcome ideas.