[Pre-RFC] Partially Initialized Types

Rust had structural records once. If they came back and played nicely with FRUs then they’d serve this purpose for structs. Annotating the missing fields sounds interesting twist.