Prevent pattern matching of unions of untagged inexact object types

[kevinbarabash]

It's okay to have tagged unions of inexact object types since we know which variant it is based on the tag.