core: add expression normalizer, make constant propagation working