added simple constant folding and arithmetic identities