Fixing table types subtyping and union types simplification