Noob implementation of lambda calculus