Returns true if the given expressions are either stable symbols or clean functions, false otherwise.
Generates a new term name.
Generates a new term name. Used for macro-hygiene.
Generates new term names.
Generates new term names. Used for macro-hygiene.