Design Document on Nullability and Value Types

"As we've hinted at, we've made some progress refining the essential differences between primitive and reference types, which has enabled us to shed the `.val` / `.ref` distinction and lean more heavily on nullability. The following document outlines the observations that have enabled this current turn of direction and some of its consequences.