Add RootInfo variant. Hide untyped constructor; add typed constructors. Expand on comments; reformat.