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