Malebolgia must support function with return values

[Araq]

Design: Do not wrap the result in a flowvar, instead declare it as unsafe and users should not access the storage of the result until after the barrier is complete.