This is definitely something we want before we’d do structs, which are a natural place to go next.
I’ve also previously brought up something like C++'s auto/Java’s var keyword which lets you omit the type on the left hand side of a declare-define. This never made it to the level of design doc, but it would be nice to do still IMO