+ something like a lambda calculus interpreter