Universal backend: add procedure? primitive
Universal backend: implement symbol->string and change symbol representation