(\ x . \ y . x y ) y

-- Should reduce to \z . y z (for some fresh z)