semantic: bring back constant propagation for simple arithmetic
semantic: constant propagation for all intrinsics
semantic: remove cruft