TreeNode -- a type of basic list used to represent a rooted tree

Description

This type is sort of experimental, and is used mainly internally in assembling the table of contents for the documentation of a package.

The object TreeNode is a type, with ancestor classes BasicList < Thing.