lambda-calculus for the masses