Add another test case (and fix it) to unions. Types in two sides have to
match.