Finds all nodes matching matcher.
a handle to the match set, empty rather than failing when nothing matches.
applied to root and every component under it, in depth-first pre-order.