More advanced transient detection

[borkdude]

With multiple passes we can make this work:

(let [x {}] ;; now x is potentially shared (barring better analysis of let body)
           ;; so we are not allowed to mutate it, falling back to object spread
           (assoc x :a 1))