Implementations of functions from the lambda calculus, in JavaScript