Handle ambiguous object unions

[kossnocorp]

This kind of union would trip parsers like Serde. TypeScript would ignore it as they are structurally equal, but for the rest, we need to find a solution.

First: { id: int }

Second: { id: int }

Result: First | Second

Ideally, the type checker must detect ambiguous unions and produce a type error.