Including discussion of XY 2.0 and its flatness (all partitions of a sequence of program tokens are semantically equivalent).