reserve

An annotation on capset parameters C stating that the method's body does not have C in its use-set. C might be accessed under a box in the method or in the result type of the method. Consequently, when calling the method we do not need to charge the capture set of the actual argiment to the environment.

Note: This should go into annotations. For now it is here, so that we can experiment with it quickly between minor releases