Programming languages should have a tree traversal primitive