Checks that union expr has exactly one field.