succ package:invertible

Combine succ and pred