Initial work on constant propagation

Relates to #141

So far, it is possible to detect a constant propagation. Now, it is just left to do something other than just printing it...