Very nice to read! Interesting to see how long those ideas took to go from theory to application. In the "Two-dimensional syntax" section, the first example va

Very nice to read! Interesting to see how long those ideas took to go from theory to application. In the "Two-dimensional syntax" section, the first example variable type is "m × 2 × 1 · N" and is described as "list of m pairs of values of type S1 · N", but shouldn't it be "m × 2 × S1 · N" then? Is it a shorthand syntax or just a typo?