Sketching union types simplification and table types validation