DIP 1017--Add Bottom Type--Formal Assessment

[Johannes Loher]

Am 30.01.19 um 15:05 schrieb Mike Parker:
> Given the nature of the feedback in both review rounds this DIP has gone
> through, Walter has decided to reject his own DIP. He still believes
> there is a benefit to adding a bottom type to the language, but this
> proposal is not the way to go about it. He hopes to revisit the issue in
> the future.
> 
> Thanks to everyone who provided feedback.

I believe this is a good decision and the proper way forward.

I also think that there is indeed a benefit in adding a bootom type to
the language so I'd be happy to help with a new attempt as much my
limited knowledge of type theroy permits.