Fix subtyping of null and refined types.
Drop NotNull class and associated code.
Remove obsolete mentions of the NotNull class
Merge pull request #277 from dotty-staging/change/drop-not-null

Change/drop not null