a simple sexpr traversal, but we wrap 0-arity constants in parens and vars in no parens to match egglog’s syntax