name
Compute the actual term of this tree.
The term type of this tree.
If this tree is not a term (e.g., it is a definition), its tpe is NoType.
tpe
NoType