I think Clojure does this well; this solution pretty much requires that every collection is a full-fledged object, though, which is why I can't see it going int

I think Clojure does this well; this solution pretty much requires that every collection is a full-fledged object, though, which is why I can't see it going into Arc. Maybe you could special-case lists and hash tables.