Default-Nullability and @Nullable

[t1]

To make an API null-safe is currently a lot of work: you'll have to place @NonNull annotations almost everywhere.

We could add an option to toggle the default to be non-null; then only exceptions would have to either be annotated with a new @Nullable annotation or use Optional.