Provides pred as the opposite of succ.
3.pred(2) #=> 1
CREDIT: Trans
Allows succ to take n increments.
3.succ(2) #=> 5
[Validate]