I expected that a function type DIE's parameters & return values to be encoded in a similar way as a function DIE. For example, the function that is returned from getfoo() is defined this way, with ...

For the types of functions you're talking about (ie. functions that return multiple values, of different types) I see it slightly differently than you seem to: I see the need/use of out params as ...