I think we discussed this, but one feature of this language should probably be something that lets you leave fields out of structs in various places (in match, in constructors)

that’s an easy thing that’s not paper-worthy, but is important from a practical sense