pub type Term = Reference;
Unbound term before binding to a schema.
struct Term { /* private fields */ }