fix lambda expression error for Succ(Succ Zero)