Lambda calculus beta reduction examples