We want to specify syntax and semantics for closures, with capture, without dynamic dispatch, with individual anonymous types per closure and support for automatic decay into function pointers.
As well we want to specify the syntax and semantics of function pointers, and how they can be supported in the backend (see: FuelLabs/sway#5874).