Add test cases for type unions

Verify that the simplest of type union cases: property or none: are handled
by the default visitor.  Explore how type unions affect type visiting, and
add a warning.