I agree completely with George P. Banyard, these changes don’t seem very well though-out. Pure intersection types are fine as accepted by the RFC. Both ?A&B and (A&B)|null are confusing and would create holes in the type system yet to be filled (but users would definitely try to use them which would only lead to confusion and disappointment).
Ondřej Mirtes
