a clumsy lambda calculus interpreter with lua