The name of a symbol (a string)
Completion Axiom (completion-of-symbol-name):
(equal (symbol-name x) (if (symbolp x) (symbol-name x) ""))
Guard for (symbol-name x):
(symbolp x)
