Yeah, that stuff is very much a sketch of the area I want to play in. It’s not final syntax nor semantics just yet. Gotta implement it and play around with it first (I have some naming tweaks I definitely want to implement separate from those ADRs.)

I don’t struggle with lifetimes either, but I do think there’s a lot of folks who just never want to think about it ever.