Added the standard λ-calculus successor function.