Call `result.new` automatically in `proc`?

[boia01]

I would suggest that what we really want here is not implicit initialization 
with `new` but rather a warning that a `ref` is being accessed / assigned into 
without having been initialized previously.