ForestNode -- a type of basic list used to represent a forest, i.e., a list of rooted trees

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