ligd: Use structural types for existentials
test: Switch to 10 times longer lists

Even longer lists would be better; but then LIGD and EMGM reach
a stack overflow at some point, because they represent the lists
as pairs.