a distinction must be made between the cl as described in this article and the cl calculus. the distinction corresponds to that between the λ and the λ calculus. unlike the λ calculus, the λ calculus restricts abstractions to: