Update build
Add generated docs
Add `succ` and `pred`