Use None as "default:" condition
Improve existing support for conditional types