@neauoire Most of the challenge arises from the need to create sets and associative arrays that are compact and can easily be limited in size. It means there is a lot of indirection in the code. But I am slowly getting there, also in terms of the semantics. The SPEC.md is meant to be understandable for other people but the design sketches are just might thoughts as they occur to me, they are not even internally consistent. Thanks for reading!