Fix type signature style and document traversal functions
Expose all traversal functions, hide nesting parameter