Variables that can consume an entire multi-set (like in Design/CPN). Basically list variables that can be used as binders from the non-list underlying type.
Probably not now
Reopened as 4 goes out soon
agree!!!! I a place has many token (so it’s a multiset.) but I can not put all of them into arc onece.