Tweak code style
Simplify use of resolveSlice

Elide caller-side check for the code readability.
Use UnionExp in ctfeCat
Merge VoidInitExp into CTFEExp
Consider singletons in UnionExp::copy()