JEP draft: Null-Restricted Value Class Types (Preview)