This avoids the parser state getting lost somewhere higher or lower in the
tree, by scoping sub-trees to separate objects, with destruction always
moving the underlying stream reader to right after the corresponding
sub-tree.

Has the nice side-effect of removing a lot of state tracking boilerplate
code.