A polymorphic qualifier for the non-null type system.
Any method written using PolyNull conceptually has two versions: one in which every
instance of PolyNull has been replaced by NonNull, and one in which every
instance of PolyNull has been replaced by Nullable.