raco: fix string utility functions with containers

We want to stringify operators in a way that recursively stringifies
containers. I had previously hacked this up to work for non-nested
lists, but of course, NaryJoin uses nested lists. Fix this by rewriting
real_str to work with arbitrary containers.