sensible handling of unknown types in intersections/unions