On 10/23/2022 4:02 PM, Timon Gehr wrote: > I don't expect it to be "finalized" very soon. It lacks expressiveness, which > will be improved by small, incremental changes. The changes have been bug fixes. The concept has held up well.