Extracts the term name of sym, if any.
Encodes name and converts it to a term name.
Creates a new term name (must be non-empty).
Creates a fresh term name with the given symbol's name as prefix.
Creates a fresh term name with the given prefix.
Creates a fresh term name with the given prefix.
Tries to return the original name used to create this fresh name.
Term names.