Resource types

[graydon]

Non-sendable, non-copyable nominal items spelled "res(...) { ... }" that hold a value-tuple and associate a destructor. Remove dtors from objs. Purpose is to make the feature orthogonal (and introduce the kind of types that cannot be copied, to be reused in the lambda blocks, issue #6).

[marijnh]

This is done now (per 9561def ). The syntax changed to

resource foo(int i) { free_resouce(i); }