How to ensure optimal discrimination of union types? - arktype