Extended lambda calculus interpreter