Good summary. New "null-full" languages should be shamed publicly. Null as a bottom-type is a semantic wart.