Analyzing basic constructor patterns
Unification of union types and their members