Object and union arguments and return values for functions

[WireWhiz]

Need to define and implement a standard way to pass non-native large types too and from functions. Only through reference reference/pointer arguments, with an additional spec for struct/enum flattening later