Union Types

Hi,

Consider the following simple testcase that uses a union.