Pleb Lambda Calculus implementation