This is a meta-issue to collect all of the existing automatic conversions, possible future conversions and discussion on how we want to go forward.

As a start, we definitely have (in some places, not all!) the following identification:

• null <=> None