Simplex demo doesn't work anymore, and isn't tested #1157
Description
It just needs some mechanical translation to new syntax to work, plus a whole bunch of Ix instances for every time a record is used as an index, which is a lot. So probably only worth fixing once we can write typeclass instances for records.