E.g.:

(let [x 1] (+ x 1 2))

can be simplified to (+ 1 1 2)

We will have to benchmark if checking constants at analysis time outweighs the cost of not doing this and always looking up in the local environment for typical programs.