Expanded spec for node traversal.
Refactored protonode next/prev to match spec.
Merge branch 'traversal-spec'