The optimizer / compiler should be able to detect constant redefinitions

[SuperFola]

This is linked to #5, currently the problem is handled in the VM but we could take it to the compiler.

This code should then throw a compile time error:

(let a 12)
(let a "hello")