Added constant folding and simple identities.