Support default initialization with unknown data
Support default initialization with unknown data

Examples are not working yet.

Reading from uninitialized structs is (erroneously) still allowed,
but nothing is known about the value.

A-Manning/FStar,FStarLang/FStar,A-Manning/FStar,FStarLang/FStar,A-Manning/FStar,FStarLang/FStar