Passing and reference counting/uncounting the Free Variables in the environment in addition to the environment itself (which of course includes the free variables for now, this is a step towards an optimization)