A beta-reducer for the untyped lambda calculus