(\x y. plus (plus x y) x) one two

-- Should reduce to plus (plus one two) one