Add documentation for the Walker type