Using UnionExp in constfold.c
Merge pull request #4149 from WalterBright/unionexp2

[refactor] Using UnionExp in constfold.c