Implement constant folding with addition