succ package:termonad

the successor of a value. For numeric types, succ adds 1.
Get the next available ID.
>>> succId 3
4