add incrementation and decrementation in std lamda calculus form