[mbel]

> The problem is "null" being a value in all (non primitive) types, not only the bottom type.

Null is not a value of bottom type. Bottom type has no values.

[junke]

Thanks, you are right, the bottom type has no value. I meant the "Null" type, which contains a single value, "null".