- constant folding supports hex numbers - simplify mod - simplify pow - elaborate !(a == b) into a != b
