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

[refactor] Using UnionExp in constfold.c
more UnionExp interface work
Merge pull request #4151 from WalterBright/unionexp3

more UnionExp interface work