Making progress w/ test failures after IrValue introduction
Fixed double-assign case
Fixed UnionTest
Fixed StringTest2
Allow cond exprs