Applying Universal Algebra to Lambda Calculus