Null was a mistake. Give me a proper type system or give me death!