Ripping out internal iteration
refactor pred/succ methods for sorted structures