Add test cases for union types as operand to casting, arithmetic, and comparisons
Cosmetic formatting changes only.
Add 3.1 tests for UCA collations