[experimental] Add NotNull!T

After reading the forum thread "[article] Language Design Deal Breakers", I'd like to propose one `NotNull!T` design.

Note that, this is still experimental proposal. If it does not work by current compiler bug, the bug should be fixed first. If this NonNull interface is not good, it should be discussed in here.

Discussion is welcome!