Implement return values for aggregated types

[aleasims]

When circuit function returns aggregated value through pointer parameter, we need to handle these return values as well. The same happens on printing output value (when print_output_format is set).