Unpickle as a TermTree
Unpickle a full class in some package
Unpickle as a TypeTree
The names of the product elements
The name of the type