The outermost class that captures all free variables of a function
that are captured by enclosinh classes (this means that the function could
be placed in that class without having to add more environment parameters)
The outermost class that captures all free variables of a function
that are captured by enclosinh classes (this means that the function could
be placed in that class without having to add more environment parameters)